Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Coat a |
Functor Coat Source | |
Foldable Coat Source | |
Traversable Coat Source | |
Monad m => CoatDestructor m (Coat a) Source | |
Monad m => CoatConstructor m (Coat a) Source | |
Monad m => CoatedM m (Coat a) Source | |
Show a => Show (Coat a) Source | |
Wrapped (Coat a) Source | |
Layered (Coat a) Source | |
Coated (Coat a) Source | |
Rewrapped (Coat a) (Coat a') Source | |
type Unwrapped (Coat a) = a Source | |
type Unlayered (Coat a) = a Source |
class CoatedM m a where Source
viewCoatedM :: a -> m (Uncoated a) Source
setCoatedM :: Uncoated a -> a -> m a Source
class CoatConstructor m a where Source
constructCoat :: Uncoated a -> m a Source
(CoatConstructor m (Destructed a), (~) * (Uncoated a) (Uncoated (Destructed a)), Constructor m a, Monad m) => CoatConstructor m a Source | |
Monad m => CoatConstructor m (Coat a) Source |
class CoatDestructor m a where Source
destructCoat :: a -> m (Uncoated a) Source
((~) * (Uncoated a) (Uncoated (Destructed a)), CoatDestructor m (Destructed a), Destructor m a, Monad m) => CoatDestructor m a Source | |
Monad m => CoatDestructor m (Coat a) Source |