Safe Haskell	None
Language	Haskell2010

Cubix.Language.Parametric.Syntax

Contents

Functorial syntax
Smart constructors
Converting functorial syntax

Synopsis

data BoolF (e :: * -> *) l where
- BoolF :: Bool -> BoolF e BoolL
data BoolL
data IntF (e :: * -> *) l where
- IntF :: Int -> IntF e IntL
data IntL
data IntegerF (e :: * -> *) l where
- IntegerF :: Integer -> IntegerF e IntegerL
data IntegerL
data CharF (e :: * -> *) l where
- CharF :: Char -> CharF e CharL
data CharL
data UnitF (e :: * -> *) l where
- UnitF :: UnitF e ()
pattern BoolF' :: (BoolF :-<: fs, All HFunctor fs) => Bool -> CxtS h fs a BoolL
iBoolF :: forall h fs a j. ((:-<:) BoolF fs, InjF fs BoolL j) => Bool -> CxtS h fs a j
pattern IntF' :: (IntF :-<: fs, All HFunctor fs) => Int -> CxtS h fs a IntL
iIntF :: forall h fs a j. ((:-<:) IntF fs, InjF fs IntL j) => Int -> CxtS h fs a j
pattern IntegerF' :: (IntegerF :-<: fs, All HFunctor fs) => Integer -> CxtS h fs a IntegerL
iIntegerF :: forall h fs a j. ((:-<:) IntegerF fs, InjF fs IntegerL j) => Integer -> CxtS h fs a j
pattern CharF' :: (CharF :-<: fs, All HFunctor fs) => Char -> CxtS h fs a CharL
iCharF :: forall h fs a j. ((:-<:) CharF fs, InjF fs CharL j) => Char -> CxtS h fs a j
pattern UnitF' :: (UnitF :-<: fs, All HFunctor fs) => CxtS h fs a ()
iUnitF :: forall h fs a j. ((:-<:) UnitF fs, InjF fs () j) => CxtS h fs a j
data FunctionCallAttrsL
data FunctionExpL
data FunctionArgumentsL
data FunctionCallL
data FunctionCall e l where
- FunctionCall :: e FunctionCallAttrsL -> e FunctionExpL -> e FunctionArgumentsL -> FunctionCall e FunctionCallL
data EmptyFunctionCallAttrs (e :: * -> *) l where
- EmptyFunctionCallAttrs :: EmptyFunctionCallAttrs e FunctionCallAttrsL
data FunctionIdent e l where
- FunctionIdent :: e IdentL -> FunctionIdent e FunctionExpL
data FunctionArgumentL
data FunctionArgumentList e l where
- FunctionArgumentList :: e [FunctionArgumentL] -> FunctionArgumentList e FunctionArgumentsL
data ReceiverL
data ReceiverArg e l where
- ReceiverArg :: e ReceiverL -> ReceiverArg e FunctionArgumentL
data PositionalArgExpL
data PositionalArgument e l where
- PositionalArgument :: e PositionalArgExpL -> PositionalArgument e FunctionArgumentL
pattern FunctionCall' :: (FunctionCall :-<: fs, All HFunctor fs) => CxtS h fs a FunctionCallAttrsL -> CxtS h fs a FunctionExpL -> CxtS h fs a FunctionArgumentsL -> CxtS h fs a FunctionCallL
iFunctionCall :: forall h fs a j. ((:-<:) FunctionCall fs, InjF fs FunctionCallL j) => CxtS h fs a FunctionCallAttrsL -> CxtS h fs a FunctionExpL -> CxtS h fs a FunctionArgumentsL -> CxtS h fs a j
pattern EmptyFunctionCallAttrs' :: (EmptyFunctionCallAttrs :-<: fs, All HFunctor fs) => CxtS h fs a FunctionCallAttrsL
iEmptyFunctionCallAttrs :: forall h fs a j. ((:-<:) EmptyFunctionCallAttrs fs, InjF fs FunctionCallAttrsL j) => CxtS h fs a j
pattern FunctionIdent' :: (FunctionIdent :-<: fs, All HFunctor fs) => CxtS h fs a IdentL -> CxtS h fs a FunctionExpL
iFunctionIdent :: forall h fs a j. ((:-<:) FunctionIdent fs, InjF fs FunctionExpL j) => CxtS h fs a IdentL -> CxtS h fs a j
pattern FunctionArgumentList' :: (FunctionArgumentList :-<: fs, All HFunctor fs) => CxtS h fs a [FunctionArgumentL] -> CxtS h fs a FunctionArgumentsL
iFunctionArgumentList :: forall h fs a j. ((:-<:) FunctionArgumentList fs, InjF fs FunctionArgumentsL j) => CxtS h fs a [FunctionArgumentL] -> CxtS h fs a j
pattern ReceiverArg' :: (ReceiverArg :-<: fs, All HFunctor fs) => CxtS h fs a ReceiverL -> CxtS h fs a FunctionArgumentL
iReceiverArg :: forall h fs a j. ((:-<:) ReceiverArg fs, InjF fs FunctionArgumentL j) => CxtS h fs a ReceiverL -> CxtS h fs a j
pattern PositionalArgument' :: (PositionalArgument :-<: fs, All HFunctor fs) => CxtS h fs a PositionalArgExpL -> CxtS h fs a FunctionArgumentL
iPositionalArgument :: forall h fs a j. ((:-<:) PositionalArgument fs, InjF fs FunctionArgumentL j) => CxtS h fs a PositionalArgExpL -> CxtS h fs a j
data FunctionDeclAttrsL
data FunctionParameterDeclL
data FunctionParameterDeclAttrsL
data FunctionDeclL
data FunctionDecl e l where
- FunctionDecl :: e FunctionDeclAttrsL -> e IdentL -> e [FunctionParameterDeclL] -> FunctionDecl e FunctionDeclL
data EmptyFunctionDeclAttrs (e :: * -> *) l where
- EmptyFunctionDeclAttrs :: EmptyFunctionDeclAttrs e FunctionDeclAttrsL
data SelfParameterDecl (e :: * -> *) l where
- SelfParameterDecl :: SelfParameterDecl e FunctionParameterDeclL
data PositionalParameterDeclOptionalIdent e l where
- PositionalParameterDeclOptionalIdent :: e FunctionParameterDeclAttrsL -> e (Maybe IdentL) -> PositionalParameterDeclOptionalIdent e FunctionParameterDeclL
data PositionalParameterDeclWithIdent e l where
- PositionalParameterDeclWithIdent :: e FunctionParameterDeclAttrsL -> e IdentL -> PositionalParameterDeclWithIdent e FunctionParameterDeclL
pattern FunctionDecl' :: (FunctionDecl :-<: fs, All HFunctor fs) => CxtS h fs a FunctionDeclAttrsL -> CxtS h fs a IdentL -> CxtS h fs a [FunctionParameterDeclL] -> CxtS h fs a FunctionDeclL
iFunctionDecl :: forall h fs a j. ((:-<:) FunctionDecl fs, InjF fs FunctionDeclL j) => CxtS h fs a FunctionDeclAttrsL -> CxtS h fs a IdentL -> CxtS h fs a [FunctionParameterDeclL] -> CxtS h fs a j
pattern EmptyFunctionDeclAttrs' :: (EmptyFunctionDeclAttrs :-<: fs, All HFunctor fs) => CxtS h fs a FunctionDeclAttrsL
iEmptyFunctionDeclAttrs :: forall h fs a j. ((:-<:) EmptyFunctionDeclAttrs fs, InjF fs FunctionDeclAttrsL j) => CxtS h fs a j
pattern SelfParameterDecl' :: (SelfParameterDecl :-<: fs, All HFunctor fs) => CxtS h fs a FunctionParameterDeclL
iSelfParameterDecl :: forall h fs a j. ((:-<:) SelfParameterDecl fs, InjF fs FunctionParameterDeclL j) => CxtS h fs a j
pattern PositionalParameterDeclOptionalIdent' :: (PositionalParameterDeclOptionalIdent :-<: fs, All HFunctor fs) => CxtS h fs a FunctionParameterDeclAttrsL -> CxtS h fs a (Maybe IdentL) -> CxtS h fs a FunctionParameterDeclL
iPositionalParameterDeclOptionalIdent :: forall h fs a j. ((:-<:) PositionalParameterDeclOptionalIdent fs, InjF fs FunctionParameterDeclL j) => CxtS h fs a FunctionParameterDeclAttrsL -> CxtS h fs a (Maybe IdentL) -> CxtS h fs a j
pattern PositionalParameterDeclWithIdent' :: (PositionalParameterDeclWithIdent :-<: fs, All HFunctor fs) => CxtS h fs a FunctionParameterDeclAttrsL -> CxtS h fs a IdentL -> CxtS h fs a FunctionParameterDeclL
iPositionalParameterDeclWithIdent :: forall h fs a j. ((:-<:) PositionalParameterDeclWithIdent fs, InjF fs FunctionParameterDeclL j) => CxtS h fs a FunctionParameterDeclAttrsL -> CxtS h fs a IdentL -> CxtS h fs a j
data FunctionDefAttrsL
data FunctionParameterL
data FunctionBodyL
data FunctionDefL
data FunctionDef e l where
- FunctionDef :: e FunctionDefAttrsL -> e IdentL -> e [FunctionParameterL] -> e FunctionBodyL -> FunctionDef e FunctionDefL
data EmptyFunctionDefAttrs (e :: * -> *) l where
- EmptyFunctionDefAttrs :: EmptyFunctionDefAttrs e FunctionDefAttrsL
data SelfParameter (e :: * -> *) l where
- SelfParameter :: SelfParameter e FunctionParameterL
data ParameterAttrsL
data PositionalParameter e l where
- PositionalParameter :: e ParameterAttrsL -> e IdentL -> PositionalParameter e FunctionParameterL
data EmptyParameterAttrs (e :: * -> *) l where
- EmptyParameterAttrs :: EmptyParameterAttrs e ParameterAttrsL
pattern FunctionDef' :: (FunctionDef :-<: fs, All HFunctor fs) => CxtS h fs a FunctionDefAttrsL -> CxtS h fs a IdentL -> CxtS h fs a [FunctionParameterL] -> CxtS h fs a FunctionBodyL -> CxtS h fs a FunctionDefL
iFunctionDef :: forall h fs a j. ((:-<:) FunctionDef fs, InjF fs FunctionDefL j) => CxtS h fs a FunctionDefAttrsL -> CxtS h fs a IdentL -> CxtS h fs a [FunctionParameterL] -> CxtS h fs a FunctionBodyL -> CxtS h fs a j
pattern EmptyFunctionDefAttrs' :: (EmptyFunctionDefAttrs :-<: fs, All HFunctor fs) => CxtS h fs a FunctionDefAttrsL
iEmptyFunctionDefAttrs :: forall h fs a j. ((:-<:) EmptyFunctionDefAttrs fs, InjF fs FunctionDefAttrsL j) => CxtS h fs a j
pattern EmptyParameterAttrs :: EmptyParameterAttrs e ParameterAttrsL
iEmptyParameterAttrs :: forall h fs a j. ((:-<:) EmptyParameterAttrs fs, InjF fs ParameterAttrsL j) => CxtS h fs a j
pattern SelfParameter' :: (SelfParameter :-<: fs, All HFunctor fs) => CxtS h fs a FunctionParameterL
iSelfParameter :: forall h fs a j. ((:-<:) SelfParameter fs, InjF fs FunctionParameterL j) => CxtS h fs a j
pattern PositionalParameter' :: (PositionalParameter :-<: fs, All HFunctor fs) => CxtS h fs a ParameterAttrsL -> CxtS h fs a IdentL -> CxtS h fs a FunctionParameterL
iPositionalParameter :: forall h fs a j. ((:-<:) PositionalParameter fs, InjF fs FunctionParameterL j) => CxtS h fs a ParameterAttrsL -> CxtS h fs a IdentL -> CxtS h fs a j
pattern EmptyParameterAttrs' :: (EmptyParameterAttrs :-<: fs, All HFunctor fs) => CxtS h fs a ParameterAttrsL
iEmptyParameterAttrs :: forall h fs a j. ((:-<:) EmptyParameterAttrs fs, InjF fs ParameterAttrsL j) => CxtS h fs a j
data MaybeF e l where
- NothingF :: Typeable l => MaybeF e (Maybe l)
- JustF :: Typeable l => e l -> MaybeF e (Maybe l)
data ListF e l where
- NilF :: Typeable l => ListF e [l]
- ConsF :: Typeable l => e l -> e [l] -> ListF e [l]
data PairF e l where
- PairF :: (Typeable i, Typeable j) => e i -> e j -> PairF e (i, j)
data TripleF e l where
- TripleF :: (Typeable i, Typeable j, Typeable k) => e i -> e j -> e k -> TripleF e (i, j, k)
data EitherF e l where
- LeftF :: (Typeable i, Typeable j) => e i -> EitherF e (Either i j)
- RightF :: (Typeable i, Typeable j) => e j -> EitherF e (Either i j)
pattern Just' :: (MaybeF :<: f, Typeable l, HFunctor f) => Cxt h f a l -> Cxt h f a (Maybe l)
pattern Nothing' :: (MaybeF :<: f, Typeable l, HFunctor f) => Cxt h f a (Maybe l)
pattern JustA' :: (MaybeF :<: f, Typeable l, HFunctor f) => Cxt h (f :&: p) a l -> Cxt h (f :&: p) a (Maybe l)
pattern ConsF' :: (ListF :<: f, Typeable l, HFunctor f) => Cxt h f a l -> Cxt h f a [l] -> Cxt h f a [l]
pattern NilF' :: (ListF :<: f, Typeable l, HFunctor f) => Cxt h f a [l]
pattern SingletonF' :: (ListF :<: f, Typeable l, HFunctor f) => Cxt h f a l -> Cxt h f a [l]
pattern ConsFA' :: (ListF :<: f, Typeable l, HFunctor f) => Cxt h (f :&: p) a l -> Cxt h (f :&: p) a [l] -> Cxt h (f :&: p) a [l]
pattern NilFA' :: (ListF :<: f, Typeable l, HFunctor f) => Cxt h (f :&: p) a [l]
pattern SingletonFA' :: (ListF :<: f, Typeable l, HFunctor f) => Cxt h (f :&: p) a l -> Cxt h (f :&: p) a [l]
pattern PairF' :: (PairF :<: f, Typeable l, Typeable l', HFunctor f) => Cxt h f a l -> Cxt h f a l' -> Cxt h f a (l, l')
pattern TripleF' :: (TripleF :<: f, Typeable i, Typeable j, Typeable k, HFunctor f) => Cxt h f a i -> Cxt h f a j -> Cxt h f a k -> Cxt h f a (i, j, k)
pattern Left' :: (EitherF :<: f, Typeable l, Typeable l', HFunctor f) => Cxt h f a l -> Cxt h f a (Either l l')
pattern Right' :: (EitherF :<: f, Typeable l, Typeable l', HFunctor f) => Cxt h f a l' -> Cxt h f a (Either l l')
riNothingF :: forall h f a l. (MaybeF :<: f, Typeable l) => Cxt h f a (Maybe l)
iJustF :: (MaybeF :-<: fs, InjF fs (Maybe l) l', Typeable l) => CxtS h fs a l -> CxtS h fs a l'
riNilF :: forall h f a l. (ListF :<: f, Typeable l) => Cxt h f a [l]
iConsF :: (ListF :-<: fs, InjF fs [l] l', Typeable l) => CxtS h fs a l -> CxtS h fs a [l] -> CxtS h fs a l'
riPairF :: (PairF :<: f, Typeable i, Typeable j) => Cxt h f a i -> Cxt h f a j -> Cxt h f a (i, j)
riTripleF :: (TripleF :<: f, Typeable i, Typeable j, Typeable k) => Cxt h f a i -> Cxt h f a j -> Cxt h f a k -> Cxt h f a (i, j, k)
riLeftF :: (EitherF :<: f, Typeable i, Typeable j) => Cxt h f a i -> Cxt h f a (Either i j)
riRightF :: (EitherF :<: f, Typeable i, Typeable j) => Cxt h f a j -> Cxt h f a (Either i j)
class ExtractF f e where
- extractF :: e (f l) -> f (e l)
class KExtractF f g where
- kextractF :: ExtractF f e => g e (f l) -> f (e l)
class KExtractF' f g where
- kextractF' :: g e (f l) -> f (e l)
class ExtractF2 f e where
- extractF2 :: e (f l l') -> f (e l) (e l')
class KExtractF2 f g where
- kextractF2 :: ExtractF2 f e => g e (f l l') -> f (e l) (e l')
class KExtractF2' f g where
- kextractF2' :: g e (f l l') -> f (e l) (e l')
class ExtractF3 f e where
- extractF3 :: e (f l l' l'') -> f (e l) (e l') (e l'')
class KExtractF3 f g where
- kextractF3 :: ExtractF3 f e => g e (f l l' l'') -> f (e l) (e l') (e l'')
class KExtractF3' f g where
- kextractF3' :: g e (f l l' l'') -> f (e l) (e l') (e l'')
class Functor f => InsertF f e where
- insertF :: Typeable l => f (e l) -> e (f l)
insertFHole :: (InsertF e (Context f (HFix g)), Typeable l) => e (HFix g l) -> Context f (HFix g) (e l)
liftF :: (InsertF f h, ExtractF f g, Functor f, Typeable b) => (f (g a) -> f (h b)) -> g (f a) -> h (f b)
mapF :: (InsertF f h, ExtractF f g, Functor f, Typeable b) => (g a -> h b) -> g (f a) -> h (f b)
data IdentL
data Ident (e :: * -> *) l where
- Ident :: String -> Ident e IdentL
data MultiLocalVarDeclCommonAttrsL
data LocalVarInitL
data IsOptional
- = Optional
- | NotOptional
data OptLocalVarInitL
data OptLocalVarInit e l where
- JustLocalVarInit :: e LocalVarInitL -> OptLocalVarInit e OptLocalVarInitL
- NoLocalVarInit :: OptLocalVarInit e OptLocalVarInitL
data LocalVarDeclAttrsL
data TupleBinder e l where
- TupleBinder :: e [IdentL] -> TupleBinder e VarDeclBinderL
data IdentIsVarDeclBinder (e :: Type -> Type) i = i ~ VarDeclBinderL => IdentIsVarDeclBinder (e IdentL)
data EmptyLocalVarDeclAttrs (e :: * -> *) l where
- EmptyLocalVarDeclAttrs :: EmptyLocalVarDeclAttrs e LocalVarDeclAttrsL
data VarDeclBinderL
data SingleLocalVarDeclL
data SingleLocalVarDecl e l where
- SingleLocalVarDecl :: e LocalVarDeclAttrsL -> e VarDeclBinderL -> e OptLocalVarInitL -> SingleLocalVarDecl e SingleLocalVarDeclL
data EmptyMultiLocalVarDeclCommonAttrs (e :: * -> *) l
data MultiLocalVarDeclL
data MultiLocalVarDecl e l where
- MultiLocalVarDecl :: e MultiLocalVarDeclCommonAttrsL -> e [SingleLocalVarDeclL] -> MultiLocalVarDecl e MultiLocalVarDeclL
data AssignOpL
data AssignOpEquals (e :: * -> *) l where
- AssignOpEquals :: AssignOpEquals e AssignOpL
data LhsL
data RhsL
data AssignL
data Assign e l where
- Assign :: e LhsL -> e AssignOpL -> e RhsL -> Assign e AssignL
data BlockItemL
data BlockEndL
data EmptyBlockEnd (e :: * -> *) l where
- EmptyBlockEnd :: EmptyBlockEnd e BlockEndL
data BlockL
data Block e l where
- Block :: e [BlockItemL] -> e BlockEndL -> Block e BlockL
data EmptyBlockItem (e :: * -> *) l where
- EmptyBlockItem :: EmptyBlockItem e BlockItemL
pattern Ident' :: (Ident :-<: fs, All HFunctor fs) => String -> CxtS h fs a IdentL
iIdent :: forall h fs a j. ((:-<:) Ident fs, InjF fs IdentL j) => String -> CxtS h fs a j
pattern JustLocalVarInit' :: (OptLocalVarInit :-<: fs, All HFunctor fs) => CxtS h fs a LocalVarInitL -> CxtS h fs a OptLocalVarInitL
iJustLocalVarInit :: forall h fs a j. ((:-<:) OptLocalVarInit fs, InjF fs OptLocalVarInitL j) => CxtS h fs a LocalVarInitL -> CxtS h fs a j
pattern NoLocalVarInit' :: (OptLocalVarInit :-<: fs, All HFunctor fs) => CxtS h fs a OptLocalVarInitL
iNoLocalVarInit :: forall h fs a j. ((:-<:) OptLocalVarInit fs, InjF fs OptLocalVarInitL j) => CxtS h fs a j
pattern EmptyLocalVarDeclAttrs' :: (EmptyLocalVarDeclAttrs :-<: fs, All HFunctor fs) => CxtS h fs a LocalVarDeclAttrsL
iEmptyLocalVarDeclAttrs :: forall h fs a j. ((:-<:) EmptyLocalVarDeclAttrs fs, InjF fs LocalVarDeclAttrsL j) => CxtS h fs a j
pattern TupleBinder' :: (TupleBinder :-<: fs, All HFunctor fs) => CxtS h fs a [IdentL] -> CxtS h fs a VarDeclBinderL
iTupleBinder :: forall h fs a j. ((:-<:) TupleBinder fs, InjF fs VarDeclBinderL j) => CxtS h fs a [IdentL] -> CxtS h fs a j
pattern IdentIsVarDeclBinder' :: (IdentIsVarDeclBinder :-<: fs, All HFunctor fs) => CxtS h fs a IdentL -> CxtS h fs a VarDeclBinderL
iIdentIsVarDeclBinder :: forall h fs a j. ((:-<:) IdentIsVarDeclBinder fs, InjF fs VarDeclBinderL j) => CxtS h fs a IdentL -> CxtS h fs a j
pattern SingleLocalVarDecl' :: (SingleLocalVarDecl :-<: fs, All HFunctor fs) => CxtS h fs a LocalVarDeclAttrsL -> CxtS h fs a VarDeclBinderL -> CxtS h fs a OptLocalVarInitL -> CxtS h fs a SingleLocalVarDeclL
iSingleLocalVarDecl :: forall h fs a j. ((:-<:) SingleLocalVarDecl fs, InjF fs SingleLocalVarDeclL j) => CxtS h fs a LocalVarDeclAttrsL -> CxtS h fs a VarDeclBinderL -> CxtS h fs a OptLocalVarInitL -> CxtS h fs a j
pattern EmptyMultiLocalVarDeclCommonAttrs' :: (EmptyMultiLocalVarDeclCommonAttrs :-<: fs, All HFunctor fs) => CxtS h fs a MultiLocalVarDeclCommonAttrsL
iEmptyMultiLocalVarDeclCommonAttrs :: forall h fs a j. ((:-<:) EmptyMultiLocalVarDeclCommonAttrs fs, InjF fs MultiLocalVarDeclCommonAttrsL j) => CxtS h fs a j
pattern MultiLocalVarDecl' :: (MultiLocalVarDecl :-<: fs, All HFunctor fs) => CxtS h fs a MultiLocalVarDeclCommonAttrsL -> CxtS h fs a [SingleLocalVarDeclL] -> CxtS h fs a MultiLocalVarDeclL
iMultiLocalVarDecl :: forall h fs a j. ((:-<:) MultiLocalVarDecl fs, InjF fs MultiLocalVarDeclL j) => CxtS h fs a MultiLocalVarDeclCommonAttrsL -> CxtS h fs a [SingleLocalVarDeclL] -> CxtS h fs a j
pattern AssignOpEquals' :: (AssignOpEquals :-<: fs, All HFunctor fs) => CxtS h fs a AssignOpL
iAssignOpEquals :: forall h fs a j. ((:-<:) AssignOpEquals fs, InjF fs AssignOpL j) => CxtS h fs a j
pattern Assign' :: (Assign :-<: fs, All HFunctor fs) => CxtS h fs a LhsL -> CxtS h fs a AssignOpL -> CxtS h fs a RhsL -> CxtS h fs a AssignL
iAssign :: forall h fs a j. ((:-<:) Assign fs, InjF fs AssignL j) => CxtS h fs a LhsL -> CxtS h fs a AssignOpL -> CxtS h fs a RhsL -> CxtS h fs a j
pattern EmptyBlockEnd' :: (EmptyBlockEnd :-<: fs, All HFunctor fs) => CxtS h fs a BlockEndL
iEmptyBlockEnd :: forall h fs a j. ((:-<:) EmptyBlockEnd fs, InjF fs BlockEndL j) => CxtS h fs a j
pattern Block' :: (Block :-<: fs, All HFunctor fs) => CxtS h fs a [BlockItemL] -> CxtS h fs a BlockEndL -> CxtS h fs a BlockL
iBlock :: forall h fs a j. ((:-<:) Block fs, InjF fs BlockL j) => CxtS h fs a [BlockItemL] -> CxtS h fs a BlockEndL -> CxtS h fs a j
pattern EmptyBlockItem' :: (EmptyBlockItem :-<: fs, All HFunctor fs) => CxtS h fs a BlockItemL
iEmptyBlockItem :: forall h fs a j. ((:-<:) EmptyBlockItem fs, InjF fs BlockItemL j) => CxtS h fs a j

Documentation

data BoolF (e :: * -> *) l where Source #

Constructors

BoolF :: Bool -> BoolF e BoolL

Instances

Instances details

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

data BoolL Source #

Instances

Instances details

KDynCase BoolF BoolL Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base Methods kdyncase :: forall (e :: Type -> Type) b. BoolF e b -> Maybe (b :~: BoolL) #

data IntF (e :: * -> *) l where Source #

Constructors

IntF :: Int -> IntF e IntL

Instances

Instances details

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

data IntL Source #

Instances

Instances details

KDynCase IntF IntL Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base Methods kdyncase :: forall (e :: Type -> Type) b. IntF e b -> Maybe (b :~: IntL) #

data IntegerF (e :: * -> *) l where Source #

Constructors

IntegerF :: Integer -> IntegerF e IntegerL

Instances

Instances details

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

data IntegerL Source #

Instances

Instances details

KDynCase IntegerF IntegerL Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base Methods kdyncase :: forall (e :: Type -> Type) b. IntegerF e b -> Maybe (b :~: IntegerL) #

data CharF (e :: * -> *) l where Source #

Constructors

CharF :: Char -> CharF e CharL

Instances

Instances details

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

data CharL Source #

Instances

Instances details

KDynCase CharF CharL Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base Methods kdyncase :: forall (e :: Type -> Type) b. CharF e b -> Maybe (b :~: CharL) #

data UnitF (e :: * -> *) l where Source #

Constructors

UnitF :: UnitF e ()

Instances

Instances details

ShowHF UnitF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base Methods showHF :: Alg UnitF (K String) # showHF' :: UnitF (K String) :=> String #
OrdHF UnitF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => UnitF a i -> UnitF a j -> Ordering #
EqHF UnitF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => UnitF g i -> UnitF g j -> Bool #
HTraversable UnitF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (UnitF a) (UnitF b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (UnitF a) (UnitF b) #
HFoldable UnitF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base Methods hfold :: Monoid m => UnitF (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> UnitF a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> UnitF a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> UnitF a :=> b # hfoldr1 :: (a -> a -> a) -> UnitF (K a) :=> a # hfoldl1 :: (a -> a -> a) -> UnitF (K a) :=> a #
HFunctor UnitF Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> UnitF f :-> UnitF g #
CfgInitState MPythonSig Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Cfg Methods cfgInitState :: Proxy MPythonSig -> CfgState MPythonSig Source #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
CfgInitState MCSig Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Cfg Methods cfgInitState :: Proxy MCSig -> CfgState MCSig Source #
Pretty MPythonSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MPythonSig (RootSort MPythonSig) -> String Source # prettyUnsafe :: Term MPythonSig l -> String Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
Pretty MCSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MCSig (RootSort MCSig) -> String Source # prettyUnsafe :: Term MCSig l -> String Source #
ParseFile MPythonSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MPythonSig (RootSort MPythonSig))) Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
ParseFile MCSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MCSig (RootSort MCSig))) Source #
KDynCase UnitF () Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Base Methods kdyncase :: forall (e :: Type -> Type) b. UnitF e b -> Maybe (b :~: ()) #
InjF MPythonSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a LhsL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a LhsL -> Maybe (CxtS h MPythonSig a IdentL) Source #
InjF MPythonSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a FunctionExpL -> Maybe (CxtS h MPythonSig a IdentL) Source #
InjF MPythonSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a PositionalArgExpL -> Maybe (CxtS h MPythonSig a IdentL) Source #
InjF MPythonSig IdentL ExprL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a ExprL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a ExprL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a ExprL -> Maybe (CxtS h MPythonSig a IdentL) Source #
InjF MPythonSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a AssignL -> CxtS h MPythonSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MPythonSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a BlockItemL -> Maybe (CxtS h MPythonSig a AssignL) 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 #
InjF MCSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a LhsL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a LhsL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a FunctionExpL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a PositionalArgExpL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig IdentL CExpressionL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a CExpressionL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a CExpressionL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a CExpressionL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a MultiLocalVarDeclL -> CxtS h MCSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MCSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a BlockItemL -> Maybe (CxtS h MCSig a MultiLocalVarDeclL) Source #
InjF MCSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a AssignL -> CxtS h MCSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MCSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a BlockItemL -> Maybe (CxtS h MCSig a AssignL) Source #
InjF MCSig CStatementL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a CStatementL -> CxtS h MCSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MCSig :&: p) a CStatementL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a BlockItemL -> Maybe (CxtS h MCSig a CStatementL) Source #
InjF MCSig CExpressionL LocalVarInitL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a CExpressionL -> CxtS h MCSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MCSig :&: p) a CExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a LocalVarInitL -> Maybe (CxtS h MCSig a CExpressionL) Source #
InsertAt' MPythonSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig BlockItemL -> (ListF :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig BlockItemL Statement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig BlockItemL -> (Statement :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (Statement :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig BlockItemL PyWith Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig BlockItemL -> (PyWith :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (PyWith :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig StatementL ListF Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig StatementL -> (ListF :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy StatementL -> (ListF :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig StatementL Statement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig StatementL -> (Statement :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy StatementL -> (Statement :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig StatementL PyWith Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig StatementL -> (PyWith :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy StatementL -> (PyWith :&: a) (AnnTerm a MPythonSig) i -> Bool 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 #
InsertAt' MCSig BlockItemL CStatement Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MCSig BlockItemL -> (CStatement :&: a) (AnnTerm a MCSig) i -> m (AnnTerm a MCSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (CStatement :&: a) (AnnTerm a MCSig) i -> Bool Source #
InjF MPythonSig [PyLValueL] LhsL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a [PyLValueL] -> CxtS h MPythonSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a LhsL -> Maybe (Cxt h (Sum MPythonSig :&: p) a [PyLValueL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a LhsL -> Maybe (CxtS h MPythonSig a [PyLValueL]) 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 MPythonSig Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Cfg type CfgState MPythonSig
type CfgState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type CfgState MLuaSig
type CfgState MCSig Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Cfg type CfgState MCSig
type ContainerFunctors MPythonSig Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Cfg type ContainerFunctors MPythonSig = '[PairF, ListF, MaybeF]
type ContainerFunctors MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type ContainerFunctors MLuaSig = '[PairF, ListF, MaybeF]
type ContainerFunctors MCSig Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Cfg type ContainerFunctors MCSig = '[PairF, TripleF, ListF, MaybeF, EitherF]
type SuspendedComputationSorts MPythonSig Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Cfg type SuspendedComputationSorts MPythonSig = '[] :: [Type]
type SuspendedComputationSorts MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg type SuspendedComputationSorts MLuaSig = '[FunctionDefL]
type SuspendedComputationSorts MCSig Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Cfg type SuspendedComputationSorts MCSig = '[FunctionDefL]
type ComputationSorts MPythonSig Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Cfg type ComputationSorts MPythonSig = '[StatementL, ExprL, [BlockItemL], [StatementL]]
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 ComputationSorts MCSig Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Cfg type ComputationSorts MCSig = '[CStatementL, CExpressionL, CCompoundBlockItemL, [BlockItemL]]
type InjectableSorts MPythonSig AssignL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types type InjectableSorts MPythonSig AssignL = '[StatementL]
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]
type InjectableSorts MCSig MultiLocalVarDeclL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types type InjectableSorts MCSig MultiLocalVarDeclL = '[CCompoundBlockItemL]

pattern BoolF' :: (BoolF :-<: fs, All HFunctor fs) => Bool -> CxtS h fs a BoolL Source #

iBoolF :: forall h fs a j. ((:-<:) BoolF fs, InjF fs BoolL j) => Bool -> CxtS h fs a j Source #

pattern IntF' :: (IntF :-<: fs, All HFunctor fs) => Int -> CxtS h fs a IntL Source #

iIntF :: forall h fs a j. ((:-<:) IntF fs, InjF fs IntL j) => Int -> CxtS h fs a j Source #

pattern IntegerF' :: (IntegerF :-<: fs, All HFunctor fs) => Integer -> CxtS h fs a IntegerL Source #

iIntegerF :: forall h fs a j. ((:-<:) IntegerF fs, InjF fs IntegerL j) => Integer -> CxtS h fs a j Source #

pattern CharF' :: (CharF :-<: fs, All HFunctor fs) => Char -> CxtS h fs a CharL Source #

iCharF :: forall h fs a j. ((:-<:) CharF fs, InjF fs CharL j) => Char -> CxtS h fs a j Source #

pattern UnitF' :: (UnitF :-<: fs, All HFunctor fs) => CxtS h fs a () Source #

iUnitF :: forall h fs a j. ((:-<:) UnitF fs, InjF fs () j) => CxtS h fs a j Source #

data FunctionCallAttrsL Source #

Instances

Instances details

KDynCase EmptyFunctionCallAttrs FunctionCallAttrsL Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function Methods kdyncase :: forall (e :: Type -> Type) b. EmptyFunctionCallAttrs e b -> Maybe (b :~: FunctionCallAttrsL) #
KDynCase JavaTypeArgs FunctionCallAttrsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. JavaTypeArgs e b -> Maybe (b :~: FunctionCallAttrsL) #

data FunctionExpL Source #

Instances

Instances details

KDynCase FunctionIdent FunctionExpL Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function Methods kdyncase :: forall (e :: Type -> Type) b. FunctionIdent e b -> Maybe (b :~: FunctionExpL) #
KDynCase ExprIsFunctionExp FunctionExpL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. ExprIsFunctionExp e b -> Maybe (b :~: FunctionExpL) #
KDynCase PrefixExpIsFunctionExp FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. PrefixExpIsFunctionExp e b -> Maybe (b :~: FunctionExpL) #
KDynCase JSExpressionIsFunctionExp FunctionExpL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. JSExpressionIsFunctionExp e b -> Maybe (b :~: FunctionExpL) #
KDynCase NameIsFunctionExp FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. NameIsFunctionExp e b -> Maybe (b :~: FunctionExpL) #
KDynCase CExpressionIsFunctionExp FunctionExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. CExpressionIsFunctionExp e b -> Maybe (b :~: FunctionExpL) #
(ExprIsFunctionExp :-<: fs, All HFunctor fs) => InjF fs ExprL FunctionExpL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a ExprL -> CxtS h fs a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionExpL -> Maybe (Cxt h (Sum fs :&: p) a ExprL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionExpL -> Maybe (CxtS h fs a ExprL) Source #
(PrefixExpIsFunctionExp :-<: fs, All HFunctor fs) => InjF fs PrefixExpL FunctionExpL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a PrefixExpL -> CxtS h fs a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionExpL -> Maybe (Cxt h (Sum fs :&: p) a PrefixExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionExpL -> Maybe (CxtS h fs a PrefixExpL) Source #
(JSExpressionIsFunctionExp :-<: fs, All HFunctor fs) => InjF fs JSExpressionL FunctionExpL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a JSExpressionL -> CxtS h fs a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionExpL -> Maybe (Cxt h (Sum fs :&: p) a JSExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionExpL -> Maybe (CxtS h fs a JSExpressionL) Source #
(NameIsFunctionExp :-<: fs, All HFunctor fs) => InjF fs NameL FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a NameL -> CxtS h fs a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionExpL -> Maybe (Cxt h (Sum fs :&: p) a NameL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionExpL -> Maybe (CxtS h fs a NameL) Source #
(CExpressionIsFunctionExp :-<: fs, All HFunctor fs) => InjF fs CExpressionL FunctionExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a CExpressionL -> CxtS h fs a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunctionExpL -> Maybe (Cxt h (Sum fs :&: p) a CExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunctionExpL -> Maybe (CxtS h fs a CExpressionL) Source #
InjF MPythonSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a FunctionExpL -> Maybe (CxtS h MPythonSig 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 MJSSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a IdentL -> CxtS h MJSSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJSSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a FunctionExpL -> Maybe (CxtS h MJSSig a IdentL) Source #
InjF MJavaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MCSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a FunctionExpL -> Maybe (CxtS h MCSig a IdentL) Source #

data FunctionArgumentsL Source #

Instances

Instances details

KDynCase FunctionArgumentList FunctionArgumentsL Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function Methods kdyncase :: forall (e :: Type -> Type) b. FunctionArgumentList e b -> Maybe (b :~: FunctionArgumentsL) #
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) #

data FunctionCallL Source #

Upon evaluating a FunctionCall node, the following occurs: 1) The FunctionExp is evaluated. 2) The function call attrs are evaluated. 3) The arguments are evaluated, in unspecified order. (Remember, we model C, which has unspecified order) 4) A function is looked up based on the function exp and the arguments, and is then invoked with the given arguments.

1 and 2 happpen in unspecified order. 1 and 2 happen before 3, which happens before 4.

All positional arguments in the invocation and the function definition are matched up sequentially If argument types do not line up (e.g.: pass a positional arg at a receiver position), this is undefined; said positional argument is ignored in the above computation

Instances

Instances details

KDynCase FunctionCall FunctionCallL Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function Methods kdyncase :: forall (e :: Type -> Type) b. FunctionCall e b -> Maybe (b :~: FunctionCallL) #
(FunctionCallIsExpr :-<: fs, All HFunctor fs) => InjF fs FunctionCallL ExprL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionCallL -> CxtS h fs a ExprL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a ExprL -> Maybe (Cxt h (Sum fs :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a ExprL -> Maybe (CxtS h fs a FunctionCallL) Source #
(FunctionCallIsFunCall :-<: fs, All HFunctor fs) => InjF fs FunctionCallL FunCallL Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionCallL -> CxtS h fs a FunCallL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunCallL -> Maybe (Cxt h (Sum fs :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunCallL -> Maybe (CxtS h fs a FunctionCallL) Source #
(FunctionCallIsJSExpression :-<: fs, All HFunctor fs) => InjF fs FunctionCallL JSExpressionL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionCallL -> CxtS h fs a JSExpressionL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a JSExpressionL -> Maybe (Cxt h (Sum fs :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a JSExpressionL -> Maybe (CxtS h fs a FunctionCallL) Source #
(FunctionCallIsMethodInvocation :-<: fs, All HFunctor fs) => InjF fs FunctionCallL MethodInvocationL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionCallL -> CxtS h fs a MethodInvocationL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a MethodInvocationL -> Maybe (Cxt h (Sum fs :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a MethodInvocationL -> Maybe (CxtS h fs a FunctionCallL) Source #
(FunctionCallIsCExpression :-<: fs, All HFunctor fs) => InjF fs FunctionCallL CExpressionL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionCallL -> CxtS h fs a CExpressionL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a CExpressionL -> Maybe (Cxt h (Sum fs :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a CExpressionL -> Maybe (CxtS h fs a FunctionCallL) Source #

data FunctionCall e l where Source #

Constructors

FunctionCall :: e FunctionCallAttrsL -> e FunctionExpL -> e FunctionArgumentsL -> FunctionCall e FunctionCallL

Instances

Instances details

ShowHF FunctionCall Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function Methods showHF :: Alg FunctionCall (K String) # showHF' :: FunctionCall (K String) :=> String #
OrdHF FunctionCall Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function Methods compareHF :: forall (a :: Type -> Type) i j. KOrd a => FunctionCall a i -> FunctionCall a j -> Ordering #
EqHF FunctionCall Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function Methods eqHF :: forall (g :: Type -> Type) i j. KEq g => FunctionCall g i -> FunctionCall g j -> Bool #
HTraversable FunctionCall Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function Methods hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (FunctionCall a) (FunctionCall b) # htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (FunctionCall a) (FunctionCall b) #
HFoldable FunctionCall Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function Methods hfold :: Monoid m => FunctionCall (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> FunctionCall a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> FunctionCall a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> FunctionCall a :=> b # hfoldr1 :: (a -> a -> a) -> FunctionCall (K a) :=> a # hfoldl1 :: (a -> a -> a) -> FunctionCall (K a) :=> a #
HFunctor FunctionCall Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function Methods hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> FunctionCall f :-> FunctionCall g #
CfgInitState MPythonSig Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Cfg Methods cfgInitState :: Proxy MPythonSig -> CfgState MPythonSig Source #
CfgInitState MLuaSig Source #
Instance details Defined in Cubix.Language.Lua.Parametric.Common.Cfg Methods cfgInitState :: Proxy MLuaSig -> CfgState MLuaSig Source #
CfgInitState MJSSig Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg Methods cfgInitState :: Proxy MJSSig -> CfgState MJSSig Source #
CfgInitState MJavaSig Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Cfg Methods cfgInitState :: Proxy MJavaSig -> CfgState MJavaSig Source #
CfgInitState MCSig Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Cfg Methods cfgInitState :: Proxy MCSig -> CfgState MCSig Source #
Pretty MPythonSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MPythonSig (RootSort MPythonSig) -> String Source # prettyUnsafe :: Term MPythonSig l -> String Source #
Pretty MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MLuaSig (RootSort MLuaSig) -> String Source # prettyUnsafe :: Term MLuaSig l -> String Source #
Pretty MJSSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MJSSig (RootSort MJSSig) -> String Source # prettyUnsafe :: Term MJSSig l -> String Source #
Pretty MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MJavaSig (RootSort MJavaSig) -> String Source # prettyUnsafe :: Term MJavaSig l -> String Source #
Pretty MCSig Source #
Instance details Defined in Cubix.ParsePretty Methods pretty :: Term MCSig (RootSort MCSig) -> String Source # prettyUnsafe :: Term MCSig l -> String Source #
ParseFile MPythonSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MPythonSig (RootSort MPythonSig))) Source #
ParseFile MLuaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MLuaSig (RootSort MLuaSig))) Source #
ParseFile MJSSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MJSSig (RootSort MJSSig))) Source #
ParseFile MJavaSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MJavaSig (RootSort MJavaSig))) Source #
ParseFile MCSig Source #
Instance details Defined in Cubix.ParsePretty Methods parseFile :: FilePath -> IO (Maybe (Term MCSig (RootSort MCSig))) Source #
KDynCase FunctionCall FunctionCallL Source #
Instance details Defined in Cubix.Language.Parametric.Syntax.Function Methods kdyncase :: forall (e :: Type -> Type) b. FunctionCall e b -> Maybe (b :~: FunctionCallL) #
InjF MPythonSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a LhsL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a LhsL -> Maybe (CxtS h MPythonSig a IdentL) Source #
InjF MPythonSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a FunctionExpL -> Maybe (CxtS h MPythonSig a IdentL) Source #
InjF MPythonSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a PositionalArgExpL -> Maybe (CxtS h MPythonSig a IdentL) Source #
InjF MPythonSig IdentL ExprL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a IdentL -> CxtS h MPythonSig a ExprL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a ExprL -> Maybe (Cxt h (Sum MPythonSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a ExprL -> Maybe (CxtS h MPythonSig a IdentL) Source #
InjF MPythonSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MPythonSig a AssignL -> CxtS h MPythonSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MPythonSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MPythonSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MPythonSig a BlockItemL -> Maybe (CxtS h MPythonSig a AssignL) 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 #
InjF MJSSig IdentL VarDeclBinderL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a IdentL -> CxtS h MJSSig a VarDeclBinderL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a VarDeclBinderL -> Maybe (Cxt h (Sum MJSSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a VarDeclBinderL -> Maybe (CxtS h MJSSig a IdentL) Source #
InjF MJSSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a IdentL -> CxtS h MJSSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a LhsL -> Maybe (Cxt h (Sum MJSSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a LhsL -> Maybe (CxtS h MJSSig a IdentL) Source #
InjF MJSSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a IdentL -> CxtS h MJSSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJSSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a FunctionExpL -> Maybe (CxtS h MJSSig a IdentL) Source #
InjF MJSSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a IdentL -> CxtS h MJSSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MJSSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a PositionalArgExpL -> Maybe (CxtS h MJSSig a IdentL) Source #
InjF MJSSig SingleLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a SingleLocalVarDeclL -> CxtS h MJSSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJSSig :&: p) a SingleLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a BlockItemL -> Maybe (CxtS h MJSSig a SingleLocalVarDeclL) Source #
InjF MJSSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a MultiLocalVarDeclL -> CxtS h MJSSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJSSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a BlockItemL -> Maybe (CxtS h MJSSig a MultiLocalVarDeclL) Source #
InjF MJSSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a AssignL -> CxtS h MJSSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJSSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a BlockItemL -> Maybe (CxtS h MJSSig a AssignL) Source #
InjF MJSSig AssignL JSStatementL Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJSSig a AssignL -> CxtS h MJSSig a JSStatementL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a JSStatementL -> Maybe (Cxt h (Sum MJSSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJSSig a JSStatementL -> Maybe (CxtS h MJSSig a AssignL) Source #
InjF MJavaSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LhsL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a PositionalArgExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig IdentL ExpL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a IdentL -> CxtS h MJavaSig a ExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a ExpL -> Maybe (Cxt h (Sum MJavaSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> Maybe (CxtS h MJavaSig a IdentL) Source #
InjF MJavaSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a MultiLocalVarDeclL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a MultiLocalVarDeclL) Source #
InjF MJavaSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a AssignL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a AssignL) Source #
InjF MJavaSig BlockL StmtL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockL -> CxtS h MJavaSig a StmtL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a StmtL -> Maybe (Cxt h (Sum MJavaSig :&: p) a BlockL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> Maybe (CxtS h MJavaSig a BlockL) Source #
InjF MJavaSig StmtL BlockItemL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a StmtL -> CxtS h MJavaSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MJavaSig :&: p) a StmtL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a BlockItemL -> Maybe (CxtS h MJavaSig a StmtL) Source #
InjF MJavaSig ExpL LocalVarInitL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a LocalVarInitL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InjF MJavaSig ExpL FunctionArgumentL Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MJavaSig a ExpL -> CxtS h MJavaSig a FunctionArgumentL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJavaSig :&: p) a FunctionArgumentL -> Maybe (Cxt h (Sum MJavaSig :&: p) a ExpL) Source # projF :: forall h (a :: Type -> Type). CxtS h MJavaSig a FunctionArgumentL -> Maybe (CxtS h MJavaSig a ExpL) Source #
InjF MCSig IdentL LhsL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a LhsL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a LhsL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig IdentL FunctionExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a FunctionExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a FunctionExpL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a FunctionExpL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig IdentL PositionalArgExpL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a PositionalArgExpL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a PositionalArgExpL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a PositionalArgExpL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig IdentL CExpressionL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a IdentL -> CxtS h MCSig a CExpressionL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a CExpressionL -> Maybe (Cxt h (Sum MCSig :&: p) a IdentL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a CExpressionL -> Maybe (CxtS h MCSig a IdentL) Source #
InjF MCSig MultiLocalVarDeclL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a MultiLocalVarDeclL -> CxtS h MCSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MCSig :&: p) a MultiLocalVarDeclL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a BlockItemL -> Maybe (CxtS h MCSig a MultiLocalVarDeclL) Source #
InjF MCSig AssignL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a AssignL -> CxtS h MCSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MCSig :&: p) a AssignL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a BlockItemL -> Maybe (CxtS h MCSig a AssignL) Source #
InjF MCSig CStatementL BlockItemL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a CStatementL -> CxtS h MCSig a BlockItemL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a BlockItemL -> Maybe (Cxt h (Sum MCSig :&: p) a CStatementL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a BlockItemL -> Maybe (CxtS h MCSig a CStatementL) Source #
InjF MCSig CExpressionL LocalVarInitL Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MCSig a CExpressionL -> CxtS h MCSig a LocalVarInitL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MCSig :&: p) a LocalVarInitL -> Maybe (Cxt h (Sum MCSig :&: p) a CExpressionL) Source # projF :: forall h (a :: Type -> Type). CxtS h MCSig a LocalVarInitL -> Maybe (CxtS h MCSig a CExpressionL) Source #
InsertAt' MPythonSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig BlockItemL -> (ListF :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig BlockItemL Statement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig BlockItemL -> (Statement :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (Statement :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig BlockItemL PyWith Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig BlockItemL -> (PyWith :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (PyWith :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig StatementL ListF Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig StatementL -> (ListF :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy StatementL -> (ListF :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig StatementL Statement Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig StatementL -> (Statement :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy StatementL -> (Statement :&: a) (AnnTerm a MPythonSig) i -> Bool Source #
InsertAt' MPythonSig StatementL PyWith Source #
Instance details Defined in Cubix.Language.Python.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MPythonSig StatementL -> (PyWith :&: a) (AnnTerm a MPythonSig) i -> m (AnnTerm a MPythonSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy StatementL -> (PyWith :&: a) (AnnTerm a MPythonSig) i -> Bool 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 #
InsertAt' MJSSig BlockItemL ListF Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJSSig BlockItemL -> (ListF :&: a) (AnnTerm a MJSSig) i -> m (AnnTerm a MJSSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (ListF :&: a) (AnnTerm a MJSSig) i -> Bool Source #
InsertAt' MJSSig BlockItemL JSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJSSig BlockItemL -> (JSStatement :&: a) (AnnTerm a MJSSig) i -> m (AnnTerm a MJSSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (JSStatement :&: a) (AnnTerm a MJSSig) i -> Bool Source #
InsertAt' MJSSig JSStatementL ListF Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJSSig JSStatementL -> (ListF :&: a) (AnnTerm a MJSSig) i -> m (AnnTerm a MJSSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy JSStatementL -> (ListF :&: a) (AnnTerm a MJSSig) i -> Bool Source #
InsertAt' MJSSig JSStatementL JSStatement Source #
Instance details Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJSSig JSStatementL -> (JSStatement :&: a) (AnnTerm a MJSSig) i -> m (AnnTerm a MJSSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy JSStatementL -> (JSStatement :&: a) (AnnTerm a MJSSig) i -> Bool Source #
InsertAt' MJavaSig BlockItemL Stmt Source #
Instance details Defined in Cubix.Language.Java.Parametric.Common.Semantics Methods insertAt' :: MonadAnnotater a m => NodeEvaluationPoint -> AnnTerm a MJavaSig BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> m (AnnTerm a MJavaSig i) Source # canInsertAt' :: NodeEvaluationPoint -> Proxy BlockItemL -> (Stmt :&: a) (AnnTerm a MJavaSig) i -> Bool Source #
InsertAt' MCSig BlockItemL CStatement Source #
Instance details Defined in Cubix.Language.C.Parametric.Common.Semantics