Sqel.Data.Term

Documentation

data ProdType

Constructors

Reg

Con

Instances

Generic ProdType

Defined in Sqel.Data.Term

Associated Types

type Rep ProdType :: Type -> Type

Methods

from :: ProdType -> Rep ProdType x

to :: Rep ProdType x -> ProdType

Show ProdType

Defined in Sqel.Data.Term

Methods

showsPrec :: Int -> ProdType -> ShowS

show :: ProdType -> String

showList :: [ProdType] -> ShowS

Eq ProdType

Defined in Sqel.Data.Term

Methods

(==) :: ProdType -> ProdType -> Bool

(/=) :: ProdType -> ProdType -> Bool

type Rep ProdType

Defined in Sqel.Data.Term

type Rep ProdType = D1 ('MetaData "ProdType" "Sqel.Data.Term" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "Reg" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Con" 'PrefixI 'False) (U1 :: Type -> Type))

data Comp

Constructors

Prod ProdType

Sum

Instances

Generic Comp

Defined in Sqel.Data.Term

Associated Types

type Rep Comp :: Type -> Type

Methods

from :: Comp -> Rep Comp x

to :: Rep Comp x -> Comp

Show Comp

Defined in Sqel.Data.Term

Methods

showsPrec :: Int -> Comp -> ShowS

show :: Comp -> String

showList :: [Comp] -> ShowS

Eq Comp

Defined in Sqel.Data.Term

Methods

(==) :: Comp -> Comp -> Bool

(/=) :: Comp -> Comp -> Bool

type Rep Comp

Defined in Sqel.Data.Term

type Rep Comp = D1 ('MetaData "Comp" "Sqel.Data.Term" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "Prod" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProdType)) :+: C1 ('MetaCons "Sum" 'PrefixI 'False) (U1 :: Type -> Type))

data CompInc

Constructors

Merge

Nest

Instances

Generic CompInc

Defined in Sqel.Data.Term

Associated Types

type Rep CompInc :: Type -> Type

Methods

from :: CompInc -> Rep CompInc x

to :: Rep CompInc x -> CompInc

Show CompInc

Defined in Sqel.Data.Term

Methods

showsPrec :: Int -> CompInc -> ShowS

show :: CompInc -> String

showList :: [CompInc] -> ShowS

Eq CompInc

Defined in Sqel.Data.Term

Methods

(==) :: CompInc -> CompInc -> Bool

(/=) :: CompInc -> CompInc -> Bool

type Rep CompInc

Defined in Sqel.Data.Term

type Rep CompInc = D1 ('MetaData "CompInc" "Sqel.Data.Term" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "Merge" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Nest" 'PrefixI 'False) (U1 :: Type -> Type))

data Struct

Constructors

Prim PgPrimName

Comp Text Comp CompInc [DdTerm]

Instances

Generic Struct

Defined in Sqel.Data.Term

Associated Types

type Rep Struct :: Type -> Type

Methods

from :: Struct -> Rep Struct x

to :: Rep Struct x -> Struct

Show Struct

Defined in Sqel.Data.Term

Methods

showsPrec :: Int -> Struct -> ShowS

show :: Struct -> String

showList :: [Struct] -> ShowS

Eq Struct

Defined in Sqel.Data.Term

Methods

(==) :: Struct -> Struct -> Bool

(/=) :: Struct -> Struct -> Bool

type Rep Struct

Defined in Sqel.Data.Term

type Rep Struct = D1 ('MetaData "Struct" "Sqel.Data.Term" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "Prim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgPrimName)) :+: C1 ('MetaCons "Comp" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comp)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompInc) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DdTerm]))))

data DdTerm

Constructors

DdTerm

Fields

• name :: PgColumnName
• tableName :: Maybe PgTableName
• unique :: Bool
• constraints :: [Sql]
• struct :: Struct

Instances

Generic DdTerm

Defined in Sqel.Data.Term

Associated Types

type Rep DdTerm :: Type -> Type

Methods

from :: DdTerm -> Rep DdTerm x

to :: Rep DdTerm x -> DdTerm

Show DdTerm

Defined in Sqel.Data.Term

Methods

showsPrec :: Int -> DdTerm -> ShowS

show :: DdTerm -> String

showList :: [DdTerm] -> ShowS

Eq DdTerm

Defined in Sqel.Data.Term

Methods

(==) :: DdTerm -> DdTerm -> Bool

(/=) :: DdTerm -> DdTerm -> Bool

type Rep DdTerm

Defined in Sqel.Data.Term

type Rep DdTerm = D1 ('MetaData "DdTerm" "Sqel.Data.Term" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "DdTerm" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PgColumnName) :*: S1 ('MetaSel ('Just "tableName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PgTableName))) :*: (S1 ('MetaSel ('Just "unique") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "constraints") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Sql]) :*: S1 ('MetaSel ('Just "struct") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Struct)))))

demoteComp :: DdSort c -> Comp

demoteInc :: DdInc i -> CompInc