| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.AccNotZeroOr
Documentation
data AccNotZeroOr f a x Source
Constructors
| IsAccNotZero (f (NotZero a)) | |
| OrAccNotZero x |
Instances
| Functor f => Functor (AccNotZeroOr f a) Source | |
| Alt f => Applicative (AccNotZeroOr f a) Source | |
| Alt f => Apply (AccNotZeroOr f a) Source | |
| Monoid x => Monoid (AccNotZeroOr f a x) Source | |
| Semigroup (AccNotZeroOr f a x) Source |
_IsAccNotZero :: Prism (AccNotZeroOr f a x) (AccNotZeroOr f b x) (f (NotZero a)) (f (NotZero b)) Source
_OrAccNotZero :: Prism (AccNotZeroOr f a x) (AccNotZeroOr f a y) x y Source
isoAccNotZeroOr :: Iso (AccNotZeroOr f a x) (AccNotZeroOr g a x) (Either (f (NotZero a)) x) (Either (g (NotZero a)) x) Source
type OneNotZeroOr a x = AccNotZeroOr Identity a x Source
isoOneNotZeroOr :: Iso (OneNotZeroOr a x) (OneNotZeroOr b y) (NotZeroOr a x) (NotZeroOr b y) Source
isoOneNotZeroOrNumber :: (Eq a, Num a) => Iso (OneNotZeroOr a ()) (OneNotZeroOr a ()) a a Source
isoOneNotZeroOrT :: Iso (OneNotZeroOr a x) (OneNotZeroOr b y) (NotZeroOrT a Identity x) (NotZeroOrT b Identity y) Source