Home
last modified time | relevance | path

Searched refs:AbstractRHS (Results 1 – 2 of 2) sorted by relevance

/dports/devel/py-numba/numba-0.51.2/numba/core/
H A Dir.py296 class AbstractRHS(object): class
302 class Inst(EqualityCheckMixin, AbstractRHS):
838 assert isinstance(value, AbstractRHS)
909 class Arg(EqualityCheckMixin, AbstractRHS):
925 class Const(EqualityCheckMixin, AbstractRHS):
947 class Global(EqualityCheckMixin, AbstractRHS):
966 class FreeVar(EqualityCheckMixin, AbstractRHS):
997 class Var(EqualityCheckMixin, AbstractRHS):
1513 assert isinstance(rhs_value, AbstractRHS)
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Translation/
H A DConcreteToAbstract.hs13 , AbstractRHS
2581 data AbstractRHS type
2586 | RewriteRHS' [RewriteEqn' () A.BindName A.Pattern A.Expr] AbstractRHS A.WhereDeclarations
2634 instance ToAbstract AbstractRHS where
2635 type AbsOfCon AbstractRHS = A.RHS
2648 type AbsOfCon RightHandSide = AbstractRHS
2675 type AbsOfCon C.RHS = AbstractRHS