napkin-0.5.12
Copyright(c) Soostone Inc 2020
LicenseAllRightsReserved
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Napkin.Optimization.UnusedCteFields.Visitor

Description

 

Documentation

data SumOfSExpQueryExternFunWindowFunWOverOrderPartFromValueIntervalOrderSExpListGroupBySExpOrQuerySExpOrQueryList #

Constructors

CaseSExp SExp 
CaseQuery Query 
CaseExternFun ExternFun 
CaseWindowFun WindowFun 
CaseWOver WOver 
CaseOrderPart OrderPart 
CaseFrom From 
CaseValue Value 
CaseInterval Interval 
CaseOrder Order 
CaseSExpList SExpList 
CaseGroupBy GroupBy 
CaseSExpOrQuery SExpOrQuery 
CaseSExpOrQueryList SExpOrQueryList 

Instances

Instances details
Show SumOfSExpQueryExternFunWindowFunWOverOrderPartFromValueIntervalOrderSExpListGroupBySExpOrQuerySExpOrQueryList # 
Instance details

Defined in Napkin.Optimization.UnusedCteFields.Visitor

Methods

showsPrec :: Int -> SumOfSExpQueryExternFunWindowFunWOverOrderPartFromValueIntervalOrderSExpListGroupBySExpOrQuerySExpOrQueryList -> ShowS #

show :: SumOfSExpQueryExternFunWindowFunWOverOrderPartFromValueIntervalOrderSExpListGroupBySExpOrQuerySExpOrQueryList -> String #

showList :: [SumOfSExpQueryExternFunWindowFunWOverOrderPartFromValueIntervalOrderSExpListGroupBySExpOrQuerySExpOrQueryList] -> ShowS #

type SumOfSExpTypes = SumOfSExpQueryExternFunWindowFunWOverOrderPartFromValueIntervalOrderSExpListGroupBySExpOrQuerySExpOrQueryList #

type SExpReducer args b m = SumOfSExpTypes -> b -> ControllableTraverseT args SumOfSExpTypes m b #

visitSumOfSExpTypes :: Monad m => SExpReducer args b m -> args -> SumOfSExpTypes -> b -> m b #

class Monad m => ControllableTraverse funArgs nodeSum (m :: Type -> Type) | m -> funArgs nodeSum where #

Methods

replaceBranch :: nodeSum -> m () #

pushSubNodeArgs :: funArgs -> m () #

getNodeArgs :: m funArgs #

Instances

Instances details
Monad m => ControllableTraverse funArgs nodeSum (ControllableTraverseT funArgs nodeSum m) 
Instance details

Defined in MutuallyRecursiveTypesVisitor.Lib

Methods

replaceBranch :: nodeSum -> ControllableTraverseT funArgs nodeSum m () #

pushSubNodeArgs :: funArgs -> ControllableTraverseT funArgs nodeSum m () #

getNodeArgs :: ControllableTraverseT funArgs nodeSum m funArgs #

type SExpList = [SExp] #

data SExpOrQuery #

Constructors

SExpOrQuery_SExp SExp 
SExpOrQuery_Query Query 

Instances

Instances details
Eq SExpOrQuery # 
Instance details

Defined in Napkin.Optimization.UnusedCteFields.Visitor

Methods

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

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

Show SExpOrQuery # 
Instance details

Defined in Napkin.Optimization.UnusedCteFields.Visitor

Methods

showsPrec :: Int -> SExpOrQuery -> ShowS #

show :: SExpOrQuery -> String #

showList :: [SExpOrQuery] -> ShowS #

type SExpOrQueryList = [SExpOrQuery] #