Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Lift Functors to HyperTypes
Documentation
Lift a Functor
, or type constructor of kind Type -> Type
to a HyperType
.
F Maybe
can be used to encode structures with missing valuesF (Either Text)
can be used to encode results of parsing where structure components may fail to parse.