| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Binary.Bundles.Raw
Documentation
d_RawSetoid_12 ∷ p → p → () Source #
data T_RawSetoid_12 Source #
Constructors
| C_constructor_32 |
d_Carrier_22 ∷ T_RawSetoid_12 → () Source #
d__'8776'__24 ∷ T_RawSetoid_12 → AgdaAny → AgdaAny → () Source #
d__'8777'__26 ∷ T_Level_18 → T_Level_18 → T_RawSetoid_12 → AgdaAny → AgdaAny → () Source #
d_RawRelation_40 ∷ p → p → p → () Source #
data T_RawRelation_40 Source #
Constructors
| C_constructor_76 |
d_Carrier_54 ∷ T_RawRelation_40 → () Source #
d__'8776'__56 ∷ T_RawRelation_40 → AgdaAny → AgdaAny → () Source #
d__'8764'__58 ∷ T_RawRelation_40 → AgdaAny → AgdaAny → () Source #
d__'8777'__64 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_RawRelation_40 → AgdaAny → AgdaAny → () Source #
d__'8769'__66 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_RawRelation_40 → AgdaAny → AgdaAny → () Source #
d__'8764''7506'__72 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_RawRelation_40 → AgdaAny → AgdaAny → () Source #
d__'8769''7506'__74 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_RawRelation_40 → AgdaAny → AgdaAny → () Source #