Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Monad (NotZeroOr a) Source | |
Functor (NotZeroOr a) Source | |
Applicative (NotZeroOr a) Source | |
Apply (NotZeroOr a) Source | |
Bind (NotZeroOr a) Source | |
(Eq a, Eq x) => Eq (NotZeroOr a x) Source | |
(Ord a, Ord x) => Ord (NotZeroOr a x) Source | |
(Show a, Show x) => Show (NotZeroOr a x) Source | |
Monoid x => Monoid (NotZeroOr a x) Source | |
Semigroup (NotZeroOr a x) Source |
_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