uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Lib.MMSP

Documentation

newtype MMSP Source #

Constructors

MMSP 

Fields

Instances

Instances details
Show MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

showsPrec :: Int -> MMSP -> ShowS #

show :: MMSP -> String #

showList :: [MMSP] -> ShowS #

Eq MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

(==) :: MMSP -> MMSP -> Bool #

(/=) :: MMSP -> MMSP -> Bool #

Ord MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

compare :: MMSP -> MMSP -> Ordering #

(<) :: MMSP -> MMSP -> Bool #

(<=) :: MMSP -> MMSP -> Bool #

(>) :: MMSP -> MMSP -> Bool #

(>=) :: MMSP -> MMSP -> Bool #

max :: MMSP -> MMSP -> MMSP #

min :: MMSP -> MMSP -> MMSP #

Additive MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Multiplicative MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

One MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

one :: MMSP Source #

Plus MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

(+) :: MMSP -> MMSP -> MMSP Source #

Pon MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

(^^) :: MMSP -> ℕ -> MMSP Source #

Times MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

(×) :: MMSP -> MMSP -> MMSP Source #

Zero MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

zero :: MMSP Source #

Bot MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

bot :: MMSP Source #

Join MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

(⊔) :: MMSP -> MMSP -> MMSP Source #

JoinLattice MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Meet MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

(⊓) :: MMSP -> MMSP -> MMSP Source #

MeetLattice MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Top MMSP Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

top :: MMSP Source #

data MMSPMaxs Source #

Constructors

MMSPMaxs 

Fields

Instances

Instances details
Show MMSPMaxs Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

showsPrec :: Int -> MMSPMaxs -> ShowS #

show :: MMSPMaxs -> String #

showList :: [MMSPMaxs] -> ShowS #

Eq MMSPMaxs Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

(==) :: MMSPMaxs -> MMSPMaxs -> Bool #

(/=) :: MMSPMaxs -> MMSPMaxs -> Bool #

Ord MMSPMaxs Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

compare :: MMSPMaxs -> MMSPMaxs -> Ordering #

(<) :: MMSPMaxs -> MMSPMaxs -> Bool #

(<=) :: MMSPMaxs -> MMSPMaxs -> Bool #

(>) :: MMSPMaxs -> MMSPMaxs -> Bool #

(>=) :: MMSPMaxs -> MMSPMaxs -> Bool #

max :: MMSPMaxs -> MMSPMaxs -> MMSPMaxs #

min :: MMSPMaxs -> MMSPMaxs -> MMSPMaxs #

data MMSPMins Source #

Constructors

MMSPMins 

Fields

Instances

Instances details
Show MMSPMins Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

showsPrec :: Int -> MMSPMins -> ShowS #

show :: MMSPMins -> String #

showList :: [MMSPMins] -> ShowS #

Eq MMSPMins Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

(==) :: MMSPMins -> MMSPMins -> Bool #

(/=) :: MMSPMins -> MMSPMins -> Bool #

Ord MMSPMins Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

compare :: MMSPMins -> MMSPMins -> Ordering #

(<) :: MMSPMins -> MMSPMins -> Bool #

(<=) :: MMSPMins -> MMSPMins -> Bool #

(>) :: MMSPMins -> MMSPMins -> Bool #

(>=) :: MMSPMins -> MMSPMins -> Bool #

max :: MMSPMins -> MMSPMins -> MMSPMins #

min :: MMSPMins -> MMSPMins -> MMSPMins #

data MMSPSums Source #

Constructors

MMSPSums 

Fields

Instances

Instances details
Show MMSPSums Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

showsPrec :: Int -> MMSPSums -> ShowS #

show :: MMSPSums -> String #

showList :: [MMSPSums] -> ShowS #

Eq MMSPSums Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

(==) :: MMSPSums -> MMSPSums -> Bool #

(/=) :: MMSPSums -> MMSPSums -> Bool #

Ord MMSPSums Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

compare :: MMSPSums -> MMSPSums -> Ordering #

(<) :: MMSPSums -> MMSPSums -> Bool #

(<=) :: MMSPSums -> MMSPSums -> Bool #

(>) :: MMSPSums -> MMSPSums -> Bool #

(>=) :: MMSPSums -> MMSPSums -> Bool #

max :: MMSPSums -> MMSPSums -> MMSPSums #

min :: MMSPSums -> MMSPSums -> MMSPSums #

data MMSPProds Source #

Constructors

MMSPProds 

Fields

Instances

Instances details
Show MMSPProds Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

showsPrec :: Int -> MMSPProds -> ShowS #

show :: MMSPProds -> String #

showList :: [MMSPProds] -> ShowS #

Eq MMSPProds Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

(==) :: MMSPProds -> MMSPProds -> Bool #

(/=) :: MMSPProds -> MMSPProds -> Bool #

Ord MMSPProds Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

compare :: MMSPProds -> MMSPProds -> Ordering #

(<) :: MMSPProds -> MMSPProds -> Bool #

(<=) :: MMSPProds -> MMSPProds -> Bool #

(>) :: MMSPProds -> MMSPProds -> Bool #

(>=) :: MMSPProds -> MMSPProds -> Bool #

max :: MMSPProds -> MMSPProds -> MMSPProds #

min :: MMSPProds -> MMSPProds -> MMSPProds #

data MMSPAtom Source #

Constructors

Var_MMSPAtom (𝐴 (𝑃 SrcCxt) Name) 

Instances

Instances details
Show MMSPAtom Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

showsPrec :: Int -> MMSPAtom -> ShowS #

show :: MMSPAtom -> String #

showList :: [MMSPAtom] -> ShowS #

Eq MMSPAtom Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

(==) :: MMSPAtom -> MMSPAtom -> Bool #

(/=) :: MMSPAtom -> MMSPAtom -> Bool #

Ord MMSPAtom Source # 
Instance details

Defined in UVMHS.Lib.MMSP

Methods

compare :: MMSPAtom -> MMSPAtom -> Ordering #

(<) :: MMSPAtom -> MMSPAtom -> Bool #

(<=) :: MMSPAtom -> MMSPAtom -> Bool #

(>) :: MMSPAtom -> MMSPAtom -> Bool #

(>=) :: MMSPAtom -> MMSPAtom -> Bool #

max :: MMSPAtom -> MMSPAtom -> MMSPAtom #

min :: MMSPAtom -> MMSPAtom -> MMSPAtom #

var_MMSPAtomL :: MMSPAtom ⌲ 𝐴 (𝑃 SrcCxt) Name Source #

maxsMMSPL :: MMSP ⌲ MMSPMaxs Source #

minsMMSPL :: MMSP ⌲ MMSPMins Source #

sumsMMSPL :: MMSP ⌲ MMSPSums Source #

prodsMMSPL :: MMSP ⌲ MMSPProds Source #

atomMMSPL :: MMSP ⌲ MMSPAtom Source #

varMMSPL :: MMSP ⌲ 𝐴 (𝑃 SrcCxt) Name Source #

litMMSPL :: MMSP ⌲ ℕ Source #

topMMSPL :: MMSP ⌲ () Source #

littMMSPL :: MMSP ⌲ AddTop ℕ Source #

maxsMMSP :: MMSPMaxs -> MMSP Source #

minsMMSP :: MMSPMins -> MMSP Source #

sumsMMSP :: MMSPSums -> MMSP Source #

prodsMMSP :: MMSPProds -> MMSP Source #

atomMMSP :: MMSPAtom -> MMSP Source #

varMMSP :: 𝐴 (𝑃 SrcCxt) Name -> MMSP Source #

litMMSP :: ℕ -> MMSP Source #

topMMSP :: MMSP Source #

joinMMSP :: MMSP -> MMSP -> MMSP Source #

meetMMSP :: MMSP -> MMSP -> MMSP Source #

plusMMSP :: MMSP -> MMSP -> MMSP Source #

timesMMSP :: MMSP -> MMSP -> MMSP Source #

ponMMSP :: MMSP -> ℕ -> MMSP Source #

zeroMaxsMins :: 𝑃 MMSPMins Source #

joinMaxsMins :: 𝑃 MMSPMins -> 𝑃 MMSPMins -> 𝑃 MMSPMins Source #

cmeetMaxsMins :: AddTop ℕ -> 𝑃 MMSPMins -> 𝑃 MMSPMins Source #

meetMaxsMins :: 𝑃 MMSPMins -> 𝑃 MMSPMins -> 𝑃 MMSPMins Source #

cplusMaxsMins :: ℕ -> 𝑃 MMSPMins -> 𝑃 MMSPMins Source #

plusMaxsMins :: 𝑃 MMSPMins -> 𝑃 MMSPMins -> 𝑃 MMSPMins Source #

ctimesMaxsMins :: ℕ -> 𝑃 MMSPMins -> 𝑃 MMSPMins Source #

timesMaxsMins :: 𝑃 MMSPMins -> 𝑃 MMSPMins -> 𝑃 MMSPMins Source #

joinMaxs :: MMSPMaxs -> MMSPMaxs -> MMSPMaxs Source #

meetMaxs :: MMSPMaxs -> MMSPMaxs -> MMSPMaxs Source #

plusMaxs :: MMSPMaxs -> MMSPMaxs -> MMSPMaxs Source #

timesMaxs :: MMSPMaxs -> MMSPMaxs -> MMSPMaxs Source #

infMinsSums :: 𝑃 MMSPSums Source #

meetMinsSums :: 𝑃 MMSPSums -> 𝑃 MMSPSums -> 𝑃 MMSPSums Source #

cplusMinsSums :: ℕ -> 𝑃 MMSPSums -> 𝑃 MMSPSums Source #

plusMinsSums :: 𝑃 MMSPSums -> 𝑃 MMSPSums -> 𝑃 MMSPSums Source #

ctimesMinsSums :: ℕ -> 𝑃 MMSPSums -> 𝑃 MMSPSums Source #

timesMinsSums :: 𝑃 MMSPSums -> 𝑃 MMSPSums -> 𝑃 MMSPSums Source #

cmeetMins :: AddTop ℕ -> MMSPMins -> MMSPMins Source #

meetMins :: MMSPMins -> MMSPMins -> MMSPMins Source #

cplusMins :: ℕ -> MMSPMins -> MMSPMins Source #

plusMins :: MMSPMins -> MMSPMins -> MMSPMins Source #

ctimesMins :: ℕ -> MMSPMins -> MMSPMins Source #

timesMins :: MMSPMins -> MMSPMins -> MMSPMins Source #

zeroSumsProds :: MMSPProds ⇰ ℕ Source #

plusSumsProds :: (MMSPProds ⇰ ℕ) -> (MMSPProds ⇰ ℕ) -> MMSPProds ⇰ ℕ Source #

ctimesSumsProds :: ℕ -> (MMSPProds ⇰ ℕ) -> MMSPProds ⇰ ℕ Source #

timesSumsProds :: (MMSPProds ⇰ ℕ) -> (MMSPProds ⇰ ℕ) -> MMSPProds ⇰ ℕ Source #

cplusSums :: ℕ -> MMSPSums -> MMSPSums Source #

plusSums :: MMSPSums -> MMSPSums -> MMSPSums Source #

timesSums :: MMSPSums -> MMSPSums -> MMSPSums Source #

timesProds :: MMSPProds -> MMSPProds -> MMSPProds Source #