Safe Haskell	None
Language	Haskell2010

Cubix.Language.Lua.Parametric.Common

Documentation

data LuaLocalVarInit e l where Source #

Constructors

LuaLocalVarInit :: e [ExpL] -> LuaLocalVarInit e LocalVarInitL

Instances

Instances details

ShowHF LuaLocalVarInit Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods showHF :: Alg LuaLocalVarInit (K String) # showHF' :: LuaLocalVarInit (K String) :=> String #
OrdHF LuaLocalVarInit Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => LuaLocalVarInit a i -> LuaLocalVarInit a j -> Ordering #
EqHF LuaLocalVarInit Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => LuaLocalVarInit g i -> LuaLocalVarInit g j -> Bool #
HTraversable LuaLocalVarInit Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (LuaLocalVarInit a) (LuaLocalVarInit b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (LuaLocalVarInit a) (LuaLocalVarInit b) #
HFoldable LuaLocalVarInit Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfold :: Monoid m => LuaLocalVarInit (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> LuaLocalVarInit a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> LuaLocalVarInit a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> LuaLocalVarInit a :=> b # hfoldr1 :: (a -> a -> a) -> LuaLocalVarInit (K a) :=> a # hfoldl1 :: (a -> a -> a) -> LuaLocalVarInit (K a) :=> a #
HFunctor LuaLocalVarInit Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> LuaLocalVarInit f :-> LuaLocalVarInit g #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
KDynCase LuaLocalVarInit LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. LuaLocalVarInit e b -> Maybe (b :~: LocalVarInitL) #
InjF MLuaSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a VarDeclBinderL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a FunctionExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a PositionalArgExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a SingleLocalVarDeclL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a SingleLocalVarDeclL) Source #
InjF MLuaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a AssignL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a AssignL) Source #
InjF MLuaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InjF MLuaSig ExpL RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InsertAt' MLuaSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MLuaSig BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> m (AnnTerm a MLuaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> Bool Source #
InjF MLuaSig [VarL] LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [VarL] -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [VarL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a [VarL]) Source #
InjF MLuaSig [ExpL] LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig [ExpL] RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig (Maybe [ExpL]) BlockEndL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a (Maybe [ExpL]) -> CxtS h MLuaSig a BlockEndL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockEndL -> Maybe (Cxt h (Sum MLuaSig :&: p) a (Maybe [ExpL])) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockEndL -> Maybe (CxtS h MLuaSig a (Maybe [ExpL])) Source #
type CfgState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type CfgState MLuaSig
type ContainerFunctors MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ContainerFunctors MLuaSig = '[PairF, ListF, MaybeF]
type SuspendedComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type SuspendedComputationSorts MLuaSig = '[FunctionDefL]
type ComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ComputationSorts MLuaSig = '[StatL, ExpL, PrefixExpL, VarL, TableFieldL, FunCallL, [BlockItemL], AssignL]
type InjectableSorts MLuaSig SingleLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig SingleLocalVarDeclL = '[StatL]
type InjectableSorts MLuaSig AssignL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig AssignL = '[StatL]

data LuaLhs e l where Source #

Constructors

LuaLhs :: e [VarL] -> LuaLhs e LhsL

Instances

Instances details

ShowHF LuaLhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods showHF :: Alg LuaLhs (K String) # showHF' :: LuaLhs (K String) :=> String #
OrdHF LuaLhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => LuaLhs a i -> LuaLhs a j -> Ordering #
EqHF LuaLhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => LuaLhs g i -> LuaLhs g j -> Bool #
HTraversable LuaLhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (LuaLhs a) (LuaLhs b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (LuaLhs a) (LuaLhs b) #
HFoldable LuaLhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfold :: Monoid m => LuaLhs (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> LuaLhs a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> LuaLhs a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> LuaLhs a :=> b # hfoldr1 :: (a -> a -> a) -> LuaLhs (K a) :=> a # hfoldl1 :: (a -> a -> a) -> LuaLhs (K a) :=> a #
HFunctor LuaLhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> LuaLhs f :-> LuaLhs g #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
KDynCase LuaLhs LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. LuaLhs e b -> Maybe (b :~: LhsL) #
InjF MLuaSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a VarDeclBinderL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a FunctionExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a PositionalArgExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a SingleLocalVarDeclL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a SingleLocalVarDeclL) Source #
InjF MLuaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a AssignL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a AssignL) Source #
InjF MLuaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InjF MLuaSig ExpL RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InsertAt' MLuaSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MLuaSig BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> m (AnnTerm a MLuaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> Bool Source #
InjF MLuaSig [VarL] LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [VarL] -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [VarL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a [VarL]) Source #
InjF MLuaSig [ExpL] LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig [ExpL] RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig (Maybe [ExpL]) BlockEndL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a (Maybe [ExpL]) -> CxtS h MLuaSig a BlockEndL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockEndL -> Maybe (Cxt h (Sum MLuaSig :&: p) a (Maybe [ExpL])) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockEndL -> Maybe (CxtS h MLuaSig a (Maybe [ExpL])) Source #
type CfgState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type CfgState MLuaSig
type ContainerFunctors MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ContainerFunctors MLuaSig = '[PairF, ListF, MaybeF]
type SuspendedComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type SuspendedComputationSorts MLuaSig = '[FunctionDefL]
type ComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ComputationSorts MLuaSig = '[StatL, ExpL, PrefixExpL, VarL, TableFieldL, FunCallL, [BlockItemL], AssignL]
type InjectableSorts MLuaSig SingleLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig SingleLocalVarDeclL = '[StatL]
type InjectableSorts MLuaSig AssignL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig AssignL = '[StatL]

data LuaRhs e l where Source #

Constructors

LuaRhs :: e [ExpL] -> LuaRhs e RhsL

Instances

Instances details

ShowHF LuaRhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods showHF :: Alg LuaRhs (K String) # showHF' :: LuaRhs (K String) :=> String #
OrdHF LuaRhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => LuaRhs a i -> LuaRhs a j -> Ordering #
EqHF LuaRhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => LuaRhs g i -> LuaRhs g j -> Bool #
HTraversable LuaRhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (LuaRhs a) (LuaRhs b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (LuaRhs a) (LuaRhs b) #
HFoldable LuaRhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfold :: Monoid m => LuaRhs (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> LuaRhs a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> LuaRhs a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> LuaRhs a :=> b # hfoldr1 :: (a -> a -> a) -> LuaRhs (K a) :=> a # hfoldl1 :: (a -> a -> a) -> LuaRhs (K a) :=> a #
HFunctor LuaRhs Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> LuaRhs f :-> LuaRhs g #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
KDynCase LuaRhs RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. LuaRhs e b -> Maybe (b :~: RhsL) #
InjF MLuaSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a VarDeclBinderL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a FunctionExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a PositionalArgExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a SingleLocalVarDeclL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a SingleLocalVarDeclL) Source #
InjF MLuaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a AssignL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a AssignL) Source #
InjF MLuaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InjF MLuaSig ExpL RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InsertAt' MLuaSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MLuaSig BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> m (AnnTerm a MLuaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> Bool Source #
InjF MLuaSig [VarL] LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [VarL] -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [VarL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a [VarL]) Source #
InjF MLuaSig [ExpL] LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig [ExpL] RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig (Maybe [ExpL]) BlockEndL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a (Maybe [ExpL]) -> CxtS h MLuaSig a BlockEndL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockEndL -> Maybe (Cxt h (Sum MLuaSig :&: p) a (Maybe [ExpL])) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockEndL -> Maybe (CxtS h MLuaSig a (Maybe [ExpL])) Source #
type CfgState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type CfgState MLuaSig
type ContainerFunctors MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ContainerFunctors MLuaSig = '[PairF, ListF, MaybeF]
type SuspendedComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type SuspendedComputationSorts MLuaSig = '[FunctionDefL]
type ComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ComputationSorts MLuaSig = '[StatL, ExpL, PrefixExpL, VarL, TableFieldL, FunCallL, [BlockItemL], AssignL]
type InjectableSorts MLuaSig SingleLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig SingleLocalVarDeclL = '[StatL]
type InjectableSorts MLuaSig AssignL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig AssignL = '[StatL]

data LuaBlockEnd e l where Source #

Constructors

LuaBlockEnd :: e (Maybe [ExpL]) -> LuaBlockEnd e BlockEndL

Instances

Instances details

ShowHF LuaBlockEnd Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods showHF :: Alg LuaBlockEnd (K String) # showHF' :: LuaBlockEnd (K String) :=> String #
OrdHF LuaBlockEnd Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => LuaBlockEnd a i -> LuaBlockEnd a j -> Ordering #
EqHF LuaBlockEnd Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => LuaBlockEnd g i -> LuaBlockEnd g j -> Bool #
HTraversable LuaBlockEnd Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (LuaBlockEnd a) (LuaBlockEnd b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (LuaBlockEnd a) (LuaBlockEnd b) #
HFoldable LuaBlockEnd Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfold :: Monoid m => LuaBlockEnd (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> LuaBlockEnd a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> LuaBlockEnd a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> LuaBlockEnd a :=> b # hfoldr1 :: (a -> a -> a) -> LuaBlockEnd (K a) :=> a # hfoldl1 :: (a -> a -> a) -> LuaBlockEnd (K a) :=> a #
HFunctor LuaBlockEnd Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> LuaBlockEnd f :-> LuaBlockEnd g #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
KDynCase LuaBlockEnd BlockEndL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. LuaBlockEnd e b -> Maybe (b :~: BlockEndL) #
InjF MLuaSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a VarDeclBinderL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a FunctionExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a PositionalArgExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a SingleLocalVarDeclL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a SingleLocalVarDeclL) Source #
InjF MLuaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a AssignL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a AssignL) Source #
InjF MLuaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InjF MLuaSig ExpL RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InsertAt' MLuaSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MLuaSig BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> m (AnnTerm a MLuaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> Bool Source #
InjF MLuaSig [VarL] LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [VarL] -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [VarL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a [VarL]) Source #
InjF MLuaSig [ExpL] LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig [ExpL] RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig (Maybe [ExpL]) BlockEndL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a (Maybe [ExpL]) -> CxtS h MLuaSig a BlockEndL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockEndL -> Maybe (Cxt h (Sum MLuaSig :&: p) a (Maybe [ExpL])) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockEndL -> Maybe (CxtS h MLuaSig a (Maybe [ExpL])) Source #
type CfgState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type CfgState MLuaSig
type ContainerFunctors MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ContainerFunctors MLuaSig = '[PairF, ListF, MaybeF]
type SuspendedComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type SuspendedComputationSorts MLuaSig = '[FunctionDefL]
type ComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ComputationSorts MLuaSig = '[StatL, ExpL, PrefixExpL, VarL, TableFieldL, FunCallL, [BlockItemL], AssignL]
type InjectableSorts MLuaSig SingleLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig SingleLocalVarDeclL = '[StatL]
type InjectableSorts MLuaSig AssignL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig AssignL = '[StatL]

data LuaSpecialFunArg e l where Source #

Constructors

LuaTableArg :: e TableL -> LuaSpecialFunArg e FunctionArgumentsL
LuaStringArg :: String -> LuaSpecialFunArg e FunctionArgumentsL
LuaReceiverAndTableArg :: e PrefixExpL -> e TableL -> LuaSpecialFunArg e FunctionArgumentsL
LuaReceiverAndStringArg :: e PrefixExpL -> String -> LuaSpecialFunArg e FunctionArgumentsL

Instances

Instances details

ShowHF LuaSpecialFunArg Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods showHF :: Alg LuaSpecialFunArg (K String) # showHF' :: LuaSpecialFunArg (K String) :=> String #
OrdHF LuaSpecialFunArg Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => LuaSpecialFunArg a i -> LuaSpecialFunArg a j -> Ordering #
EqHF LuaSpecialFunArg Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => LuaSpecialFunArg g i -> LuaSpecialFunArg g j -> Bool #
HTraversable LuaSpecialFunArg Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (LuaSpecialFunArg a) (LuaSpecialFunArg b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (LuaSpecialFunArg a) (LuaSpecialFunArg b) #
HFoldable LuaSpecialFunArg Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfold :: Monoid m => LuaSpecialFunArg (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> LuaSpecialFunArg a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> LuaSpecialFunArg a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> LuaSpecialFunArg a :=> b # hfoldr1 :: (a -> a -> a) -> LuaSpecialFunArg (K a) :=> a # hfoldl1 :: (a -> a -> a) -> LuaSpecialFunArg (K a) :=> a #
HFunctor LuaSpecialFunArg Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> LuaSpecialFunArg f :-> LuaSpecialFunArg g #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
KDynCase LuaSpecialFunArg FunctionArgumentsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. LuaSpecialFunArg e b -> Maybe (b :~: FunctionArgumentsL) #
InjF MLuaSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a VarDeclBinderL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a FunctionExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a PositionalArgExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a SingleLocalVarDeclL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a SingleLocalVarDeclL) Source #
InjF MLuaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a AssignL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a AssignL) Source #
InjF MLuaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InjF MLuaSig ExpL RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InsertAt' MLuaSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MLuaSig BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> m (AnnTerm a MLuaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> Bool Source #
InjF MLuaSig [VarL] LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [VarL] -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [VarL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a [VarL]) Source #
InjF MLuaSig [ExpL] LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig [ExpL] RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig (Maybe [ExpL]) BlockEndL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a (Maybe [ExpL]) -> CxtS h MLuaSig a BlockEndL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockEndL -> Maybe (Cxt h (Sum MLuaSig :&: p) a (Maybe [ExpL])) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockEndL -> Maybe (CxtS h MLuaSig a (Maybe [ExpL])) Source #
type CfgState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type CfgState MLuaSig
type ContainerFunctors MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ContainerFunctors MLuaSig = '[PairF, ListF, MaybeF]
type SuspendedComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type SuspendedComputationSorts MLuaSig = '[FunctionDefL]
type ComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ComputationSorts MLuaSig = '[StatL, ExpL, PrefixExpL, VarL, TableFieldL, FunCallL, [BlockItemL], AssignL]
type InjectableSorts MLuaSig SingleLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig SingleLocalVarDeclL = '[StatL]
type InjectableSorts MLuaSig AssignL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig AssignL = '[StatL]

iLuaReceiverAndStringArg :: forall h fs a j. ((:-<:) LuaSpecialFunArg fs, InjF fs FunctionArgumentsL j) => CxtS h fs a PrefixExpL -> String -> CxtS h fs a j Source #

iLuaReceiverAndTableArg :: forall h fs a j. ((:-<:) LuaSpecialFunArg fs, InjF fs FunctionArgumentsL j) => CxtS h fs a PrefixExpL -> CxtS h fs a TableL -> CxtS h fs a j Source #

iLuaStringArg :: forall h fs a j. ((:-<:) LuaSpecialFunArg fs, InjF fs FunctionArgumentsL j) => String -> CxtS h fs a j Source #

iLuaTableArg :: forall h fs a j. ((:-<:) LuaSpecialFunArg fs, InjF fs FunctionArgumentsL j) => CxtS h fs a TableL -> CxtS h fs a j Source #

iLuaBlockEnd :: forall h fs a j. ((:-<:) LuaBlockEnd fs, InjF fs BlockEndL j) => CxtS h fs a (Maybe [ExpL]) -> CxtS h fs a j Source #

iLuaRhs :: forall h fs a j. ((:-<:) LuaRhs fs, InjF fs RhsL j) => CxtS h fs a [ExpL] -> CxtS h fs a j Source #

iLuaLhs :: forall h fs a j. ((:-<:) LuaLhs fs, InjF fs LhsL j) => CxtS h fs a [VarL] -> CxtS h fs a j Source #

iLuaLocalVarInit :: forall h fs a j. ((:-<:) LuaLocalVarInit fs, InjF fs LocalVarInitL j) => CxtS h fs a [ExpL] -> CxtS h fs a j Source #

data IdentIsName (e :: Type -> Type) i Source #

Constructors

i ~ NameL => IdentIsName (e IdentL)

Instances

Instances details

ShowHF IdentIsName Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods showHF :: Alg IdentIsName (K String) # showHF' :: IdentIsName (K String) :=> String #
OrdHF IdentIsName Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => IdentIsName a i -> IdentIsName a j -> Ordering #
EqHF IdentIsName Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => IdentIsName g i -> IdentIsName g j -> Bool #
HTraversable IdentIsName Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (IdentIsName a) (IdentIsName b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (IdentIsName a) (IdentIsName b) #
HFoldable IdentIsName Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfold :: Monoid m => IdentIsName (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> IdentIsName a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> IdentIsName a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> IdentIsName a :=> b # hfoldr1 :: (a -> a -> a) -> IdentIsName (K a) :=> a # hfoldl1 :: (a -> a -> a) -> IdentIsName (K a) :=> a #
HFunctor IdentIsName Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> IdentIsName f :-> IdentIsName g #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
InjF MLuaSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a VarDeclBinderL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a FunctionExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a PositionalArgExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a SingleLocalVarDeclL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a SingleLocalVarDeclL) Source #
InjF MLuaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a AssignL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a AssignL) Source #
InjF MLuaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InjF MLuaSig ExpL RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InsertAt' MLuaSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MLuaSig BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> m (AnnTerm a MLuaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> Bool Source #
InjF MLuaSig [VarL] LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [VarL] -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [VarL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a [VarL]) Source #
InjF MLuaSig [ExpL] LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig [ExpL] RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig (Maybe [ExpL]) BlockEndL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a (Maybe [ExpL]) -> CxtS h MLuaSig a BlockEndL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockEndL -> Maybe (Cxt h (Sum MLuaSig :&: p) a (Maybe [ExpL])) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockEndL -> Maybe (CxtS h MLuaSig a (Maybe [ExpL])) Source #
type CfgState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type CfgState MLuaSig
type ContainerFunctors MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ContainerFunctors MLuaSig = '[PairF, ListF, MaybeF]
type SuspendedComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type SuspendedComputationSorts MLuaSig = '[FunctionDefL]
type ComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ComputationSorts MLuaSig = '[StatL, ExpL, PrefixExpL, VarL, TableFieldL, FunCallL, [BlockItemL], AssignL]
type InjectableSorts MLuaSig SingleLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig SingleLocalVarDeclL = '[StatL]
type InjectableSorts MLuaSig AssignL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig AssignL = '[StatL]

data AssignIsStat (e :: Type -> Type) i Source #

Constructors

i ~ StatL => AssignIsStat (e AssignL)

Instances

Instances details

ShowHF AssignIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods showHF :: Alg AssignIsStat (K String) # showHF' :: AssignIsStat (K String) :=> String #
OrdHF AssignIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => AssignIsStat a i -> AssignIsStat a j -> Ordering #
EqHF AssignIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => AssignIsStat g i -> AssignIsStat g j -> Bool #
HTraversable AssignIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (AssignIsStat a) (AssignIsStat b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (AssignIsStat a) (AssignIsStat b) #
HFoldable AssignIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfold :: Monoid m => AssignIsStat (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> AssignIsStat a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> AssignIsStat a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> AssignIsStat a :=> b # hfoldr1 :: (a -> a -> a) -> AssignIsStat (K a) :=> a # hfoldl1 :: (a -> a -> a) -> AssignIsStat (K a) :=> a #
HFunctor AssignIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> AssignIsStat f :-> AssignIsStat g #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
KDynCase AssignIsStat StatL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. AssignIsStat e b -> Maybe (b :~: StatL) #
InjF MLuaSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a VarDeclBinderL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a FunctionExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a PositionalArgExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a SingleLocalVarDeclL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a SingleLocalVarDeclL) Source #
InjF MLuaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a AssignL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a AssignL) Source #
InjF MLuaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InjF MLuaSig ExpL RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InsertAt' MLuaSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MLuaSig BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> m (AnnTerm a MLuaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> Bool Source #
InjF MLuaSig [VarL] LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [VarL] -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [VarL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a [VarL]) Source #
InjF MLuaSig [ExpL] LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig [ExpL] RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig (Maybe [ExpL]) BlockEndL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a (Maybe [ExpL]) -> CxtS h MLuaSig a BlockEndL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockEndL -> Maybe (Cxt h (Sum MLuaSig :&: p) a (Maybe [ExpL])) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockEndL -> Maybe (CxtS h MLuaSig a (Maybe [ExpL])) Source #
type CfgState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type CfgState MLuaSig
type ContainerFunctors MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ContainerFunctors MLuaSig = '[PairF, ListF, MaybeF]
type SuspendedComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type SuspendedComputationSorts MLuaSig = '[FunctionDefL]
type ComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ComputationSorts MLuaSig = '[StatL, ExpL, PrefixExpL, VarL, TableFieldL, FunCallL, [BlockItemL], AssignL]
type InjectableSorts MLuaSig SingleLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig SingleLocalVarDeclL = '[StatL]
type InjectableSorts MLuaSig AssignL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig AssignL = '[StatL]

data BlockIsBlock (e :: Type -> Type) i Source #

Constructors

i ~ BlockL => BlockIsBlock (e BlockL)

Instances

Instances details

ShowHF BlockIsBlock Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods showHF :: Alg BlockIsBlock (K String) # showHF' :: BlockIsBlock (K String) :=> String #
OrdHF BlockIsBlock Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => BlockIsBlock a i -> BlockIsBlock a j -> Ordering #
EqHF BlockIsBlock Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => BlockIsBlock g i -> BlockIsBlock g j -> Bool #
HTraversable BlockIsBlock Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (BlockIsBlock a) (BlockIsBlock b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (BlockIsBlock a) (BlockIsBlock b) #
HFoldable BlockIsBlock Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfold :: Monoid m => BlockIsBlock (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> BlockIsBlock a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> BlockIsBlock a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> BlockIsBlock a :=> b # hfoldr1 :: (a -> a -> a) -> BlockIsBlock (K a) :=> a # hfoldl1 :: (a -> a -> a) -> BlockIsBlock (K a) :=> a #
HFunctor BlockIsBlock Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> BlockIsBlock f :-> BlockIsBlock g #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
InjF MLuaSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a VarDeclBinderL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a FunctionExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a PositionalArgExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a SingleLocalVarDeclL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a SingleLocalVarDeclL) Source #
InjF MLuaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a AssignL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a AssignL) Source #
InjF MLuaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InjF MLuaSig ExpL RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InsertAt' MLuaSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MLuaSig BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> m (AnnTerm a MLuaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> Bool Source #
InjF MLuaSig [VarL] LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [VarL] -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [VarL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a [VarL]) Source #
InjF MLuaSig [ExpL] LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig [ExpL] RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig (Maybe [ExpL]) BlockEndL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a (Maybe [ExpL]) -> CxtS h MLuaSig a BlockEndL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockEndL -> Maybe (Cxt h (Sum MLuaSig :&: p) a (Maybe [ExpL])) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockEndL -> Maybe (CxtS h MLuaSig a (Maybe [ExpL])) Source #
type CfgState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type CfgState MLuaSig
type ContainerFunctors MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ContainerFunctors MLuaSig = '[PairF, ListF, MaybeF]
type SuspendedComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type SuspendedComputationSorts MLuaSig = '[FunctionDefL]
type ComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ComputationSorts MLuaSig = '[StatL, ExpL, PrefixExpL, VarL, TableFieldL, FunCallL, [BlockItemL], AssignL]
type InjectableSorts MLuaSig SingleLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig SingleLocalVarDeclL = '[StatL]
type InjectableSorts MLuaSig AssignL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig AssignL = '[StatL]

data StatIsBlockItem (e :: Type -> Type) i Source #

Constructors

i ~ BlockItemL => StatIsBlockItem (e StatL)

Instances

Instances details

ShowHF StatIsBlockItem Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods showHF :: Alg StatIsBlockItem (K String) # showHF' :: StatIsBlockItem (K String) :=> String #
OrdHF StatIsBlockItem Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => StatIsBlockItem a i -> StatIsBlockItem a j -> Ordering #
EqHF StatIsBlockItem Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => StatIsBlockItem g i -> StatIsBlockItem g j -> Bool #
HTraversable StatIsBlockItem Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (StatIsBlockItem a) (StatIsBlockItem b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (StatIsBlockItem a) (StatIsBlockItem b) #
HFoldable StatIsBlockItem Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfold :: Monoid m => StatIsBlockItem (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> StatIsBlockItem a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> StatIsBlockItem a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> StatIsBlockItem a :=> b # hfoldr1 :: (a -> a -> a) -> StatIsBlockItem (K a) :=> a # hfoldl1 :: (a -> a -> a) -> StatIsBlockItem (K a) :=> a #
HFunctor StatIsBlockItem Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> StatIsBlockItem f :-> StatIsBlockItem g #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
KDynCase StatIsBlockItem BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. StatIsBlockItem e b -> Maybe (b :~: BlockItemL) #
InjF MLuaSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a VarDeclBinderL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a FunctionExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a PositionalArgExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a SingleLocalVarDeclL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a SingleLocalVarDeclL) Source #
InjF MLuaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a AssignL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a AssignL) Source #
InjF MLuaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InjF MLuaSig ExpL RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InsertAt' MLuaSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MLuaSig BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> m (AnnTerm a MLuaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> Bool Source #
InjF MLuaSig [VarL] LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [VarL] -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [VarL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a [VarL]) Source #
InjF MLuaSig [ExpL] LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig [ExpL] RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig (Maybe [ExpL]) BlockEndL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a (Maybe [ExpL]) -> CxtS h MLuaSig a BlockEndL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockEndL -> Maybe (Cxt h (Sum MLuaSig :&: p) a (Maybe [ExpL])) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockEndL -> Maybe (CxtS h MLuaSig a (Maybe [ExpL])) Source #
type CfgState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type CfgState MLuaSig
type ContainerFunctors MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ContainerFunctors MLuaSig = '[PairF, ListF, MaybeF]
type SuspendedComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type SuspendedComputationSorts MLuaSig = '[FunctionDefL]
type ComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ComputationSorts MLuaSig = '[StatL, ExpL, PrefixExpL, VarL, TableFieldL, FunCallL, [BlockItemL], AssignL]
type InjectableSorts MLuaSig SingleLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig SingleLocalVarDeclL = '[StatL]
type InjectableSorts MLuaSig AssignL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig AssignL = '[StatL]

data SingleLocalVarDeclIsStat (e :: Type -> Type) i Source #

Constructors

i ~ StatL => SingleLocalVarDeclIsStat (e SingleLocalVarDeclL)

Instances

Instances details

ShowHF SingleLocalVarDeclIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods showHF :: Alg SingleLocalVarDeclIsStat (K String) # showHF' :: SingleLocalVarDeclIsStat (K String) :=> String #
OrdHF SingleLocalVarDeclIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => SingleLocalVarDeclIsStat a i -> SingleLocalVarDeclIsStat a j -> Ordering #
EqHF SingleLocalVarDeclIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => SingleLocalVarDeclIsStat g i -> SingleLocalVarDeclIsStat g j -> Bool #
HTraversable SingleLocalVarDeclIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (SingleLocalVarDeclIsStat a) (SingleLocalVarDeclIsStat b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (SingleLocalVarDeclIsStat a) (SingleLocalVarDeclIsStat b) #
HFoldable SingleLocalVarDeclIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfold :: Monoid m => SingleLocalVarDeclIsStat (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> SingleLocalVarDeclIsStat a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> SingleLocalVarDeclIsStat a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> SingleLocalVarDeclIsStat a :=> b # hfoldr1 :: (a -> a -> a) -> SingleLocalVarDeclIsStat (K a) :=> a # hfoldl1 :: (a -> a -> a) -> SingleLocalVarDeclIsStat (K a) :=> a #
HFunctor SingleLocalVarDeclIsStat Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> SingleLocalVarDeclIsStat f :-> SingleLocalVarDeclIsStat g #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
KDynCase SingleLocalVarDeclIsStat StatL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. SingleLocalVarDeclIsStat e b -> Maybe (b :~: StatL) #
InjF MLuaSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a VarDeclBinderL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a FunctionExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a PositionalArgExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a SingleLocalVarDeclL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a SingleLocalVarDeclL) Source #
InjF MLuaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a AssignL -> CxtS h MLuaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MLuaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockItemL -> Maybe (CxtS h MLuaSig a AssignL) Source #
InjF MLuaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InjF MLuaSig ExpL RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a ExpL -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a ExpL) Source #
InsertAt' MLuaSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MLuaSig BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> m (AnnTerm a MLuaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MLuaSig) i -> Bool Source #
InjF MLuaSig [VarL] LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [VarL] -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [VarL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a [VarL]) Source #
InjF MLuaSig [ExpL] LocalVarInitL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LocalVarInitL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig [ExpL] RhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [ExpL] -> CxtS h MLuaSig a RhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a RhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [ExpL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a RhsL -> Maybe (CxtS h MLuaSig a [ExpL]) Source #
InjF MLuaSig (Maybe [ExpL]) BlockEndL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a (Maybe [ExpL]) -> CxtS h MLuaSig a BlockEndL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a BlockEndL -> Maybe (Cxt h (Sum MLuaSig :&: p) a (Maybe [ExpL])) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a BlockEndL -> Maybe (CxtS h MLuaSig a (Maybe [ExpL])) Source #
type CfgState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type CfgState MLuaSig
type ContainerFunctors MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ContainerFunctors MLuaSig = '[PairF, ListF, MaybeF]
type SuspendedComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type SuspendedComputationSorts MLuaSig = '[FunctionDefL]
type ComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ComputationSorts MLuaSig = '[StatL, ExpL, PrefixExpL, VarL, TableFieldL, FunCallL, [BlockItemL], AssignL]
type InjectableSorts MLuaSig SingleLocalVarDeclL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig SingleLocalVarDeclL = '[StatL]
type InjectableSorts MLuaSig AssignL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types type InjectableSorts MLuaSig AssignL = '[StatL]

data FunctionCallIsFunCall (e :: Type -> Type) i Source #

Constructors

i ~ FunCallL => FunctionCallIsFunCall (e FunctionCallL)

Instances

Instances details

ShowHF FunctionCallIsFunCall Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods showHF :: Alg FunctionCallIsFunCall (K String) # showHF' :: FunctionCallIsFunCall (K String) :=> String #
OrdHF FunctionCallIsFunCall Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => FunctionCallIsFunCall a i -> FunctionCallIsFunCall a j -> Ordering #
EqHF FunctionCallIsFunCall Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => FunctionCallIsFunCall g i -> FunctionCallIsFunCall g j -> Bool #
HTraversable FunctionCallIsFunCall Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (FunctionCallIsFunCall a) (FunctionCallIsFunCall b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (FunctionCallIsFunCall a) (FunctionCallIsFunCall b) #
HFoldable FunctionCallIsFunCall Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfold :: Monoid m => FunctionCallIsFunCall (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> FunctionCallIsFunCall a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> FunctionCallIsFunCall a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> FunctionCallIsFunCall a :=> b # hfoldr1 :: (a -> a -> a) -> FunctionCallIsFunCall (K a) :=> a # hfoldl1 :: (a -> a -> a) -> FunctionCallIsFunCall (K a) :=> a #
HFunctor FunctionCallIsFunCall Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> FunctionCallIsFunCall f :-> FunctionCallIsFunCall g #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
KDynCase FunctionCallIsFunCall FunCallL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. FunctionCallIsFunCall e b -> Maybe (b :~: FunCallL) #
InjF MLuaSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MLuaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a VarDeclBinderL -> Maybe (CxtS h MLuaSig a IdentL) Source #
InjF MLuaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a IdentL -> CxtS h MLuaSig<