| Safe Haskell | None |
|---|
MAlonzo.Code.Category.Functor
Documentation
d_RawFunctor_24 :: p1 -> p2 -> p3 -> () Source #
newtype T_RawFunctor_24 Source #
Constructors
| C_RawFunctor'46'constructor_181 (() -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny) |
d__'60''36''62'__30 :: T_RawFunctor_24 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #
d__'60''36'__32 :: T_Level_14 -> T_Level_14 -> (() -> ()) -> T_RawFunctor_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny Source #
du__'60''36'__32 :: T_RawFunctor_24 -> AgdaAny -> AgdaAny -> AgdaAny Source #
d__'60''38''62'__38 :: T_Level_14 -> T_Level_14 -> (() -> ()) -> T_RawFunctor_24 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny Source #
du__'60''38''62'__38 :: T_RawFunctor_24 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny Source #
d_Morphism_54 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> () Source #
newtype T_Morphism_54 Source #
Constructors
| C_Morphism'46'constructor_2357 (() -> AgdaAny -> AgdaAny) |
d_op'45''60''36''62'_78 :: T_Morphism_54 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> T__'8801'__12 Source #