src/Rel8/Expr.hs-boot · rel8

on 97d89cf help sign in

rel8/src/Rel8/Expr.hs-boot

26 lines 536 B history raw

1{-# language DataKinds #-}

2{-# language GADTs #-}

3{-# language PolyKinds #-}

4{-# language RankNTypes #-}

5{-# language RoleAnnotations #-}

6{-# language StandaloneKindSignatures #-}

8module Rel8.Expr

9 ( Expr(..)

10 )

11where

13-- base

14import Data.Kind ( Type )

15import Prelude ()

17-- opaleye

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

20import Rel8.Schema.Spec ( Spec(..) )

23type Expr :: k -> Type

24data Expr a where

25 Expr :: forall (a :: Type). !Opaleye.PrimExpr -> Expr a

26 E :: { unE :: !(Expr a) } -> Expr ('Spec a)