git.iko.soy/rel8
on 00a36f5 help sign in
rel8/src/Rel8/Schema/Dict.hs
18 lines 334 B history raw
1{-# language ConstraintKinds #-}
2{-# language GADTs #-}
3{-# language PolyKinds #-}
4{-# language StandaloneKindSignatures #-}
6module Rel8.Schema.Dict
7 ( Dict( Dict )
8 )
9where
11-- base
12import Data.Kind ( Constraint, Type )
13import Prelude ()
16type Dict :: (a -> Constraint) -> a -> Type
17data Dict c a where
18 Dict :: c a => Dict c a