constrained-generators-0.2.0.0: Framework for generating constrained random data using a subset of first order logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

Constrained.TypeErrors

Documentation

type family Computes (ty ∷ k0) (err ∷ Constraint) (a ∷ k) ∷ k where ... Source #

Equations

Computes Dummy _ _ = TypeError ((Text "This shouldn't be reachable because " :<>: ShowType Dummy) :<>: Text " shouldn't be exported!") 
Computes (Dummy : as) _ _ = TypeError ((Text "This shouldn't be reachable because " :<>: ShowType Dummy) :<>: Text " shouldn't be exported!") 
Computes _ _ a = a 

type AssertComputes ty em = Computes ty (TypeError em) (() ∷ Constraint) Source #

type AssertSpineComputes help (xs ∷ [k]) = AssertSpineComputesF help xs (TypeError ((Text "Type list computation is stuck on " :$$: (Text " " :<>: ShowType xs)) :$$: help)) Source #

module GHC.TypeError