Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Cover a |
Functor Cover Source | |
Foldable Cover Source | |
Traversable Cover Source | |
Monad m => CoverConstructorFix m (Cover a) Source | |
Monad m => CoverConstructor m (Cover a) Source | |
Monad m => CoveredM m (Cover a) Source | |
Eq a => Eq (Cover a) Source | |
Ord a => Ord (Cover a) Source | |
Show a => Show (Cover a) Source | |
Wrapped (Cover a) Source | |
Layered (Cover a) Source | |
Covered (Cover a) Source | |
Rewrapped (Cover a) (Cover a') Source | |
Convertible a a' => Convertible (Cover a) (Cover a') Source | |
Castable a a' => Castable (Cover a) (Cover a') Source | |
type Unwrapped (Cover a) = a Source | |
type Unlayered (Cover a) = a Source |
class CoveredM m a where Source
viewCoveredM :: a -> m (Uncovered a) Source
setCoveredM :: Uncovered a -> a -> m a Source
class CoverConstructor m a where Source
constructCover :: Uncovered a -> m a Source
(CoverConstructor m (Unlayered a), (~) * (Uncovered a) (Uncovered (Unlayered a)), LayerConstructor m a, Monad m) => CoverConstructor m a Source | |
Monad m => CoverConstructor m (Cover a) Source |
class CoverConstructorFix m a where Source
constructCoverFix :: Uncovered a -> m a Source
(CoverConstructorFix m (Unlayered a), (~) * (Uncovered a) (Uncovered (Unlayered a)), LayerConstructor m a, MonadFix m) => CoverConstructorFix m a Source | |
Monad m => CoverConstructorFix m (Cover a) Source |