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 :: String }

#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 :: String, 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 String, body :: a, ident :: String }

#SqlF Source

data SqlF literal a

Constructors

Instances

(Eq a, Eq (l a)) => Eq (SqlF l a)
(Ord a, Ord (l a)) => 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 String
FunctionDecl (FunctionDeclR a)

Instances

#SqlModuleF Source

newtype SqlModuleF a

Constructors

Module (List (SqlDeclF a))

Instances

#SqlQueryF Source

data SqlQueryF a

Constructors

Query (List (SqlDeclF a)) 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

#encodeJsonSqlF Source

encodeJsonSqlF :: forall l. Algebra l Json -> Algebra (SqlF l) Json

#encodeJsonSqlDeclF Source

encodeJsonSqlDeclF :: Algebra SqlDeclF Json

#encodeJsonSqlQueryF Source

encodeJsonSqlQueryF :: Algebra SqlQueryF Json

#encodeJsonSqlModuleF Source

encodeJsonSqlModuleF :: Algebra SqlModuleF Json

#decodeJsonSqlF Source

decodeJsonSqlF :: forall l. CoalgebraM (Either String) l Json -> CoalgebraM (Either String) (SqlF l) Json

#decodeJsonSqlDeclF Source

decodeJsonSqlDeclF :: CoalgebraM (Either String) SqlDeclF Json

#decodeJsonSqlQueryF Source

decodeJsonSqlQueryF :: CoalgebraM (Either String) SqlQueryF Json

#decodeJsonSqlModuleF Source

decodeJsonSqlModuleF :: CoalgebraM (Either String) SqlModuleF Json

#arbitrarySqlF Source

arbitrarySqlF :: forall l. CoalgebraM Gen l Int -> CoalgebraM Gen (SqlF l) Int

#arbitrarySqlDeclF Source

arbitrarySqlDeclF :: CoalgebraM Gen SqlDeclF Int

#arbitrarySqlQueryF Source

arbitrarySqlQueryF :: CoalgebraM Gen SqlQueryF Int

#arbitrarySqlModuleF Source

arbitrarySqlModuleF :: CoalgebraM Gen SqlModuleF Int

#genSql Source

genSql :: forall t. Int -> GenSql t

Re-exports from SqlSquared.Signature.BinaryOperator

#BinaryOperator Source

data BinaryOperator

Constructors

Instances

#printBinaryOperator Source

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

#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

#encodeJsonCase Source

encodeJsonCase :: Algebra Case Json

#decodeJsonCase Source

decodeJsonCase :: CoalgebraM (Either String) Case Json

#arbitraryCase Source

arbitraryCase :: CoalgebraM Gen 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

#encodeJsonGroupBy Source

encodeJsonGroupBy :: Algebra GroupBy Json

#decodeJsonGroupBy Source

decodeJsonGroupBy :: CoalgebraM (Either String) GroupBy Json

#arbitraryGroupBy Source

arbitraryGroupBy :: CoalgebraM Gen GroupBy Int

Re-exports from SqlSquared.Signature.Ident

#printIdent Source

printIdent :: String -> String

Re-exports from SqlSquared.Signature.JoinType

#JoinType Source

data JoinType

Constructors

Instances

#printJoinType Source

printJoinType :: JoinType -> String

#joinTypeFromString Source

joinTypeFromString :: String -> Either String 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

#encodeJsonOrderBy Source

encodeJsonOrderBy :: Algebra OrderBy Json

#decodeJsonOrderBy Source

decodeJsonOrderBy :: CoalgebraM (Either String) OrderBy Json

#arbitraryOrderBy Source

arbitraryOrderBy :: CoalgebraM Gen OrderBy Int

Re-exports from SqlSquared.Signature.OrderType

#OrderType Source

data OrderType

Constructors

ASC
DESC

Instances

#printOrderType Source

printOrderType :: OrderType -> String

#orderTypeFromString Source

orderTypeFromString :: String -> Either String OrderType

Re-exports from SqlSquared.Signature.Projection

#Projection Source

newtype Projection a

Constructors

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

Instances

#printProjection Source

printProjection :: Algebra Projection String

#encodeJsonProjection Source

encodeJsonProjection :: Algebra Projection Json

#decodeJsonProjection Source

decodeJsonProjection :: CoalgebraM (Either String) Projection Json

#arbitraryProjection Source

arbitraryProjection :: CoalgebraM Gen Projection Int

Re-exports from SqlSquared.Signature.Relation

#VariRelR Source

type VariRelR = { alias :: Maybe String, vari :: String }

#TableRelR Source

type TableRelR = { alias :: Maybe String, path :: Either (AbsFile Unsandboxed) (RelFile Unsandboxed) }

#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 = { aliasName :: String, expr :: a }

#printRelation Source

printRelation :: Algebra Relation String

#encodeJsonRelation Source

encodeJsonRelation :: Algebra Relation Json

#decodeJsonRelation Source

decodeJsonRelation :: CoalgebraM (Either String) Relation Json

#arbitraryRelation Source

arbitraryRelation :: CoalgebraM Gen Relation Int

Re-exports from SqlSquared.Signature.UnaryOperator

#UnaryOperator Source

data UnaryOperator

Constructors

Instances

#unopToString Source

unopToString :: UnaryOperator -> String

#unopFromString Source

unopFromString :: String -> Either String UnaryOperator

#printUnaryOperator Source

printUnaryOperator :: String -> UnaryOperator -> String

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.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