| Copyright | (c) Soostone Inc 2020 |
|---|---|
| License | AllRightsReserved |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | Safe-Inferred |
| Language | GHC2021 |
Napkin.Optimization.UnusedCteFields.Visitor
Description
Documentation
data SumOfSExpQueryExternFunWindowFunWOverOrderPartFromValueIntervalOrderSExpListGroupBySExpOrQuerySExpOrQueryList #
Constructors
Instances
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
| Monad m => ControllableTraverse funArgs nodeSum (ControllableTraverseT funArgs nodeSum m) | |
Defined in MutuallyRecursiveTypesVisitor.Lib Methods replaceBranch :: nodeSum -> ControllableTraverseT funArgs nodeSum m () # pushSubNodeArgs :: funArgs -> ControllableTraverseT funArgs nodeSum m () # getNodeArgs :: ControllableTraverseT funArgs nodeSum m funArgs # | |
data SExpOrQuery #
Constructors
| SExpOrQuery_SExp SExp | |
| SExpOrQuery_Query Query |
Instances
| Show SExpOrQuery # | |
Defined in Napkin.Optimization.UnusedCteFields.Visitor Methods showsPrec :: Int -> SExpOrQuery -> ShowS # show :: SExpOrQuery -> String # showList :: [SExpOrQuery] -> ShowS # | |
| Eq SExpOrQuery # | |
Defined in Napkin.Optimization.UnusedCteFields.Visitor | |
type SExpOrQueryList = [SExpOrQuery] #