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

Cubix.Language.Python.Parametric.Common

Synopsis

Documentation

data PyLValueL Source #

Instances

Instances details
KDynCase ParenLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. ParenLValue e b -> Maybe (b :~: PyLValueL) #

KDynCase SliceLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. SliceLValue e b -> Maybe (b :~: PyLValueL) #

KDynCase SubscriptLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. SubscriptLValue e b -> Maybe (b :~: PyLValueL) #

KDynCase StarLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. StarLValue e b -> Maybe (b :~: PyLValueL) #

KDynCase DotLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. DotLValue e b -> Maybe (b :~: PyLValueL) #

KDynCase ListLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. ListLValue e b -> Maybe (b :~: PyLValueL) #

KDynCase TupleLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. TupleLValue e b -> Maybe (b :~: PyLValueL) #

KDynCase IdentIsPyLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. IdentIsPyLValue e b -> Maybe (b :~: PyLValueL) #

(IdentIsPyLValue :-<: fs, All HFunctor fs) => InjF fs IdentL PyLValueL Source # 
Instance details

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

Methods

injF :: forall h (a :: Type -> Type). CxtS h fs a IdentL -> CxtS h fs a PyLValueL Source #

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

projF :: forall h (a :: Type -> Type). CxtS h fs a PyLValueL -> Maybe (CxtS h fs a IdentL) 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 #

data PyLhs e l where Source #

Constructors

PyLhs :: e [PyLValueL] -> PyLhs e LhsL 

Instances

Instances details
ShowHF PyLhs Source # 
Instance details

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

OrdHF PyLhs Source # 
Instance details

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

Methods

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

EqHF PyLhs Source # 
Instance details

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

Methods

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

HTraversable PyLhs Source # 
Instance details

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

Methods

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

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

HFoldable PyLhs Source # 
Instance details

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

Methods

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

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

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

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

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

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

HFunctor PyLhs Source # 
Instance details

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

Methods

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

CfgInitState MPythonSig Source # 
Instance details

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

Pretty MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

KDynCase PyLhs LhsL Source # 
Instance details

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

Methods

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

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

InsertAt' MPythonSig BlockItemL Statement Source # 
Instance details

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

InsertAt' MPythonSig BlockItemL PyWith Source # 
Instance details

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

InsertAt' MPythonSig StatementL ListF Source # 
Instance details

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

InsertAt' MPythonSig StatementL Statement Source # 
Instance details

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

InsertAt' MPythonSig StatementL PyWith Source # 
Instance details

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

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 ContainerFunctors MPythonSig Source # 
Instance details

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

type SuspendedComputationSorts MPythonSig Source # 
Instance details

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

type ComputationSorts MPythonSig Source # 
Instance details

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

type InjectableSorts MPythonSig AssignL Source # 
Instance details

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

data TupleLValue e l where Source #

Constructors

TupleLValue :: e [PyLValueL] -> TupleLValue e PyLValueL 

Instances

Instances details
ShowHF TupleLValue Source # 
Instance details

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

OrdHF TupleLValue Source # 
Instance details

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

Methods

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

EqHF TupleLValue Source # 
Instance details

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

Methods

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

HTraversable TupleLValue Source # 
Instance details

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

Methods

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

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

HFoldable TupleLValue Source # 
Instance details

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

Methods

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

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

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

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

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

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

HFunctor TupleLValue Source # 
Instance details

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

Methods

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

CfgInitState MPythonSig Source # 
Instance details

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

Pretty MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

KDynCase TupleLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. TupleLValue e b -> Maybe (b :~: PyLValueL) #

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

InsertAt' MPythonSig BlockItemL Statement Source # 
Instance details

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

InsertAt' MPythonSig BlockItemL PyWith Source # 
Instance details

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

InsertAt' MPythonSig StatementL ListF Source # 
Instance details

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

InsertAt' MPythonSig StatementL Statement Source # 
Instance details

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

InsertAt' MPythonSig StatementL PyWith Source # 
Instance details

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

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 ContainerFunctors MPythonSig Source # 
Instance details

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

type SuspendedComputationSorts MPythonSig Source # 
Instance details

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

type ComputationSorts MPythonSig Source # 
Instance details

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

type InjectableSorts MPythonSig AssignL Source # 
Instance details

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

data ListLValue e l where Source #

Constructors

ListLValue :: e [PyLValueL] -> ListLValue e PyLValueL 

Instances

Instances details
ShowHF ListLValue Source # 
Instance details

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

OrdHF ListLValue Source # 
Instance details

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

Methods

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

EqHF ListLValue Source # 
Instance details

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

Methods

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

HTraversable ListLValue Source # 
Instance details

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

Methods

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

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

HFoldable ListLValue Source # 
Instance details

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

Methods

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

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

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

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

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

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

HFunctor ListLValue Source # 
Instance details

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

Methods

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

CfgInitState MPythonSig Source # 
Instance details

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

Pretty MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

KDynCase ListLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. ListLValue e b -> Maybe (b :~: PyLValueL) #

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

InsertAt' MPythonSig BlockItemL Statement Source # 
Instance details

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

InsertAt' MPythonSig BlockItemL PyWith Source # 
Instance details

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

InsertAt' MPythonSig StatementL ListF Source # 
Instance details

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

InsertAt' MPythonSig StatementL Statement Source # 
Instance details

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

InsertAt' MPythonSig StatementL PyWith Source # 
Instance details

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

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 ContainerFunctors MPythonSig Source # 
Instance details

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

type SuspendedComputationSorts MPythonSig Source # 
Instance details

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

type ComputationSorts MPythonSig Source # 
Instance details

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

type InjectableSorts MPythonSig AssignL Source # 
Instance details

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

data DotLValue e l where Source #

Constructors

DotLValue :: e ExprL -> e IdentL -> DotLValue e PyLValueL 

Instances

Instances details
ShowHF DotLValue Source # 
Instance details

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

OrdHF DotLValue Source # 
Instance details

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

Methods

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

EqHF DotLValue Source # 
Instance details

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

Methods

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

HTraversable DotLValue Source # 
Instance details

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

Methods

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

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

HFoldable DotLValue Source # 
Instance details

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

Methods

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

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

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

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

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

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

HFunctor DotLValue Source # 
Instance details

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

Methods

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

CfgInitState MPythonSig Source # 
Instance details

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

Pretty MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

KDynCase DotLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. DotLValue e b -> Maybe (b :~: PyLValueL) #

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

InsertAt' MPythonSig BlockItemL Statement Source # 
Instance details

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

InsertAt' MPythonSig BlockItemL PyWith Source # 
Instance details

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

InsertAt' MPythonSig StatementL ListF Source # 
Instance details

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

InsertAt' MPythonSig StatementL Statement Source # 
Instance details

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

InsertAt' MPythonSig StatementL PyWith Source # 
Instance details

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

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 ContainerFunctors MPythonSig Source # 
Instance details

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

type SuspendedComputationSorts MPythonSig Source # 
Instance details

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

type ComputationSorts MPythonSig Source # 
Instance details

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

type InjectableSorts MPythonSig AssignL Source # 
Instance details

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

data StarLValue e l where Source #

Constructors

StarLValue :: e PyLValueL -> StarLValue e PyLValueL 

Instances

Instances details
ShowHF StarLValue Source # 
Instance details

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

OrdHF StarLValue Source # 
Instance details

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

Methods

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

EqHF StarLValue Source # 
Instance details

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

Methods

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

HTraversable StarLValue Source # 
Instance details

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

Methods

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

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

HFoldable StarLValue Source # 
Instance details

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

Methods

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

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

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

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

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

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

HFunctor StarLValue Source # 
Instance details

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

Methods

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

CfgInitState MPythonSig Source # 
Instance details

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

Pretty MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

KDynCase StarLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. StarLValue e b -> Maybe (b :~: PyLValueL) #

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

InsertAt' MPythonSig BlockItemL Statement Source # 
Instance details

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

InsertAt' MPythonSig BlockItemL PyWith Source # 
Instance details

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

InsertAt' MPythonSig StatementL ListF Source # 
Instance details

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

InsertAt' MPythonSig StatementL Statement Source # 
Instance details

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

InsertAt' MPythonSig StatementL PyWith Source # 
Instance details

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

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 ContainerFunctors MPythonSig Source # 
Instance details

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

type SuspendedComputationSorts MPythonSig Source # 
Instance details

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

type ComputationSorts MPythonSig Source # 
Instance details

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

type InjectableSorts MPythonSig AssignL Source # 
Instance details

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

data SubscriptLValue e l where Source #

Constructors

SubscriptLValue :: e ExprL -> e ExprL -> SubscriptLValue e PyLValueL 

Instances

Instances details
ShowHF SubscriptLValue Source # 
Instance details

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

OrdHF SubscriptLValue Source # 
Instance details

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

Methods

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

EqHF SubscriptLValue Source # 
Instance details

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

Methods

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

HTraversable SubscriptLValue Source # 
Instance details

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

Methods

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

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

HFoldable SubscriptLValue Source # 
Instance details

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

Methods

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

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

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

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

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

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

HFunctor SubscriptLValue Source # 
Instance details

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

Methods

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

CfgInitState MPythonSig Source # 
Instance details

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

Pretty MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

KDynCase SubscriptLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. SubscriptLValue e b -> Maybe (b :~: PyLValueL) #

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

InsertAt' MPythonSig BlockItemL Statement Source # 
Instance details

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

InsertAt' MPythonSig BlockItemL PyWith Source # 
Instance details

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

InsertAt' MPythonSig StatementL ListF Source # 
Instance details

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

InsertAt' MPythonSig StatementL Statement Source # 
Instance details

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

InsertAt' MPythonSig StatementL PyWith Source # 
Instance details

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

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 ContainerFunctors MPythonSig Source # 
Instance details

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

type SuspendedComputationSorts MPythonSig Source # 
Instance details

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

type ComputationSorts MPythonSig Source # 
Instance details

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

type InjectableSorts MPythonSig AssignL Source # 
Instance details

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

data SliceLValue e l where Source #

Constructors

SliceLValue :: e ExprL -> e [SliceL] -> SliceLValue e PyLValueL 

Instances

Instances details
ShowHF SliceLValue Source # 
Instance details

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

OrdHF SliceLValue Source # 
Instance details

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

Methods

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

EqHF SliceLValue Source # 
Instance details

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

Methods

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

HTraversable SliceLValue Source # 
Instance details

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

Methods

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

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

HFoldable SliceLValue Source # 
Instance details

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

Methods

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

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

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

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

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

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

HFunctor SliceLValue Source # 
Instance details

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

Methods

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

CfgInitState MPythonSig Source # 
Instance details

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

Pretty MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

KDynCase SliceLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. SliceLValue e b -> Maybe (b :~: PyLValueL) #

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

InsertAt' MPythonSig BlockItemL Statement Source # 
Instance details

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

InsertAt' MPythonSig BlockItemL PyWith Source # 
Instance details

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

InsertAt' MPythonSig StatementL ListF Source # 
Instance details

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

InsertAt' MPythonSig StatementL Statement Source # 
Instance details

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

InsertAt' MPythonSig StatementL PyWith Source # 
Instance details

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

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 ContainerFunctors MPythonSig Source # 
Instance details

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

type SuspendedComputationSorts MPythonSig Source # 
Instance details

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

type ComputationSorts MPythonSig Source # 
Instance details

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

type InjectableSorts MPythonSig AssignL Source # 
Instance details

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

data ParenLValue e l where Source #

Constructors

ParenLValue :: e PyLValueL -> ParenLValue e PyLValueL 

Instances

Instances details
ShowHF ParenLValue Source # 
Instance details

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

OrdHF ParenLValue Source # 
Instance details

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

Methods

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

EqHF ParenLValue Source # 
Instance details

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

Methods

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

HTraversable ParenLValue Source # 
Instance details

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

Methods

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

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

HFoldable ParenLValue Source # 
Instance details

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

Methods

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

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

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

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

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

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

HFunctor ParenLValue Source # 
Instance details

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

Methods

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

CfgInitState MPythonSig Source # 
Instance details

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

Pretty MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

ParseFile MPythonSig Source # 
Instance details

Defined in Cubix.ParsePretty

KDynCase ParenLValue PyLValueL Source # 
Instance details

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

Methods

kdyncase :: forall (e :: Type -> Type) b. ParenLValue e b -> Maybe (b :~: PyLValueL) #

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

InsertAt' MPythonSig BlockItemL Statement Source # 
Instance details

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

InsertAt' MPythonSig BlockItemL PyWith Source # 
Instance details

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

InsertAt' MPythonSig StatementL ListF Source # 
Instance details

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

InsertAt' MPythonSig StatementL Statement Source # 
Instance details

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

InsertAt' MPythonSig StatementL PyWith Source # 
Instance details

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

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 ContainerFunctors MPythonSig Source # 
Instance details

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

type SuspendedComputationSorts MPythonSig Source # 
Instance details

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

type ComputationSorts MPythonSig Source # 
Instance details

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

type InjectableSorts MPythonSig AssignL Source # 
Instance details

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

iParenLValue :: forall h fs a j. ((:-<:) ParenLValue fs, InjF fs PyLValueL j) => CxtS h fs a PyLValueL -> CxtS h fs a j Source #

iSliceLValue :: forall h fs a j. ((:-<:) SliceLValue fs, InjF fs PyLValueL j) => CxtS h fs a ExprL -> CxtS h fs a [SliceL] -> CxtS h fs a j Source #

iSubscriptLValue :: forall h fs a j. ((:-<:) SubscriptLValue fs, InjF fs PyLValueL j) => CxtS h fs a ExprL -> CxtS h fs a ExprL -> CxtS h fs a j Source #

iStarLValue :: forall h fs a j. ((:-<:) StarLValue fs, InjF fs PyLValueL j) => CxtS h fs a PyLValueL -> CxtS h fs a j Source #

iDotLValue :: forall h fs a j. ((:-<:) DotLValue fs, InjF fs PyLValueL j) => CxtS h fs a ExprL -> CxtS h fs a IdentL -> CxtS h fs a j Source #

iListLValue :: forall h fs a j. ((:-<:) ListLValue fs, InjF fs PyLValueL j) => CxtS h fs a [PyLValueL] -> CxtS h fs a j Source #

iTupleLValue :: forall h fs a j. ((:-<:) TupleLValue fs, InjF fs PyLValueL j) => CxtS h fs a [PyLValueL] -> CxtS h fs a j Source #

iPyLhs :: forall h fs a j. ((:-<:) PyLhs fs, InjF fs LhsL j) => CxtS h fs a [PyLValueL] -> CxtS h fs a j Source #

data PyWith e l where Source #

Constructors

PyWith :: e [PyWithBinderL] -> e [StatementL] -> PyWith e StatementL 

Instances

Instances details
ShowHF PyWith Source # 
Instance details

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

OrdHF PyWith Source # 
Instance details

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

Methods

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

EqHF PyWith Source # 
Instance details

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

Methods

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

HTraversable PyWith Source # 
Instance details

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

Methods

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

htraverse :: forall (f :: Type ->