| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Category.Functor
Documentation
d_RawFunctor_24 ∷ p → p → p → () Source #
newtype T_RawFunctor_24 Source #
Constructors
| C_RawFunctor'46'constructor_241 (() → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny) |
d__'60''36''62'__30 ∷ T_RawFunctor_24 → () → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #
d__'60''36'__32 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawFunctor_24 → () → () → AgdaAny → AgdaAny → AgdaAny Source #
d__'60''38''62'__38 ∷ T_Level_18 → T_Level_18 → (() → ()) → T_RawFunctor_24 → () → () → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #
du__'60''38''62'__38 ∷ T_RawFunctor_24 → AgdaAny → (AgdaAny → AgdaAny) → AgdaAny Source #
d_Morphism_54 ∷ p → p → p → p → p → p → p → () Source #
newtype T_Morphism_54 Source #
Constructors
| C_Morphism'46'constructor_3287 (() → AgdaAny → AgdaAny) |
d_op'45''60''36''62'_78 ∷ T_Morphism_54 → () → () → (AgdaAny → AgdaAny) → AgdaAny → T__'8801'__12 Source #