Module

SqlSquared.Signature

Package: purescript-sql-squared
Repository: slamdata/purescript-sql-squared

#BinopR Source

type BinopR a = { lhs :: a, op :: BinaryOperator, rhs :: a }

#UnopR Source

type UnopR a = { expr :: a, op :: UnaryOperator }

#InvokeFunctionR Source

type InvokeFunctionR a = { args :: List a, name :: Ident }

#MatchR Source

type MatchR a = { cases :: List (Case a), else_ :: Maybe a, expr :: a }

#SwitchR Source

type SwitchR a = { cases :: List (Case a), else_ :: Maybe a }

#LetR Source

type LetR a = { bindTo :: a, ident :: Ident, in_ :: a }

#SelectR Source

type SelectR a = { filter :: Maybe a, groupBy :: Maybe (GroupBy a), isDistinct :: Boolean, orderBy :: Maybe (OrderBy a), projections :: List (Projection a), relations :: Maybe (Relation a) }

#FunctionDeclR Source

type FunctionDeclR a = { args :: List Ident, body :: a, ident :: Ident }

#SqlF Source

data SqlF literal a

Constructors

Instances

(Eq a, Eq1 l) => Eq (SqlF l a)
(Ord a, Ord1 l) => Ord (SqlF l a)
(Eq1 l) => Eq1 (SqlF l)
(Ord1 l) => Ord1 (SqlF l)
(Functor l) => Functor (SqlF l)
(Foldable l) => Foldable (SqlF l)
(Traversable l) => Traversable (SqlF l)

#SqlDeclF Source

data SqlDeclF a

Constructors

Import AnyDir
FunctionDecl (FunctionDeclR a)

Instances

#SqlQueryF Source

data SqlQueryF a

Constructors

Query (List (SqlDeclF a)) a

Instances

#SqlModuleF Source

newtype SqlModuleF a

Constructors

Module (List (SqlDeclF a))

Instances

#printSqlF Source

printSqlF :: forall l. Algebra l String -> Algebra (SqlF l) String

#printSqlDeclF Source

printSqlDeclF :: Algebra SqlDeclF String

#printSqlQueryF Source

printSqlQueryF :: Algebra SqlQueryF String

#printSqlModuleF Source

printSqlModuleF :: Algebra SqlModuleF String

#genSqlF Source

genSqlF :: forall l m. MonadGen m => MonadRec m => CoalgebraM m l Int -> CoalgebraM m (SqlF l) Int

#genSqlDeclF Source

genSqlDeclF :: forall m. MonadGen m => MonadRec m => CoalgebraM m SqlDeclF Int

#genSqlQueryF Source

genSqlQueryF :: forall m. MonadGen m => MonadRec m => CoalgebraM m SqlQueryF Int

#genSqlModuleF Source

genSqlModuleF :: forall m. MonadGen m => MonadRec m => CoalgebraM m SqlModuleF Int

Re-exports from SqlSquared.Signature.BinaryOperator

#BinaryOperator Source

data BinaryOperator

Constructors

Instances

Eq BinaryOperator
Ord BinaryOperator

#printBinaryOperator Source

printBinaryOperator :: String -> String -> BinaryOperator -> String

#genBinaryOperator Source

genBinaryOperator :: forall m. MonadGen m => m BinaryOperator

#binopToString Source

binopToString :: BinaryOperator -> String

#binopFromString Source

binopFromString :: String -> Either String BinaryOperator

Re-exports from SqlSquared.Signature.Case

#Case Source

newtype Case a

Constructors

Case { cond :: a, expr :: a }

Instances

Functor Case
Newtype (Case a) _
(Eq a) => Eq (Case a)
(Ord a) => Ord (Case a)
Foldable Case
Traversable Case

#printCase Source

printCase :: Algebra Case String

#genCase Source

genCase :: forall m. MonadGen m => CoalgebraM m Case Int

Re-exports from SqlSquared.Signature.GroupBy

#GroupBy Source

newtype GroupBy a

Constructors

GroupBy { having :: Maybe a, keys :: List a }

Instances

#printGroupBy Source

printGroupBy :: Algebra GroupBy String

#genGroupBy Source

genGroupBy :: forall m. MonadGen m => CoalgebraM m GroupBy Int

Re-exports from SqlSquared.Signature.Ident

#Ident Source

newtype Ident

Constructors

Ident String

Instances

#printIdent Source

printIdent :: Ident -> String

#genIdent Source

genIdent :: forall m. MonadGen m => m Ident

Re-exports from SqlSquared.Signature.JoinType

#JoinType Source

data JoinType

Constructors

Instances

Eq JoinType
Ord JoinType

#printJoinType Source

printJoinType :: JoinType -> String

#joinTypeFromString Source

joinTypeFromString :: String -> Either String JoinType

#genJoinType Source

genJoinType :: forall m. MonadGen m => m JoinType

Re-exports from SqlSquared.Signature.OrderBy

#OrderBy Source

newtype OrderBy a

Constructors

OrderBy (NonEmpty List (OrderType × a))

Instances

#printOrderBy Source

printOrderBy :: Algebra OrderBy String

#genOrderBy Source

genOrderBy :: forall m. MonadGen m => CoalgebraM m OrderBy Int

Re-exports from SqlSquared.Signature.OrderType

#OrderType Source

data OrderType

Constructors

ASC
DESC

Instances

Eq OrderType
Ord OrderType

#printOrderType Source

printOrderType :: OrderType -> String

#orderTypeFromString Source

orderTypeFromString :: String -> Either String OrderType

#genOrderType Source

genOrderType :: forall m. MonadGen m => m OrderType

Re-exports from SqlSquared.Signature.Projection

#Projection Source

newtype Projection a

Constructors

Projection { alias :: Maybe Ident, expr :: a }

Instances

#printProjection Source

printProjection :: Algebra Projection String

#genProjection Source

genProjection :: forall m. MonadGen m => MonadRec m => CoalgebraM m Projection Int

Re-exports from SqlSquared.Signature.Relation

#VarRelR Source

type VarRelR = { alias :: Maybe Ident, var :: Ident }

#TableRelR Source

type TableRelR = { alias :: Maybe Ident, path :: Either AnyDir AnyFile }

#Relation Source

data Relation a

Constructors

Instances

#JoinRelR Source

type JoinRelR a = { clause :: a, joinType :: JoinType, left :: Relation a, right :: Relation a }

#ExprRelR Source

type ExprRelR a = { alias :: Ident, expr :: a }

#printRelation Source

printRelation :: Algebra Relation String

#genRelation Source

genRelation :: forall m. MonadGen m => MonadRec m => CoalgebraM m Relation Int

Re-exports from SqlSquared.Signature.UnaryOperator

#UnaryOperator Source

data UnaryOperator

Constructors

Instances

Eq UnaryOperator
Ord UnaryOperator

#unopToString Source

unopToString :: UnaryOperator -> String

#unopFromString Source

unopFromString :: String -> Either String UnaryOperator

#printUnaryOperator Source

printUnaryOperator :: String -> UnaryOperator -> String

#genUnaryOperator Source

genUnaryOperator :: forall m. MonadGen m => m UnaryOperator

Re-exports from SqlSquared.Utils

#(⋙) Source

Operator alias for SqlSquared.Utils.composeFlipped (right-associative / precedence 9)

#(∘) Source

Operator alias for Control.Semigroupoid.compose (right-associative / precedence 9)

#(×) Source

Operator alias for Data.Tuple.Tuple (right-associative / precedence 1)

#type (×) Source

Operator alias for Data.Tuple.Tuple (right-associative / precedence 4)

Modules: SqlSquared; SqlSquared.Constructors; SqlSquared.Lenses; SqlSquared.Parser; SqlSquared.Parser.Tokenizer; SqlSquared.Path; SqlSquared.Signature; SqlSquared.Signature.BinaryOperator; SqlSquared.Signature.Case; SqlSquared.Signature.GroupBy; SqlSquared.Signature.Ident; SqlSquared.Signature.JoinType; SqlSquared.Signature.OrderBy; SqlSquared.Signature.OrderType; SqlSquared.Signature.Projection; SqlSquared.Signature.Relation; SqlSquared.Signature.UnaryOperator; SqlSquared.Utils