Safe Haskell	None
Language	GHC2021

Napkin.Run.Effects.Languages.StatementParse

Documentation

data CreateTableDDL #

Constructors

CreateTableDDL
Fields names :: NonEmpty Name columns :: [TableElement]

Instances

Instances details

Generic CreateTableDDL #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Associated Types

type Rep CreateTableDDL

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

type Rep CreateTableDDL = D1 ('MetaData "CreateTableDDL" "Napkin.Run.Effects.Languages.StatementParse" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "CreateTableDDL" 'PrefixI 'True) (S1 ('MetaSel ('Just "names") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Name)) :*: S1 ('MetaSel ('Just "columns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableElement])))

Methods

from :: CreateTableDDL -> Rep CreateTableDDL x #

to :: Rep CreateTableDDL x -> CreateTableDDL #

Show CreateTableDDL #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Methods

showsPrec :: Int -> CreateTableDDL -> ShowS #

show :: CreateTableDDL -> String #

showList :: [CreateTableDDL] -> ShowS #

Eq CreateTableDDL #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Methods

(==) :: CreateTableDDL -> CreateTableDDL -> Bool #

(/=) :: CreateTableDDL -> CreateTableDDL -> Bool #

Stateable CreateTableDDL #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Methods

toStatement :: CreateTableDDL -> Statement #

fromStatement :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => Statement -> Sem r CreateTableDDL #

refTableLens :: Lens' CreateTableDDL (Ref Table) #

type Rep CreateTableDDL #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

type Rep CreateTableDDL = D1 ('MetaData "CreateTableDDL" "Napkin.Run.Effects.Languages.StatementParse" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "CreateTableDDL" 'PrefixI 'True) (S1 ('MetaSel ('Just "names") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Name)) :*: S1 ('MetaSel ('Just "columns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableElement])))

data InsertStatement #

Constructors

Insert
Fields names :: NonEmpty Name columnNames :: Maybe [Name] source :: InsertSource queryMB :: Maybe Query

Instances

Instances details

Generic InsertStatement #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Associated Types

type Rep InsertStatement

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

type Rep InsertStatement = D1 ('MetaData "InsertStatement" "Napkin.Run.Effects.Languages.StatementParse" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "Insert" 'PrefixI 'True) ((S1 ('MetaSel ('Just "names") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Name)) :*: S1 ('MetaSel ('Just "columnNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Name]))) :*: (S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InsertSource) :*: S1 ('MetaSel ('Just "queryMB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Query)))))

Methods

from :: InsertStatement -> Rep InsertStatement x #

to :: Rep InsertStatement x -> InsertStatement #

Show InsertStatement #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Methods

showsPrec :: Int -> InsertStatement -> ShowS #

show :: InsertStatement -> String #

showList :: [InsertStatement] -> ShowS #

Eq InsertStatement #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Methods

(==) :: InsertStatement -> InsertStatement -> Bool #

(/=) :: InsertStatement -> InsertStatement -> Bool #

Stateable InsertStatement #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Methods

toStatement :: InsertStatement -> Statement #

fromStatement :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => Statement -> Sem r InsertStatement #

refTableLens :: Lens' InsertStatement (Ref Table) #

type Rep InsertStatement #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

type Rep InsertStatement = D1 ('MetaData "InsertStatement" "Napkin.Run.Effects.Languages.StatementParse" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "Insert" 'PrefixI 'True) ((S1 ('MetaSel ('Just "names") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Name)) :*: S1 ('MetaSel ('Just "columnNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Name]))) :*: (S1 ('MetaSel ('Just "source") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InsertSource) :*: S1 ('MetaSel ('Just "queryMB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Query)))))

toQueryMB :: InsertStatement -> Maybe Query #

withQueryMB :: InsertStatement -> (InsertStatement -> a) -> (Query -> a) -> a #

sourceToQueryMB :: InsertSource -> Maybe Query #

data ExtendedStatement #

Constructors

ExtendedStatement
Fields ddlMB :: CreateTableDDL inserts :: [InsertStatement]

Instances

Instances details

Generic ExtendedStatement #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Associated Types

type Rep ExtendedStatement

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

type Rep ExtendedStatement = D1 ('MetaData "ExtendedStatement" "Napkin.Run.Effects.Languages.StatementParse" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "ExtendedStatement" 'PrefixI 'True) (S1 ('MetaSel ('Just "ddlMB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CreateTableDDL) :*: S1 ('MetaSel ('Just "inserts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [InsertStatement])))

Methods

from :: ExtendedStatement -> Rep ExtendedStatement x #

to :: Rep ExtendedStatement x -> ExtendedStatement #

Show ExtendedStatement #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Methods

showsPrec :: Int -> ExtendedStatement -> ShowS #

show :: ExtendedStatement -> String #

showList :: [ExtendedStatement] -> ShowS #

Eq ExtendedStatement #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

Methods

(==) :: ExtendedStatement -> ExtendedStatement -> Bool #

(/=) :: ExtendedStatement -> ExtendedStatement -> Bool #

type Rep ExtendedStatement #

Instance details

Defined in Napkin.Run.Effects.Languages.StatementParse

type Rep ExtendedStatement = D1 ('MetaData "ExtendedStatement" "Napkin.Run.Effects.Languages.StatementParse" "napkin-1.0.0-5YkWAC9Wc776PT0LDghaFb" 'False) (C1 ('MetaCons "ExtendedStatement" 'PrefixI 'True) (S1 ('MetaSel ('Just "ddlMB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CreateTableDDL) :*: S1 ('MetaSel ('Just "inserts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [InsertStatement])))

toCreateTableDDL :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => Statement -> Sem r CreateTableDDL #

toInsertStatement :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => Statement -> Sem r InsertStatement #

parseExtendedStatement :: forall (r :: EffectRow). Members '[SqlParse :: (Type -> Type) -> Type -> Type, FatalError :: (Type -> Type) -> Type -> Type] r => SourceLocation -> Text -> Sem r ExtendedStatement #