Data.Schematic.Verifier.Array

Documentation

data VerifiedArrayConstraint

Constructors

VAEq Integer

Instances

Show VerifiedArrayConstraint

Defined in Data.Schematic.Verifier.Array

Methods

showsPrec :: Int -> VerifiedArrayConstraint -> ShowS

show :: VerifiedArrayConstraint -> String

showList :: [VerifiedArrayConstraint] -> ShowS

verifyArrayConstraint :: [DemotedArrayConstraint] -> Maybe (Maybe VerifiedArrayConstraint)