Data.AccNotZeroOr

Documentation

data AccNotZeroOr f a x

Constructors

IsAccNotZero (f (NotZero a))

OrAccNotZero x

Instances

Functor f => Functor (AccNotZeroOr f a)

Methods

fmap :: (a -> b) -> AccNotZeroOr f a a -> AccNotZeroOr f a b

(<$) :: a -> AccNotZeroOr f a b -> AccNotZeroOr f a a

Alt f => Applicative (AccNotZeroOr f a)

Methods

pure :: a -> AccNotZeroOr f a a

(<*>) :: AccNotZeroOr f a (a -> b) -> AccNotZeroOr f a a -> AccNotZeroOr f a b

liftA2 :: (a -> b -> c) -> AccNotZeroOr f a a -> AccNotZeroOr f a b -> AccNotZeroOr f a c

(*>) :: AccNotZeroOr f a a -> AccNotZeroOr f a b -> AccNotZeroOr f a b

(<*) :: AccNotZeroOr f a a -> AccNotZeroOr f a b -> AccNotZeroOr f a a

Alt f => Apply (AccNotZeroOr f a)

Methods

(<.>) :: AccNotZeroOr f a (a -> b) -> AccNotZeroOr f a a -> AccNotZeroOr f a b

(.>) :: AccNotZeroOr f a a -> AccNotZeroOr f a b -> AccNotZeroOr f a b

(<.) :: AccNotZeroOr f a a -> AccNotZeroOr f a b -> AccNotZeroOr f a a

liftF2 :: (a -> b -> c) -> AccNotZeroOr f a a -> AccNotZeroOr f a b -> AccNotZeroOr f a c

Semigroup (AccNotZeroOr f a x)

Methods

(<>) :: AccNotZeroOr f a x -> AccNotZeroOr f a x -> AccNotZeroOr f a x

sconcat :: NonEmpty (AccNotZeroOr f a x) -> AccNotZeroOr f a x

stimes :: Integral b => b -> AccNotZeroOr f a x -> AccNotZeroOr f a x

Monoid x => Monoid (AccNotZeroOr f a x)

Methods

mempty :: AccNotZeroOr f a x

mappend :: AccNotZeroOr f a x -> AccNotZeroOr f a x -> AccNotZeroOr f a x

mconcat :: [AccNotZeroOr f a x] -> AccNotZeroOr f a x

_IsAccNotZero :: Prism (AccNotZeroOr f a x) (AccNotZeroOr f b x) (f (NotZero a)) (f (NotZero b))

_OrAccNotZero :: Prism (AccNotZeroOr f a x) (AccNotZeroOr f a y) x y

isoAccNotZeroOr :: Iso (AccNotZeroOr f a x) (AccNotZeroOr g a x) (Either (f (NotZero a)) x) (Either (g (NotZero a)) x)

type OneNotZeroOr a x = AccNotZeroOr Identity a x

isoOneNotZeroOr :: Iso (OneNotZeroOr a x) (OneNotZeroOr b y) (NotZeroOr a x) (NotZeroOr b y)

isoOneNotZeroOrNumber :: (Eq a, Num a) => Iso (OneNotZeroOr a ()) (OneNotZeroOr a ()) a a

isoOneNotZeroOrT :: Iso (OneNotZeroOr a x) (OneNotZeroOr b y) (NotZeroOrT a Identity x) (NotZeroOrT b Identity y)