Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
newtype Const a b :: * -> * -> *
Functor (Const m) | |
Monoid m => Applicative (Const m) | |
Foldable (Const m) | |
Traversable (Const m) | |
Generic1 (Const a) | |
Eq a => Eq (Const a b) | |
Ord a => Ord (Const a b) | |
Read a => Read (Const a b) | |
Show a => Show (Const a b) | |
Generic (Const a b) | |
Monoid a => Monoid (Const a b) | |
type Rep1 (Const a) = D1 D1Const (C1 C1_0Const (S1 S1_0_0Const (Rec0 a))) | |
type Rep (Const a b) = D1 D1Const (C1 C1_0Const (S1 S1_0_0Const (Rec0 a))) |
newtype WrappedMonad m a :: (* -> *) -> * -> *
WrapMonad | |
|
MonadPlus m => Alternative (WrappedMonad m) | |
Monad m => Monad (WrappedMonad m) | |
Monad m => Functor (WrappedMonad m) | |
Monad m => Applicative (WrappedMonad m) | |
Generic1 (WrappedMonad m) | |
Generic (WrappedMonad m a) | |
type Rep1 (WrappedMonad m) = D1 D1WrappedMonad (C1 C1_0WrappedMonad (S1 S1_0_0WrappedMonad (Rec1 m))) | |
type Rep (WrappedMonad m a) = D1 D1WrappedMonad (C1 C1_0WrappedMonad (S1 S1_0_0WrappedMonad (Rec0 (m a)))) |