Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Generic Comp Source # | |
Show Comp Source # | |
Eq Comp Source # | |
type Rep Comp Source # | |
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)) |
Instances
Generic Struct Source # | |
Show Struct Source # | |
Eq Struct Source # | |
type Rep Struct Source # | |
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])))) |
DdTerm | |
|
Instances
Generic DdTerm Source # | |
Show DdTerm Source # | |
Eq DdTerm Source # | |
type Rep DdTerm Source # | |
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 Source #