| Copyright | (c) Eitan Chatav 2019 |
|---|---|
| Maintainer | eitan@morphism.tech |
| Stability | experimental |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Squeal.PostgreSQL.Definition
Contents
Description
data definition language
Synopsis
- newtype Definition (db0 :: SchemasType) (db1 :: SchemasType) = UnsafeDefinition {}
- (>>>) :: forall {k} cat (a :: k) (b :: k) (c :: k). Category cat => cat a b -> cat b c -> cat a c
- manipulation_ :: Manipulation '[] db '[] '[] -> Definition db db
Definition
newtype Definition (db0 :: SchemasType) (db1 :: SchemasType) Source #
A Definition is a statement that changes the schemas of the
database, like a createTable,
dropTable,
or alterTable command.
Definitions may be composed using the >>> operator.
Constructors
| UnsafeDefinition | |
Fields | |
Instances
(>>>) :: forall {k} cat (a :: k) (b :: k) (c :: k). Category cat => cat a b -> cat b c -> cat a c infixr 1 #
Left-to-right composition
Arguments
| :: Manipulation '[] db '[] '[] | no input or output |
| -> Definition db db |
A Manipulation without input or output can be run as a statement
along with other Definitions, by embedding it using manipulation_.