git.iko.soy/schematic
on 6cc400e help sign in
schematic/src/Data/Schematic/Verifier/Array.hs
14 lines 353 B history raw
1module Data.Schematic.Verifier.Array where
3import Data.Schematic
4import Data.Schematic.Verifier.Common
6data VerifiedArrayConstraint =
7 VAEq Integer
8 deriving (Show)
10verifyArrayConstraint ::
11 [DemotedArrayConstraint] -> Maybe (Maybe VerifiedArrayConstraint)
12verifyArrayConstraint cs = do
13 x <- verifyDNEq [x | DAEq x <- cs]
14 pure $ VAEq <$> x