Data.NotZeroOr

Documentation

data NotZeroOr a x

Constructors

IsNotZero (NotZero a)

OrNotZero x

Instances

Monad (NotZeroOr a)

Functor (NotZeroOr a)

Applicative (NotZeroOr a)

Apply (NotZeroOr a)

Bind (NotZeroOr a)

(Eq a, Eq x) => Eq (NotZeroOr a x)

(Ord a, Ord x) => Ord (NotZeroOr a x)

(Show a, Show x) => Show (NotZeroOr a x)

Monoid x => Monoid (NotZeroOr a x)

Semigroup (NotZeroOr a x)

_IsNotZero :: Prism (NotZeroOr a x) (NotZeroOr b x) (NotZero a) (NotZero b)

_OrNotZero :: Prism (NotZeroOr a x) (NotZeroOr a y) x y

isoNotZeroOr :: Iso (NotZeroOr a x) (NotZeroOr a x) (Either (NotZero a) x) (Either (NotZero a) x)

type Number a = NotZeroOr a ()

getNumber :: Num a => Number a -> a

isoNumber :: (Eq a, Num a) => Iso (Number a) (Number a) a a

newtype NotZeroOrT a f x

Constructors

NotZeroOrT (f (NotZeroOr a x))

Instances

MonadTrans (NotZeroOrT a)

BindTrans (NotZeroOrT a)

Monad f => Monad (NotZeroOrT a f)

Functor f => Functor (NotZeroOrT a f)

Applicative f => Applicative (NotZeroOrT a f)

Apply f => Apply (NotZeroOrT a f)

(Apply f, Monad f) => Bind (NotZeroOrT a f)

isoNotZeroOrT :: Iso (NotZeroOr a x) (NotZeroOr b y) (NotZeroOrT a Identity x) (NotZeroOrT b Identity y)