Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class IsClosure t => IsPureClosure t where Source #
type ClosureConstraint t a :: Constraint Source #
cpure :: ClosureConstraint t a => a -> t a Source #
cfmap :: ClosureConstraint t b => (a -> b) -> t a -> t b Source #