phino-0.0.0.41: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Must

Synopsis

Documentation

data Must Source #

Constructors

MtDisabled 
MtExact Integer 
MtRange (Maybe Integer) (Maybe Integer) 

Instances

Instances details
Read Must Source # 
Instance details

Defined in Must

Methods

readsPrec :: Int -> ReadS Must #

readList :: ReadS [Must] #

readPrec :: ReadPrec Must #

readListPrec :: ReadPrec [Must] #

Show Must Source # 
Instance details

Defined in Must

Methods

showsPrec :: Int -> Must -> ShowS #

show :: Must -> String #

showList :: [Must] -> ShowS #

Eq Must Source # 
Instance details

Defined in Must

Methods

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

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

inRange :: Must -> Integer -> Bool Source #

exceedsUpperBound :: Must -> Integer -> Bool Source #

Check if a value exceeds the upper bound of the range