| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
FTypes.Combinators
Documentation
newtype FApply x f
Instances
| FFunctor k (FApply k x) | |
| FApplicative k (FApply k x) | |
| FTraversable k (FApply k x) |
data FProd r s f
Constructors
| FProd (r f) (s f) |
Instances
| (FFunctor k r, FFunctor k s) => FFunctor k (FProd (k -> *) r s) | |
| (FApplicative k r, FApplicative k s) => FApplicative k (FProd (k -> *) r s) | |
| (FTraversable k r, FTraversable k s) => FTraversable k (FProd (k -> *) r s) |
data FSum r s f
Instances
| (FFunctor k r, FFunctor k s) => FFunctor k (FSum (k -> *) r s) | |
| (FTraversable k r, FTraversable k s) => FTraversable k (FSum (k -> *) r s) |