| Safe Haskell | None |
|---|
Data.Constraint.Unsafe
Contents
- evil :: a :- b
- derive :: Newtype n o => (o -> n) -> t o :- t n
- underive :: Newtype n o => (o -> n) -> t n :- t o
- applicative :: forall m a. Monad m => (Applicative m => m a) -> m a
- alternative :: forall m a. MonadPlus m => (Alternative m => m a) -> m a
Documentation
Sugar
applicative :: forall m a. Monad m => (Applicative m => m a) -> m aSource
alternative :: forall m a. MonadPlus m => (Alternative m => m a) -> m aSource