git.iko.soy/schematic
on ae6719f help sign in
schematic/src/Data/Schematic/Verifier/Array.hs
22 lines 549 B history raw
1module Data.Schematic.Verifier.Array where
3import Data.List
4import Data.Maybe
5import Data.Schematic
6import Data.Schematic.Verifier.Common
7import Data.Singletons
8import Data.Singletons.Prelude
9import Data.Singletons.TypeLits
10import Data.Text (Text)
11import Data.Text.Array (Array)
12import GHC.Generics
14data VerifiedArrayConstraint =
15 VAEq Integer
16 deriving (Show)
18verifyArrayConstraint ::
19 [DemotedArrayConstraint] -> Maybe (Maybe VerifiedArrayConstraint)
20verifyArrayConstraint cs = do
21 x <- verifyDNEq [x | DAEq x <- cs]
22 pure $ VAEq <$> x