Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type family NoGeneric (a :: Type ) (ctxt :: [ ErrorMessage ]) :: Constraint where ... Source #
type family Defined_list (break :: [*]) (err :: Constraint ) (a :: k) :: k where ... Source #
Defined_list '[Void] _ _ = Any | |
Defined_list _ _ k = k |
type family QuoteType (typ :: k) :: ErrorMessage where ... Source #
type family PrettyError (ctxt :: [ ErrorMessage ]) :: k where ... Source #
PrettyError '[] = TypeError (' Text "") | |
PrettyError (c ': cs) = TypeError ((' Text "| " :<>: c) :$$: PrettyLines cs) |