【文件属性】:
文件名称:fpy
文件大小:15KB
文件格式:ZIP
更新时间:2021-03-11 10:39:23
功能性Python
只是我工具的一小部分
控制:
函子
给定函子f , g :
__fmap__ :: fa -> (a -> b) -> fb
__ntrans__ :: fa -> (a ~> gb) -> gb
NTrans(自然变换)
给定函子f , g :
__trans__ :: fa -> gb
适用对象:函子
没有比较函子新特点, liftA2使用定义fmap
Monad:适用
给定Monad m :
__bind__ :: ma -> (a -> mb) -> mb
数据
也许:莫纳德
类型:
Maybe[T]
Just[T] : Maybe[T]
Nothing[T] : Maybe[T]
功能:
isJust :: Maybe[T] -> bool
isNothing :: Maybe[T] -> bool
fromJust :: Maybe[
【文件预览】:
fpy-master
----setup.py(1012B)
----.gitignore(18B)
----README.mkd(911B)
----fpy()
--------control()
--------data()
--------__init__.py(0B)
--------parsec()
--------debug()
--------utils()
--------composable()
--------tests()