rel8-internal
Safe HaskellSafe-Inferred
LanguageHaskell2010

Rel8.Internal.Schema.Dict

Documentation

data Dict (c :: a -> Constraint) (a1 :: a) where Source #

Constructors

Dict :: forall {a} (c :: a -> Constraint) (a1 :: a). c a1 => Dict c a1