| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Untyped.Relation.Binary.Structures
Documentation
d_Equivalence_10 ∷ p → () Source #
data T_Equivalence_10 Source #
Constructors
| C_constructor_26 (Integer → T__'8866'_14 → AgdaAny) (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) (Integer → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny) |
d_'126''45'trans_22 ∷ T_Equivalence_10 → Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny Source #
d_'126''45'sym_24 ∷ T_Equivalence_10 → Integer → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny Source #
d_TermCompatible_30 ∷ p → () Source #
data T_TermCompatible_30 Source #
Constructors
| C_constructor_150 (Integer → T_Fin_10 → AgdaAny) (Integer → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny) (Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny) (Integer → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny) (Integer → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny) (Integer → Integer → [T__'8866'_14] → [T__'8866'_14] → T_Pointwise_20 → AgdaAny) (Integer → T__'8866'_14 → T__'8866'_14 → [T__'8866'_14] → [T__'8866'_14] → AgdaAny → T_Pointwise_20 → AgdaAny) (T_TmCon_202 → Integer → AgdaAny) (Integer → T_Builtin_2 → AgdaAny) (Integer → AgdaAny) |
d_compat'45'ƛ_104 ∷ T_TermCompatible_30 → Integer → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny Source #
d_compat'45''183'_106 ∷ T_TermCompatible_30 → Integer → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny → AgdaAny Source #
d_compat'45'force_108 ∷ T_TermCompatible_30 → Integer → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny Source #
d_compat'45'delay_110 ∷ T_TermCompatible_30 → Integer → T__'8866'_14 → T__'8866'_14 → AgdaAny → AgdaAny Source #
d_compat'45'constr_120 ∷ T_TermCompatible_30 → Integer → Integer → [T__'8866'_14] → [T__'8866'_14] → T_Pointwise_20 → AgdaAny Source #
d_compat'45'case_132 ∷ T_TermCompatible_30 → Integer → T__'8866'_14 → T__'8866'_14 → [T__'8866'_14] → [T__'8866'_14] → AgdaAny → T_Pointwise_20 → AgdaAny Source #