Safe Haskell	Safe-Inferred
Language	Haskell2010

UVMHS.Lib.ZerInf

Documentation

data AddZer a Source #

Constructors

Zer
AddZer a

Instances

Instances details

Bind AddZer Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (≫=) :: AddZer a -> (a -> AddZer b) -> AddZer b Source #
Functor AddZer Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods map :: (a -> b) -> AddZer a -> AddZer b Source #
FunctorM AddZer Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods mapM :: Monad m => (a -> m b) -> AddZer a -> m (AddZer b) Source #
Monad AddZer Source #
Instance details Defined in UVMHS.Lib.ZerInf
Return AddZer Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods return :: a -> AddZer a Source #
Show a => Show (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods showsPrec :: Int -> AddZer a -> ShowS # show :: AddZer a -> String # showList :: [AddZer a] -> ShowS #
Eq a => Eq (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (==) :: AddZer a -> AddZer a -> Bool # (/=) :: AddZer a -> AddZer a -> Bool #
Ord a => Ord (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods compare :: AddZer a -> AddZer a -> Ordering # (<) :: AddZer a -> AddZer a -> Bool # (<=) :: AddZer a -> AddZer a -> Bool # (>) :: AddZer a -> AddZer a -> Bool # (>=) :: AddZer a -> AddZer a -> Bool # max :: AddZer a -> AddZer a -> AddZer a # min :: AddZer a -> AddZer a -> AddZer a #
(DivMod a, Top a) => DivMod (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⌿) :: AddZer a -> AddZer a -> AddZer a Source # (÷) :: AddZer a -> AddZer a -> AddZer a Source #
(Divide a, Top a) => Divide (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (/) :: AddZer a -> AddZer a -> AddZer a Source #
(Efn a, One a) => Efn (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods efn :: AddZer a -> AddZer a Source #
(Log a, Top a, Minus a) => Log (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods log :: AddZer a -> AddZer a Source #
One a => One (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods one :: AddZer a Source #
Plus a => Plus (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (+) :: AddZer a -> AddZer a -> AddZer a Source #
Pon a => Pon (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (^^) :: AddZer a -> ℕ -> AddZer a Source #
(Pow a, One a) => Pow (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (^) :: AddZer a -> AddZer a -> AddZer a Source #
Root a => Root (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods root :: AddZer a -> AddZer a Source #
Times a => Times (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (×) :: AddZer a -> AddZer a -> AddZer a Source #
Zero (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods zero :: AddZer a Source #
Bot (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods bot :: AddZer a Source #
Join a => Join (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⊔) :: AddZer a -> AddZer a -> AddZer a Source #
Join a => JoinLattice (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
(Join a, MeetLattice a) => Lattice (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
Meet a => Meet (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⊓) :: AddZer a -> AddZer a -> AddZer a Source #
MeetLattice a => MeetLattice (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
Top a => Top (AddZer a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods top :: AddZer a Source #

elimAddZer :: b -> (a -> b) -> AddZer a -> b Source #

data AddInf a Source #

Constructors

Inf
AddInf a

Instances

Instances details

Bind AddInf Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (≫=) :: AddInf a -> (a -> AddInf b) -> AddInf b Source #
Functor AddInf Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods map :: (a -> b) -> AddInf a -> AddInf b Source #
FunctorM AddInf Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods mapM :: Monad m => (a -> m b) -> AddInf a -> m (AddInf b) Source #
Monad AddInf Source #
Instance details Defined in UVMHS.Lib.ZerInf
Return AddInf Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods return :: a -> AddInf a Source #
Show a => Show (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods showsPrec :: Int -> AddInf a -> ShowS # show :: AddInf a -> String # showList :: [AddInf a] -> ShowS #
Eq a => Eq (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (==) :: AddInf a -> AddInf a -> Bool # (/=) :: AddInf a -> AddInf a -> Bool #
Ord a => Ord (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods compare :: AddInf a -> AddInf a -> Ordering # (<) :: AddInf a -> AddInf a -> Bool # (<=) :: AddInf a -> AddInf a -> Bool # (>) :: AddInf a -> AddInf a -> Bool # (>=) :: AddInf a -> AddInf a -> Bool # max :: AddInf a -> AddInf a -> AddInf a # min :: AddInf a -> AddInf a -> AddInf a #
(DivMod a, Zero a) => DivMod (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⌿) :: AddInf a -> AddInf a -> AddInf a Source # (÷) :: AddInf a -> AddInf a -> AddInf a Source #
(Divide a, Zero a, Eq a) => Divide (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (/) :: AddInf a -> AddInf a -> AddInf a Source #
(Efn a, One a) => Efn (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods efn :: AddInf a -> AddInf a Source #
(Log a, Top a, Minus a) => Log (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods log :: AddInf a -> AddInf a Source #
One a => One (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods one :: AddInf a Source #
Plus a => Plus (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (+) :: AddInf a -> AddInf a -> AddInf a Source #
(Pon a, One a) => Pon (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (^^) :: AddInf a -> ℕ -> AddInf a Source #
(Pow a, One a) => Pow (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (^) :: AddInf a -> AddInf a -> AddInf a Source #
Root a => Root (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods root :: AddInf a -> AddInf a Source #
Times a => Times (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (×) :: AddInf a -> AddInf a -> AddInf a Source #
Zero a => Zero (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods zero :: AddInf a Source #
Bot a => Bot (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods bot :: AddInf a Source #
Join a => Join (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⊔) :: AddInf a -> AddInf a -> AddInf a Source #
JoinLattice a => JoinLattice (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
(JoinLattice a, Meet a) => Lattice (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
Meet a => Meet (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⊓) :: AddInf a -> AddInf a -> AddInf a Source #
Meet a => MeetLattice (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
Top (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods top :: AddInf a Source #
Append a => Append (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⧺) :: AddInf a -> AddInf a -> AddInf a Source #
Monoid a => Monoid (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
Null a => Null (AddInf a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods null :: AddInf a Source #

elimAddInf :: b -> (a -> b) -> AddInf a -> b Source #

data AddZI a Source #

Constructors

ZerZI
InfZI
AddZI a

Instances

Instances details

Bind AddZI Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (≫=) :: AddZI a -> (a -> AddZI b) -> AddZI b Source #
Functor AddZI Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods map :: (a -> b) -> AddZI a -> AddZI b Source #
FunctorM AddZI Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods mapM :: Monad m => (a -> m b) -> AddZI a -> m (AddZI b) Source #
Monad AddZI Source #
Instance details Defined in UVMHS.Lib.ZerInf
Return AddZI Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods return :: a -> AddZI a Source #
Show a => Show (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods showsPrec :: Int -> AddZI a -> ShowS # show :: AddZI a -> String # showList :: [AddZI a] -> ShowS #
Eq a => Eq (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (==) :: AddZI a -> AddZI a -> Bool # (/=) :: AddZI a -> AddZI a -> Bool #
Ord a => Ord (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods compare :: AddZI a -> AddZI a -> Ordering # (<) :: AddZI a -> AddZI a -> Bool # (<=) :: AddZI a -> AddZI a -> Bool # (>) :: AddZI a -> AddZI a -> Bool # (>=) :: AddZI a -> AddZI a -> Bool # max :: AddZI a -> AddZI a -> AddZI a # min :: AddZI a -> AddZI a -> AddZI a #
Bot (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods bot :: AddZI a Source #
Join a => Join (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⊔) :: AddZI a -> AddZI a -> AddZI a Source #
Join a => JoinLattice (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
(Join a, Meet a) => Lattice (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
Meet a => Meet (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods (⊓) :: AddZI a -> AddZI a -> AddZI a Source #
Meet a => MeetLattice (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf
Top (AddZI a) Source #
Instance details Defined in UVMHS.Lib.ZerInf Methods top :: AddZI a Source #