Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
MAlonzo.Code.VerifiedCompilation.UntypedViews
Documentation
d_ListPred_8 ∷ () Source #
d_isVar_14 ∷ p → p → () Source #
data T_isVar_14 Source #
Constructors
C_isvar_20 |
d_isVar'63'_24 ∷ () → T__'8866'_14 → T_Dec_20 Source #
d_isLambda_54 ∷ p → p → p → () Source #
newtype T_isLambda_54 Source #
Constructors
C_islambda_62 AgdaAny |
d_isLambda'63'_70 ∷ () → (() → T__'8866'_14 → ()) → (() → T__'8866'_14 → T_Dec_20) → T__'8866'_14 → T_Dec_20 Source #
du_isLambda'63'_70 ∷ (() → T__'8866'_14 → T_Dec_20) → T__'8866'_14 → T_Dec_20 Source #
d_isApp_142 ∷ p → p → p → p → () Source #
data T_isApp_142 Source #
Constructors
C_isapp_154 AgdaAny AgdaAny |
d_isApp'63'_166 ∷ () → (() → T__'8866'_14 → ()) → (() → T__'8866'_14 → ()) → (() → T__'8866'_14 → T_Dec_20) → (() → T__'8866'_14 → T_Dec_20) → T__'8866'_14 → T_Dec_20 Source #
du_isApp'63'_166 ∷ () → (() → T__'8866'_14 → T_Dec_20) → (() → T__'8866'_14 → T_Dec_20) → T__'8866'_14 → T_Dec_20 Source #
d_isForce_268 ∷ p → p → p → () Source #
newtype T_isForce_268 Source #
Constructors
C_isforce_276 AgdaAny |
d_isForce'63'_284 ∷ () → (() → T__'8866'_14 → ()) → (() → T__'8866'_14 → T_Dec_20) → T__'8866'_14 → T_Dec_20 Source #
du_isForce'63'_284 ∷ () → (() → T__'8866'_14 → T_Dec_20) → T__'8866'_14 → T_Dec_20 Source #
d_isDelay_354 ∷ p → p → p → () Source #
newtype T_isDelay_354 Source #
Constructors
C_isdelay_362 AgdaAny |
d_isDelay'63'_370 ∷ () → (() → T__'8866'_14 → ()) → (() → T__'8866'_14 → T_Dec_20) → T__'8866'_14 → T_Dec_20 Source #
du_isDelay'63'_370 ∷ () → (() → T__'8866'_14 → T_Dec_20) → T__'8866'_14 → T_Dec_20 Source #
d_isCon_438 ∷ p → p → () Source #
data T_isCon_438 Source #
Constructors
C_iscon_444 |
d_isCon'63'_448 ∷ () → T__'8866'_14 → T_Dec_20 Source #
d_isConstr_478 ∷ p → p → p → () Source #
newtype T_isConstr_478 Source #
Constructors
C_isconstr_488 AgdaAny |
d_isConstr'63'_496 ∷ () → (() → [T__'8866'_14] → ()) → (() → [T__'8866'_14] → T_Dec_20) → T__'8866'_14 → T_Dec_20 Source #
du_isConstr'63'_496 ∷ () → (() → [T__'8866'_14] → T_Dec_20) → T__'8866'_14 → T_Dec_20 Source #
d_isCase_574 ∷ p → p → p → p → () Source #
data T_isCase_574 Source #
Constructors
C_iscase_586 AgdaAny AgdaAny |
d_isCase'63'_598 ∷ () → (() → T__'8866'_14 → ()) → (() → [T__'8866'_14] → ()) → (() → T__'8866'_14 → T_Dec_20) → (() → [T__'8866'_14] → T_Dec_20) → T__'8866'_14 → T_Dec_20 Source #
du_isCase'63'_598 ∷ () → (() → T__'8866'_14 → T_Dec_20) → (() → [T__'8866'_14] → T_Dec_20) → T__'8866'_14 → T_Dec_20 Source #
d_isBuiltin_698 ∷ p → p → () Source #
data T_isBuiltin_698 Source #
Constructors
C_isbuiltin_704 |
d_isBuiltin'63'_708 ∷ () → T__'8866'_14 → T_Dec_20 Source #
d_isError_736 ∷ p → p → () Source #
data T_isError_736 Source #
Constructors
C_iserror_740 |
d_isError'63'_744 ∷ () → T__'8866'_14 → T_Dec_20 Source #
d_isTerm_772 ∷ p → p → () Source #
data T_isTerm_772 Source #
Constructors
C_isterm_778 |
d_isTerm'63'_782 ∷ () → T__'8866'_14 → T_Dec_20 Source #
d_allTerms_788 ∷ p → p → () Source #
data T_allTerms_788 Source #
Constructors
C_allterms_794 |
d_allTerms'63'_798 ∷ () → [T__'8866'_14] → T_Dec_20 Source #
d_TestPat_804 ∷ p → p → () Source #
data T_TestPat_804 Source #
Constructors
C_tp_814 |
d_isTestPat'63'_818 ∷ () → T__'8866'_14 → T_Dec_20 Source #