Safe Haskell	None
Language	Haskell2010

UVMHS.Core.Pointed

Documentation

data AddNull a Source #

Constructors

Null
AddNull a

Instances

Instances details

Bind AddNull Source #
Instance details Defined in UVMHS.Core.Pointed Methods (≫=) :: AddNull a -> (a -> AddNull b) -> AddNull b Source #
Functor AddNull Source #
Instance details Defined in UVMHS.Core.Pointed Methods map :: (a -> b) -> AddNull a -> AddNull b Source #
FunctorM AddNull Source #
Instance details Defined in UVMHS.Core.Pointed Methods mapM :: Monad m => (a -> m b) -> AddNull a -> m (AddNull b) Source #
Monad AddNull Source #
Instance details Defined in UVMHS.Core.Pointed
Return AddNull Source #
Instance details Defined in UVMHS.Core.Pointed Methods return :: a -> AddNull a Source #
Show a => Show (AddNull a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods showsPrec :: Int -> AddNull a -> ShowS # show :: AddNull a -> String # showList :: [AddNull a] -> ShowS #
Eq a => Eq (AddNull a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (==) :: AddNull a -> AddNull a -> Bool # (/=) :: AddNull a -> AddNull a -> Bool #
Ord a => Ord (AddNull a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods compare :: AddNull a -> AddNull a -> Ordering # (<) :: AddNull a -> AddNull a -> Bool # (<=) :: AddNull a -> AddNull a -> Bool # (>) :: AddNull a -> AddNull a -> Bool # (>=) :: AddNull a -> AddNull a -> Bool # max :: AddNull a -> AddNull a -> AddNull a # min :: AddNull a -> AddNull a -> AddNull a #
Append a => Append (AddNull a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⧺) :: AddNull a -> AddNull a -> AddNull a Source #
Append a => Monoid (AddNull a) Source #
Instance details Defined in UVMHS.Core.Pointed
Null (AddNull a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods null :: AddNull a Source #
Pretty a => Pretty (AddNull a) Source #
Instance details Defined in UVMHS.Lib.Pretty.Doc Methods pretty :: AddNull a -> Doc Source #
MonadWriter (ParserOut t) (Parser t) Source #
Instance details Defined in UVMHS.Lib.Parser.Core Methods tell :: ParserOut t -> Parser t () Source # hijack :: Parser t a -> Parser t (ParserOut t ∧ a) Source #

elimAddNull :: b -> (a -> b) -> AddNull a -> b Source #

data ZOM a Source #

Constructors

NullZOM
OneZOM a
MoreZOM

Instances

Instances details

Bind ZOM Source #
Instance details Defined in UVMHS.Core.Pointed Methods (≫=) :: ZOM a -> (a -> ZOM b) -> ZOM b Source #
Functor ZOM Source #
Instance details Defined in UVMHS.Core.Pointed Methods map :: (a -> b) -> ZOM a -> ZOM b Source #
FunctorM ZOM Source #
Instance details Defined in UVMHS.Core.Pointed Methods mapM :: Monad m => (a -> m b) -> ZOM a -> m (ZOM b) Source #
Monad ZOM Source #
Instance details Defined in UVMHS.Core.Pointed
Return ZOM Source #
Instance details Defined in UVMHS.Core.Pointed Methods return :: a -> ZOM a Source #
Single a (ZOM a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods single :: a -> ZOM a Source #
Show a => Show (ZOM a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods showsPrec :: Int -> ZOM a -> ShowS # show :: ZOM a -> String # showList :: [ZOM a] -> ShowS #
Eq a => Eq (ZOM a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (==) :: ZOM a -> ZOM a -> Bool # (/=) :: ZOM a -> ZOM a -> Bool #
Ord a => Ord (ZOM a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods compare :: ZOM a -> ZOM a -> Ordering # (<) :: ZOM a -> ZOM a -> Bool # (<=) :: ZOM a -> ZOM a -> Bool # (>) :: ZOM a -> ZOM a -> Bool # (>=) :: ZOM a -> ZOM a -> Bool # max :: ZOM a -> ZOM a -> ZOM a # min :: ZOM a -> ZOM a -> ZOM a #
Append (ZOM a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⧺) :: ZOM a -> ZOM a -> ZOM a Source #
Monoid (ZOM a) Source #
Instance details Defined in UVMHS.Core.Pointed
Null (ZOM a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods null :: ZOM a Source #
Pretty a => Pretty (ZOM a) Source #
Instance details Defined in UVMHS.Lib.Pretty.Doc Methods pretty :: ZOM a -> Doc Source #

elimZOM :: b -> (a -> b) -> b -> ZOM a -> b Source #

data AddBot a Source #

Constructors

Bot
AddBot a

Instances

Instances details

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

elimAddBot :: b -> (a -> b) -> AddBot a -> b Source #

data AddTop a Source #

Constructors

AddTop a
Top

Instances

Instances details

Bind AddTop Source #
Instance details Defined in UVMHS.Core.Pointed Methods (≫=) :: AddTop a -> (a -> AddTop b) -> AddTop b Source #
Functor AddTop Source #
Instance details Defined in UVMHS.Core.Pointed Methods map :: (a -> b) -> AddTop a -> AddTop b Source #
FunctorM AddTop Source #
Instance details Defined in UVMHS.Core.Pointed Methods mapM :: Monad m => (a -> m b) -> AddTop a -> m (AddTop b) Source #
Monad AddTop Source #
Instance details Defined in UVMHS.Core.Pointed
Return AddTop Source #
Instance details Defined in UVMHS.Core.Pointed Methods return :: a -> AddTop a Source #
Show a => Show (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods showsPrec :: Int -> AddTop a -> ShowS # show :: AddTop a -> String # showList :: [AddTop a] -> ShowS #
Eq a => Eq (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (==) :: AddTop a -> AddTop a -> Bool # (/=) :: AddTop a -> AddTop a -> Bool #
Ord a => Ord (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods compare :: AddTop a -> AddTop a -> Ordering # (<) :: AddTop a -> AddTop a -> Bool # (<=) :: AddTop a -> AddTop a -> Bool # (>) :: AddTop a -> AddTop a -> Bool # (>=) :: AddTop a -> AddTop a -> Bool # max :: AddTop a -> AddTop a -> AddTop a # min :: AddTop a -> AddTop a -> AddTop a #
Additive a => Additive (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed
Plus a => Plus (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (+) :: AddTop a -> AddTop a -> AddTop a Source #
Times a => Times (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (×) :: AddTop a -> AddTop a -> AddTop a Source #
Zero a => Zero (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods zero :: AddTop a Source #
Bot a => Bot (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods bot :: AddTop a Source #
(Bot a, Difference a) => Difference (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊟) :: AddTop a -> AddTop a -> AddTop a Source #
Join a => Join (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊔) :: AddTop a -> AddTop a -> AddTop a Source #
JoinLattice a => JoinLattice (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed
(JoinLattice a, Meet a) => Lattice (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed
Meet a => Meet (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊓) :: AddTop a -> AddTop a -> AddTop a Source #
Meet a => MeetLattice (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed
POrd a => POrd (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊑) :: AddTop a -> AddTop a -> 𝔹 Source #
Top (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods top :: AddTop a Source #
Append a => Append (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⧺) :: AddTop a -> AddTop a -> AddTop a Source #
Monoid a => Monoid (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed
Null a => Null (AddTop a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods null :: AddTop a Source #
Pretty a => Pretty (AddTop a) Source #
Instance details Defined in UVMHS.Lib.Pretty.Doc Methods pretty :: AddTop a -> Doc Source #

elimAddTop :: b -> (a -> b) -> AddTop a -> b Source #

data AddBT a Source #

Constructors

BotBT
AddBT a
TopBT

Instances

Instances details

Bind AddBT Source #
Instance details Defined in UVMHS.Core.Pointed Methods (≫=) :: AddBT a -> (a -> AddBT b) -> AddBT b Source #
Functor AddBT Source #
Instance details Defined in UVMHS.Core.Pointed Methods map :: (a -> b) -> AddBT a -> AddBT b Source #
FunctorM AddBT Source #
Instance details Defined in UVMHS.Core.Pointed Methods mapM :: Monad m => (a -> m b) -> AddBT a -> m (AddBT b) Source #
Monad AddBT Source #
Instance details Defined in UVMHS.Core.Pointed
Return AddBT Source #
Instance details Defined in UVMHS.Core.Pointed Methods return :: a -> AddBT a Source #
Lift a => Lift (AddBT a :: Type) Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => AddBT a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => AddBT a -> Code m (AddBT a) #
Show a => Show (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods showsPrec :: Int -> AddBT a -> ShowS # show :: AddBT a -> String # showList :: [AddBT a] -> ShowS #
Eq a => Eq (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (==) :: AddBT a -> AddBT a -> Bool # (/=) :: AddBT a -> AddBT a -> Bool #
Ord a => Ord (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods compare :: AddBT a -> AddBT a -> Ordering # (<) :: AddBT a -> AddBT a -> Bool # (<=) :: AddBT a -> AddBT a -> Bool # (>) :: AddBT a -> AddBT a -> Bool # (>=) :: AddBT a -> AddBT a -> Bool # max :: AddBT a -> AddBT a -> AddBT a # min :: AddBT a -> AddBT a -> AddBT a #
Bot (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods bot :: AddBT a Source #
Join a => Join (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊔) :: AddBT a -> AddBT a -> AddBT a Source #
Join a => JoinLattice (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed
(Join a, Meet a) => Lattice (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed
Meet a => Meet (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods (⊓) :: AddBT a -> AddBT a -> AddBT a Source #
Meet a => MeetLattice (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed
Top (AddBT a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods top :: AddBT a Source #
Pretty a => Pretty (AddBT a) Source #
Instance details Defined in UVMHS.Lib.Pretty.Doc Methods pretty :: AddBT a -> Doc Source #

addTopL :: AddTop a ⌲ a Source #

nullZOML :: ZOM a ⌲ () Source #

oneZOML :: ZOM a ⌲ a Source #

moreZOML :: ZOM a ⌲ () Source #