| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Untyped.Relation.Binary.Core
Documentation
d_Relation_8 ∷ () Source #
d_Relation'42'_12 ∷ () Source #
d_Pointwise_20 ∷ p → p → p → p → () Source #
data T_Pointwise_20 Source #
Constructors
| C_'91''93'_26 | |
| C__'8759'__36 AgdaAny T_Pointwise_20 |
d_DecidableRel_38 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → () Source #
d_pointwise'63'_56 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → ()) → (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → [T__'8866'_14] → [T__'8866'_14] → T_Dec_20 Source #
du_pointwise'63'_56 ∷ (Integer → T__'8866'_14 → T__'8866'_14 → T_Dec_20) → Integer → [T__'8866'_14] → [T__'8866'_14] → T_Dec_20 Source #