Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
_OrNotZero :: Prism (NotZeroOr a x) (NotZeroOr a y) x y Source
isoNotZeroOr :: Iso (NotZeroOr a x) (NotZeroOr a x) (Either (NotZero a) x) (Either (NotZero a) x) Source
newtype NotZeroOrT a f x Source
NotZeroOrT (f (NotZeroOr a x)) |
MonadTrans (NotZeroOrT a) Source | |
BindTrans (NotZeroOrT a) Source | |
Monad f => Monad (NotZeroOrT a f) Source | |
Functor f => Functor (NotZeroOrT a f) Source | |
Applicative f => Applicative (NotZeroOrT a f) Source | |
Apply f => Apply (NotZeroOrT a f) Source | |
(Apply f, Monad f) => Bind (NotZeroOrT a f) Source |
isoNotZeroOrT :: Iso (NotZeroOr a x) (NotZeroOr b y) (NotZeroOrT a Identity x) (NotZeroOrT b Identity y) Source