| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Effect.Functor
Documentation
d_RawFunctor_24 :: p -> p -> p -> () #
newtype T_RawFunctor_24 #
Constructors
| C_RawFunctor'46'constructor_241 (() -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny) |
d__'60''36''62'__30 :: T_RawFunctor_24 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
d__'60''36'__32 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawFunctor_24 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #
du__'60''36'__32 :: T_RawFunctor_24 -> AgdaAny -> AgdaAny -> AgdaAny #
d__'60''38''62'__38 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawFunctor_24 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #
du__'60''38''62'__38 :: T_RawFunctor_24 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #
d_ignore_40 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawFunctor_24 -> () -> AgdaAny -> AgdaAny #
du_ignore_40 :: T_RawFunctor_24 -> AgdaAny -> AgdaAny #
d_Morphism_58 :: p -> p -> p -> p -> p -> p -> p -> () #
newtype T_Morphism_58 #
Constructors
| C_Morphism'46'constructor_3741 (() -> AgdaAny -> AgdaAny) |
d_op_76 :: T_Morphism_58 -> () -> AgdaAny -> AgdaAny #
d_op'45''60''36''62'_82 :: T_Morphism_58 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> T__'8801'__12 #