cubix-0.1.0.0: A framework for multi-language transformation
Safe HaskellNone
LanguageHaskell2010

Cubix.Language.JavaScript.Parametric.Common

Synopsis

Documentation

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

Constructors

i ~ JSExpressionL => IdentIsJSExpression (e IdentL) 

Instances

Instances details
ShowHF IdentIsJSExpression Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

OrdHF IdentIsJSExpression Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

compareHF :: forall (a :: Type -> Type) i j. KOrd a => IdentIsJSExpression a i -> IdentIsJSExpression a j -> Ordering #

EqHF IdentIsJSExpression Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

eqHF :: forall (g :: Type -> Type) i j. KEq g => IdentIsJSExpression g i -> IdentIsJSExpression g j -> Bool #

HTraversable IdentIsJSExpression Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (IdentIsJSExpression a) (IdentIsJSExpression b) #

htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (IdentIsJSExpression a) (IdentIsJSExpression b) #

HFoldable IdentIsJSExpression Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfold :: Monoid m => IdentIsJSExpression (K m) :=> m #

hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> IdentIsJSExpression a :=> m #

hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> IdentIsJSExpression a :=> b #

hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> IdentIsJSExpression a :=> b #

hfoldr1 :: (a -> a -> a) -> IdentIsJSExpression (K a) :=> a #

hfoldl1 :: (a -> a -> a) -> IdentIsJSExpression (K a) :=> a #

HFunctor IdentIsJSExpression Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> IdentIsJSExpression f :-> IdentIsJSExpression g #

CfgInitState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

Pretty MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

Methods

parseFile :: FilePath -> IO (Maybe (Term MJSSig (RootSort MJSSig))) Source #

KDynCase IdentIsJSExpression JSExpressionL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

kdyncase :: forall (e :: Type -> Type) b. IdentIsJSExpression e b -> Maybe (b :~: JSExpressionL) #

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 #

InsertAt' MJSSig BlockItemL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig BlockItemL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InjF MJSSig (Maybe IdentL) JSIdentL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

injF :: forall h (a :: Type -> Type). CxtS h MJSSig a (Maybe IdentL) -> CxtS h MJSSig a JSIdentL Source #

projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a JSIdentL -> Maybe (Cxt h (Sum MJSSig :&: p) a (Maybe IdentL)) Source #

projF :: forall h (a :: Type -> Type). CxtS h MJSSig a JSIdentL -> Maybe (CxtS h MJSSig a (Maybe IdentL)) Source #

type CfgState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ContainerFunctors MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type SuspendedComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type InjectableSorts MJSSig MultiLocalVarDeclL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

type InjectableSorts MJSSig AssignL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

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

Instances

Instances details
ShowHF JSExpressionIsLocalVarInit Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

OrdHF JSExpressionIsLocalVarInit Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

compareHF :: forall (a :: Type -> Type) i j. KOrd a => JSExpressionIsLocalVarInit a i -> JSExpressionIsLocalVarInit a j -> Ordering #

EqHF JSExpressionIsLocalVarInit Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

eqHF :: forall (g :: Type -> Type) i j. KEq g => JSExpressionIsLocalVarInit g i -> JSExpressionIsLocalVarInit g j -> Bool #

HTraversable JSExpressionIsLocalVarInit Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (JSExpressionIsLocalVarInit a) (JSExpressionIsLocalVarInit b) #

htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (JSExpressionIsLocalVarInit a) (JSExpressionIsLocalVarInit b) #

HFoldable JSExpressionIsLocalVarInit Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfold :: Monoid m => JSExpressionIsLocalVarInit (K m) :=> m #

hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> JSExpressionIsLocalVarInit a :=> m #

hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> JSExpressionIsLocalVarInit a :=> b #

hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> JSExpressionIsLocalVarInit a :=> b #

hfoldr1 :: (a -> a -> a) -> JSExpressionIsLocalVarInit (K a) :=> a #

hfoldl1 :: (a -> a -> a) -> JSExpressionIsLocalVarInit (K a) :=> a #

HFunctor JSExpressionIsLocalVarInit Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> JSExpressionIsLocalVarInit f :-> JSExpressionIsLocalVarInit g #

CfgInitState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

Pretty MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

Methods

parseFile :: FilePath -> IO (Maybe (Term MJSSig (RootSort MJSSig))) Source #

KDynCase JSExpressionIsLocalVarInit LocalVarInitL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

kdyncase :: forall (e :: Type -> Type) b. JSExpressionIsLocalVarInit e b -> Maybe (b :~: LocalVarInitL) #

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 #

InsertAt' MJSSig BlockItemL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig BlockItemL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InjF MJSSig (Maybe IdentL) JSIdentL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

injF :: forall h (a :: Type -> Type). CxtS h MJSSig a (Maybe IdentL) -> CxtS h MJSSig a JSIdentL Source #

projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a JSIdentL -> Maybe (Cxt h (Sum MJSSig :&: p) a (Maybe IdentL)) Source #

projF :: forall h (a :: Type -> Type). CxtS h MJSSig a JSIdentL -> Maybe (CxtS h MJSSig a (Maybe IdentL)) Source #

type CfgState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ContainerFunctors MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type SuspendedComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type InjectableSorts MJSSig MultiLocalVarDeclL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

type InjectableSorts MJSSig AssignL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

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

Instances

Instances details
ShowHF JSExpressionIsVarDeclBinder Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

OrdHF JSExpressionIsVarDeclBinder Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

compareHF :: forall (a :: Type -> Type) i j. KOrd a => JSExpressionIsVarDeclBinder a i -> JSExpressionIsVarDeclBinder a j -> Ordering #

EqHF JSExpressionIsVarDeclBinder Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

eqHF :: forall (g :: Type -> Type) i j. KEq g => JSExpressionIsVarDeclBinder g i -> JSExpressionIsVarDeclBinder g j -> Bool #

HTraversable JSExpressionIsVarDeclBinder Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (JSExpressionIsVarDeclBinder a) (JSExpressionIsVarDeclBinder b) #

htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (JSExpressionIsVarDeclBinder a) (JSExpressionIsVarDeclBinder b) #

HFoldable JSExpressionIsVarDeclBinder Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfold :: Monoid m => JSExpressionIsVarDeclBinder (K m) :=> m #

hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> JSExpressionIsVarDeclBinder a :=> m #

hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> JSExpressionIsVarDeclBinder a :=> b #

hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> JSExpressionIsVarDeclBinder a :=> b #

hfoldr1 :: (a -> a -> a) -> JSExpressionIsVarDeclBinder (K a) :=> a #

hfoldl1 :: (a -> a -> a) -> JSExpressionIsVarDeclBinder (K a) :=> a #

HFunctor JSExpressionIsVarDeclBinder Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> JSExpressionIsVarDeclBinder f :-> JSExpressionIsVarDeclBinder g #

CfgInitState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

Pretty MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

Methods

parseFile :: FilePath -> IO (Maybe (Term MJSSig (RootSort MJSSig))) Source #

KDynCase JSExpressionIsVarDeclBinder VarDeclBinderL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

kdyncase :: forall (e :: Type -> Type) b. JSExpressionIsVarDeclBinder e b -> Maybe (b :~: VarDeclBinderL) #

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 #

InsertAt' MJSSig BlockItemL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig BlockItemL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InjF MJSSig (Maybe IdentL) JSIdentL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

injF :: forall h (a :: Type -> Type). CxtS h MJSSig a (Maybe IdentL) -> CxtS h MJSSig a JSIdentL Source #

projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a JSIdentL -> Maybe (Cxt h (Sum MJSSig :&: p) a (Maybe IdentL)) Source #

projF :: forall h (a :: Type -> Type). CxtS h MJSSig a JSIdentL -> Maybe (CxtS h MJSSig a (Maybe IdentL)) Source #

type CfgState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ContainerFunctors MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type SuspendedComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type InjectableSorts MJSSig MultiLocalVarDeclL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

type InjectableSorts MJSSig AssignL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

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

Instances

Instances details
ShowHF MultiLocalVarDeclIsJSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

OrdHF MultiLocalVarDeclIsJSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

EqHF MultiLocalVarDeclIsJSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

eqHF :: forall (g :: Type -> Type) i j. KEq g => MultiLocalVarDeclIsJSStatement g i -> MultiLocalVarDeclIsJSStatement g j -> Bool #

HTraversable MultiLocalVarDeclIsJSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (MultiLocalVarDeclIsJSStatement a) (MultiLocalVarDeclIsJSStatement b) #

htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (MultiLocalVarDeclIsJSStatement a) (MultiLocalVarDeclIsJSStatement b) #

HFoldable MultiLocalVarDeclIsJSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfold :: Monoid m => MultiLocalVarDeclIsJSStatement (K m) :=> m #

hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> MultiLocalVarDeclIsJSStatement a :=> m #

hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> MultiLocalVarDeclIsJSStatement a :=> b #

hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> MultiLocalVarDeclIsJSStatement a :=> b #

hfoldr1 :: (a -> a -> a) -> MultiLocalVarDeclIsJSStatement (K a) :=> a #

hfoldl1 :: (a -> a -> a) -> MultiLocalVarDeclIsJSStatement (K a) :=> a #

HFunctor MultiLocalVarDeclIsJSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> MultiLocalVarDeclIsJSStatement f :-> MultiLocalVarDeclIsJSStatement g #

CfgInitState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

Pretty MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

Methods

parseFile :: FilePath -> IO (Maybe (Term MJSSig (RootSort MJSSig))) Source #

KDynCase MultiLocalVarDeclIsJSStatement JSStatementL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

kdyncase :: forall (e :: Type -> Type) b. MultiLocalVarDeclIsJSStatement e b -> Maybe (b :~: JSStatementL) #

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 #

InsertAt' MJSSig BlockItemL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig BlockItemL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InjF MJSSig (Maybe IdentL) JSIdentL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

injF :: forall h (a :: Type -> Type). CxtS h MJSSig a (Maybe IdentL) -> CxtS h MJSSig a JSIdentL Source #

projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a JSIdentL -> Maybe (Cxt h (Sum MJSSig :&: p) a (Maybe IdentL)) Source #

projF :: forall h (a :: Type -> Type). CxtS h MJSSig a JSIdentL -> Maybe (CxtS h MJSSig a (Maybe IdentL)) Source #

type CfgState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ContainerFunctors MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type SuspendedComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type InjectableSorts MJSSig MultiLocalVarDeclL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

type InjectableSorts MJSSig AssignL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

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

Constructors

i ~ RhsL => JSExpressionIsRhs (e JSExpressionL) 

Instances

Instances details
ShowHF JSExpressionIsRhs Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

OrdHF JSExpressionIsRhs Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

compareHF :: forall (a :: Type -> Type) i j. KOrd a => JSExpressionIsRhs a i -> JSExpressionIsRhs a j -> Ordering #

EqHF JSExpressionIsRhs Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

eqHF :: forall (g :: Type -> Type) i j. KEq g => JSExpressionIsRhs g i -> JSExpressionIsRhs g j -> Bool #

HTraversable JSExpressionIsRhs Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (JSExpressionIsRhs a) (JSExpressionIsRhs b) #

htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (JSExpressionIsRhs a) (JSExpressionIsRhs b) #

HFoldable JSExpressionIsRhs Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfold :: Monoid m => JSExpressionIsRhs (K m) :=> m #

hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> JSExpressionIsRhs a :=> m #

hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> JSExpressionIsRhs a :=> b #

hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> JSExpressionIsRhs a :=> b #

hfoldr1 :: (a -> a -> a) -> JSExpressionIsRhs (K a) :=> a #

hfoldl1 :: (a -> a -> a) -> JSExpressionIsRhs (K a) :=> a #

HFunctor JSExpressionIsRhs Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> JSExpressionIsRhs f :-> JSExpressionIsRhs g #

CfgInitState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

Pretty MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

Methods

parseFile :: FilePath -> IO (Maybe (Term MJSSig (RootSort MJSSig))) Source #

KDynCase JSExpressionIsRhs RhsL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

kdyncase :: forall (e :: Type -> Type) b. JSExpressionIsRhs e b -> Maybe (b :~: RhsL) #

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 #

InsertAt' MJSSig BlockItemL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig BlockItemL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InjF MJSSig (Maybe IdentL) JSIdentL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

injF :: forall h (a :: Type -> Type). CxtS h MJSSig a (Maybe IdentL) -> CxtS h MJSSig a JSIdentL Source #

projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a JSIdentL -> Maybe (Cxt h (Sum MJSSig :&: p) a (Maybe IdentL)) Source #

projF :: forall h (a :: Type -> Type). CxtS h MJSSig a JSIdentL -> Maybe (CxtS h MJSSig a (Maybe IdentL)) Source #

type CfgState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ContainerFunctors MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type SuspendedComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type InjectableSorts MJSSig MultiLocalVarDeclL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

type InjectableSorts MJSSig AssignL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

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

Constructors

i ~ LhsL => JSExpressionIsLhs (e JSExpressionL) 

Instances

Instances details
ShowHF JSExpressionIsLhs Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

OrdHF JSExpressionIsLhs Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

compareHF :: forall (a :: Type -> Type) i j. KOrd a => JSExpressionIsLhs a i -> JSExpressionIsLhs a j -> Ordering #

EqHF JSExpressionIsLhs Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

eqHF :: forall (g :: Type -> Type) i j. KEq g => JSExpressionIsLhs g i -> JSExpressionIsLhs g j -> Bool #

HTraversable JSExpressionIsLhs Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (JSExpressionIsLhs a) (JSExpressionIsLhs b) #

htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (JSExpressionIsLhs a) (JSExpressionIsLhs b) #

HFoldable JSExpressionIsLhs Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfold :: Monoid m => JSExpressionIsLhs (K m) :=> m #

hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> JSExpressionIsLhs a :=> m #

hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> JSExpressionIsLhs a :=> b #

hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> JSExpressionIsLhs a :=> b #

hfoldr1 :: (a -> a -> a) -> JSExpressionIsLhs (K a) :=> a #

hfoldl1 :: (a -> a -> a) -> JSExpressionIsLhs (K a) :=> a #

HFunctor JSExpressionIsLhs Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> JSExpressionIsLhs f :-> JSExpressionIsLhs g #

CfgInitState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

Pretty MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

Methods

parseFile :: FilePath -> IO (Maybe (Term MJSSig (RootSort MJSSig))) Source #

KDynCase JSExpressionIsLhs LhsL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

kdyncase :: forall (e :: Type -> Type) b. JSExpressionIsLhs e b -> Maybe (b :~: LhsL) #

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 #

InsertAt' MJSSig BlockItemL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig BlockItemL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InjF MJSSig (Maybe IdentL) JSIdentL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

injF :: forall h (a :: Type -> Type). CxtS h MJSSig a (Maybe IdentL) -> CxtS h MJSSig a JSIdentL Source #

projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a JSIdentL -> Maybe (Cxt h (Sum MJSSig :&: p) a (Maybe IdentL)) Source #

projF :: forall h (a :: Type -> Type). CxtS h MJSSig a JSIdentL -> Maybe (CxtS h MJSSig a (Maybe IdentL)) Source #

type CfgState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ContainerFunctors MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type SuspendedComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type InjectableSorts MJSSig MultiLocalVarDeclL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

type InjectableSorts MJSSig AssignL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

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

Constructors

i ~ AssignOpL => JSAssignOpIsAssignOp (e JSAssignOpL) 

Instances

Instances details
ShowHF JSAssignOpIsAssignOp Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

OrdHF JSAssignOpIsAssignOp Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

compareHF :: forall (a :: Type -> Type) i j. KOrd a => JSAssignOpIsAssignOp a i -> JSAssignOpIsAssignOp a j -> Ordering #

EqHF JSAssignOpIsAssignOp Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

eqHF :: forall (g :: Type -> Type) i j. KEq g => JSAssignOpIsAssignOp g i -> JSAssignOpIsAssignOp g j -> Bool #

HTraversable JSAssignOpIsAssignOp Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (JSAssignOpIsAssignOp a) (JSAssignOpIsAssignOp b) #

htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (JSAssignOpIsAssignOp a) (JSAssignOpIsAssignOp b) #

HFoldable JSAssignOpIsAssignOp Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfold :: Monoid m => JSAssignOpIsAssignOp (K m) :=> m #

hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> JSAssignOpIsAssignOp a :=> m #

hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> JSAssignOpIsAssignOp a :=> b #

hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> JSAssignOpIsAssignOp a :=> b #

hfoldr1 :: (a -> a -> a) -> JSAssignOpIsAssignOp (K a) :=> a #

hfoldl1 :: (a -> a -> a) -> JSAssignOpIsAssignOp (K a) :=> a #

HFunctor JSAssignOpIsAssignOp Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> JSAssignOpIsAssignOp f :-> JSAssignOpIsAssignOp g #

CfgInitState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

Pretty MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

Methods

parseFile :: FilePath -> IO (Maybe (Term MJSSig (RootSort MJSSig))) Source #

KDynCase JSAssignOpIsAssignOp AssignOpL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

kdyncase :: forall (e :: Type -> Type) b. JSAssignOpIsAssignOp e b -> Maybe (b :~: AssignOpL) #

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 #

InsertAt' MJSSig BlockItemL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig BlockItemL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL ListF Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InsertAt' MJSSig JSStatementL JSStatement Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Semantics

InjF MJSSig (Maybe IdentL) JSIdentL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

injF :: forall h (a :: Type -> Type). CxtS h MJSSig a (Maybe IdentL) -> CxtS h MJSSig a JSIdentL Source #

projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MJSSig :&: p) a JSIdentL -> Maybe (Cxt h (Sum MJSSig :&: p) a (Maybe IdentL)) Source #

projF :: forall h (a :: Type -> Type). CxtS h MJSSig a JSIdentL -> Maybe (CxtS h MJSSig a (Maybe IdentL)) Source #

type CfgState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ContainerFunctors MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type SuspendedComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type ComputationSorts MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

type InjectableSorts MJSSig MultiLocalVarDeclL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

type InjectableSorts MJSSig AssignL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

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

Constructors

i ~ JSExpressionL => AssignIsJSExpression (e AssignL) 

Instances

Instances details
ShowHF AssignIsJSExpression Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

OrdHF AssignIsJSExpression Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

compareHF :: forall (a :: Type -> Type) i j. KOrd a => AssignIsJSExpression a i -> AssignIsJSExpression a j -> Ordering #

EqHF AssignIsJSExpression Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

eqHF :: forall (g :: Type -> Type) i j. KEq g => AssignIsJSExpression g i -> AssignIsJSExpression g j -> Bool #

HTraversable AssignIsJSExpression Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hmapM :: forall (m :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a b -> NatM m (AssignIsJSExpression a) (AssignIsJSExpression b) #

htraverse :: forall (f :: Type -> Type) (a :: Type -> Type) (b :: Type -> Type). Applicative f => NatM f a b -> NatM f (AssignIsJSExpression a) (AssignIsJSExpression b) #

HFoldable AssignIsJSExpression Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfold :: Monoid m => AssignIsJSExpression (K m) :=> m #

hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> AssignIsJSExpression a :=> m #

hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> AssignIsJSExpression a :=> b #

hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> AssignIsJSExpression a :=> b #

hfoldr1 :: (a -> a -> a) -> AssignIsJSExpression (K a) :=> a #

hfoldl1 :: (a -> a -> a) -> AssignIsJSExpression (K a) :=> a #

HFunctor AssignIsJSExpression Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> AssignIsJSExpression f :-> AssignIsJSExpression g #

CfgInitState MJSSig Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Cfg

Pretty MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MJSSig Source # 
Instance details

Defined in Cubix.ParsePretty

Methods

parseFile :: FilePath -> IO (Maybe (Term MJSSig (RootSort MJSSig))) Source #

KDynCase AssignIsJSExpression JSExpressionL Source # 
Instance details

Defined in Cubix.Language.JavaScript.Parametric.Common.Types

Methods

kdyncase :: forall (e :: Type -> Type) b. AssignIsJSExpression e b -> Maybe (b :~: JSExpressionL) #

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