Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module provides an open union of functors.
Documentation
The Member
type clas denotes that f is a member of type list r
prj :: (Typeable f, Member f r) => Union r a -> Maybe (f a) Source
Project a Union
into a specific functor.