| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Untyped.Transform
Documentation
d__'8593'__8 ∷ (Integer → T__'8866'_14 → T__'8866'_14) → Integer → T__'8866'_14 → T__'8866'_14 Source #
d__'8593''42'__14 ∷ (Integer → T__'8866'_14 → T__'8866'_14) → Integer → [T__'8866'_14] → [T__'8866'_14] Source #
d_subterms_20 ∷ (Integer → T__'8866'_14 → T__'8866'_14) → Integer → T__'8866'_14 → T__'8866'_14 Source #
d_'46'extendedlambda0_38 ∷ (Integer → T__'8866'_14 → T__'8866'_14) → Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 Source #
du_'46'extendedlambda0_38 ∷ (Integer → T__'8866'_14 → T__'8866'_14) → Integer → T__'8866'_14 → T__'8866'_14 Source #
d__'8593''63'__68 ∷ (Integer → T__'8866'_14 → Maybe T__'8866'_14) → Integer → T__'8866'_14 → T__'8866'_14 Source #
d__'8593''63''42'__74 ∷ (Integer → T__'8866'_14 → Maybe T__'8866'_14) → Integer → [T__'8866'_14] → [T__'8866'_14] Source #
d_sub_80 ∷ (Integer → T__'8866'_14 → Maybe T__'8866'_14) → Integer → T__'8866'_14 → T__'8866'_14 Source #
d_'46'extendedlambda1_100 ∷ (Integer → T__'8866'_14 → Maybe T__'8866'_14) → Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 Source #
du_'46'extendedlambda1_100 ∷ (Integer → T__'8866'_14 → Maybe T__'8866'_14) → Integer → T__'8866'_14 → T__'8866'_14 Source #
d_'8593''45'refines_162 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) → T_TermCompatible_30 → (Integer → T__'8866'_14 → T__'8866'_14) → (Integer → T__'8866'_14 → AgdaAny) → Integer → T__'8866'_14 → AgdaAny Source #
du_'8593''45'refines_162 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) → T_TermCompatible_30 → (Integer → T__'8866'_14 → T__'8866'_14) → (Integer → T__'8866'_14 → AgdaAny) → Integer → T__'8866'_14 → AgdaAny Source #
d_'8593''42''45'refines_168 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) → T_TermCompatible_30 → (Integer → T__'8866'_14 → T__'8866'_14) → (Integer → T__'8866'_14 → AgdaAny) → Integer → [T__'8866'_14] → T_Pointwise_20 Source #
du_'8593''42''45'refines_168 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) → T_TermCompatible_30 → (Integer → T__'8866'_14 → T__'8866'_14) → (Integer → T__'8866'_14 → AgdaAny) → Integer → [T__'8866'_14] → T_Pointwise_20 Source #
d_subterms'45'refines_170 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) → T_TermCompatible_30 → (Integer → T__'8866'_14 → T__'8866'_14) → (Integer → T__'8866'_14 → AgdaAny) → Integer → T__'8866'_14 → AgdaAny Source #
du_subterms'45'refines_170 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) → T_TermCompatible_30 → (Integer → T__'8866'_14 → T__'8866'_14) → (Integer → T__'8866'_14 → AgdaAny) → Integer → T__'8866'_14 → AgdaAny Source #
d_'8593''63''45'refines_270 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) → T_TermCompatible_30 → (Integer → T__'8866'_14 → Maybe T__'8866'_14) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8801'__12 → AgdaAny) → Integer → T__'8866'_14 → AgdaAny Source #
du_'8593''63''45'refines_270 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) → T_TermCompatible_30 → (Integer → T__'8866'_14 → Maybe T__'8866'_14) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8801'__12 → AgdaAny) → Integer → T__'8866'_14 → AgdaAny Source #
d_'8593''63''42''45'refines_276 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) → T_TermCompatible_30 → (Integer → T__'8866'_14 → Maybe T__'8866'_14) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8801'__12 → AgdaAny) → Integer → [T__'8866'_14] → T_Pointwise_20 Source #
du_'8593''63''42''45'refines_276 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) → T_TermCompatible_30 → (Integer → T__'8866'_14 → Maybe T__'8866'_14) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8801'__12 → AgdaAny) → Integer → [T__'8866'_14] → T_Pointwise_20 Source #
d_sub'45'refines_278 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) → T_TermCompatible_30 → (Integer → T__'8866'_14 → Maybe T__'8866'_14) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8801'__12 → AgdaAny) → Integer → T__'8866'_14 → AgdaAny Source #
du_sub'45'refines_278 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) → T_TermCompatible_30 → (Integer → T__'8866'_14 → Maybe T__'8866'_14) → (Integer → T__'8866'_14 → T__'8866'_14 → T__'8801'__12 → AgdaAny) → Integer → T__'8866'_14 → AgdaAny Source #