schematic-0.5.0.0: JSON-biased spec and validation tool

Safe HaskellNone
LanguageHaskell2010

Data.Schematic.Verifier.Number

Documentation

toStrictNumber :: [DemotedNumberConstraint] -> [DemotedNumberConstraint] Source #

data VerifiedNumberConstraint Source #

Constructors

VNEq Integer 
VNBounds (Maybe Integer) (Maybe Integer) 
Instances
Show VerifiedNumberConstraint Source # 
Instance details

Defined in Data.Schematic.Verifier.Number

Methods

showsPrec :: Int -> VerifiedNumberConstraint -> ShowS #

show :: VerifiedNumberConstraint -> String #

showList :: [VerifiedNumberConstraint] -> ShowS #

verifyNumberConstraints :: [DemotedNumberConstraint] -> Maybe VerifiedNumberConstraint Source #