Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Sqel.ColumnConstraints
Documentation
data Constraints Source #
Instances
Generic Constraints Source # | |
Defined in Sqel.ColumnConstraints Associated Types type Rep Constraints :: Type -> Type # | |
Show Constraints Source # | |
Defined in Sqel.ColumnConstraints Methods showsPrec :: Int -> Constraints -> ShowS # show :: Constraints -> String # showList :: [Constraints] -> ShowS # | |
Eq Constraints Source # | |
Defined in Sqel.ColumnConstraints | |
type Rep Constraints Source # | |
Defined in Sqel.ColumnConstraints type Rep Constraints = D1 ('MetaData "Constraints" "Sqel.ColumnConstraints" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'False) (C1 ('MetaCons "Constraints" 'PrefixI 'True) (S1 ('MetaSel ('Just "unique") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "nullable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "extra") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Sql])))) |
class ColumnConstraint mod where Source #
Methods
columnConstraint :: mod -> Constraints -> Constraints Source #
Instances
ColumnConstraint Nullable Source # | |
Defined in Sqel.ColumnConstraints Methods columnConstraint :: Nullable -> Constraints -> Constraints Source # | |
ColumnConstraint PgDefault Source # | |
Defined in Sqel.ColumnConstraints Methods columnConstraint :: PgDefault -> Constraints -> Constraints Source # | |
ColumnConstraint PrimaryKey Source # | |
Defined in Sqel.ColumnConstraints Methods columnConstraint :: PrimaryKey -> Constraints -> Constraints Source # | |
ColumnConstraint Unique Source # | |
Defined in Sqel.ColumnConstraints Methods columnConstraint :: Unique -> Constraints -> Constraints Source # | |
ColumnConstraint mod Source # | |
Defined in Sqel.ColumnConstraints Methods columnConstraint :: mod -> Constraints -> Constraints Source # |
class ColumnConstraints mods where Source #
Methods
collectConstraints :: NP I mods -> Constraints Source #
Instances
ColumnConstraints ('[] :: [Type]) Source # | |
Defined in Sqel.ColumnConstraints Methods collectConstraints :: NP I '[] -> Constraints Source # | |
(ColumnConstraint mod, ColumnConstraints mods) => ColumnConstraints (mod ': mods) Source # | |
Defined in Sqel.ColumnConstraints Methods collectConstraints :: NP I (mod ': mods) -> Constraints Source # |
columnConstraints :: ColumnConstraints mods => Mods mods -> (Bool, [Sql]) Source #