src/Rel8/Expr.hs-boot · rel8

on 22deaf2 help sign in

rel8/src/Rel8/Expr.hs-boot

22 lines 428 B history raw

1{-# language GADTs #-}

2{-# language PolyKinds #-}

3{-# language RoleAnnotations #-}

4{-# language StandaloneKindSignatures #-}

6module Rel8.Expr

7 ( Expr(..)

8 )

9where

11-- base

12import Data.Kind ( Type )

13import Prelude ()

15-- opaleye

16import qualified Opaleye.Internal.HaskellDB.PrimQuery as Opaleye

19type role Expr representational

20type Expr :: k -> Type

21data Expr a where

22 Expr :: k ~ Type => !Opaleye.PrimExpr -> Expr (a :: k)