Copyright | (C) 2012-2016 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | provisional |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- noEffect :: (Contravariant f, Applicative f) => f a
- newtype AlongsideLeft (f :: Type -> Type) b a = AlongsideLeft {
- getAlongsideLeft :: f (a, b)
- newtype AlongsideRight (f :: Type -> Type) a b = AlongsideRight {
- getAlongsideRight :: f (a, b)
Documentation
noEffect :: (Contravariant f, Applicative f) => f a Source #
The mempty
equivalent for a Contravariant
Applicative
Functor
.
newtype AlongsideLeft (f :: Type -> Type) b a Source #
AlongsideLeft | |
|
Instances
newtype AlongsideRight (f :: Type -> Type) a b Source #
AlongsideRight | |
|