| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Sum.Base
Documentation
d__'8846'__30 :: p -> p -> p -> p -> () #
data T__'8846'__30 #
Constructors
| C_inj'8321'_38 AgdaAny | |
| C_inj'8322'_42 AgdaAny |
d_'91'_'44'_'93'_52 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> (T__'8846'__30 -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny #
du_'91'_'44'_'93'_52 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny #
d_'91'_'44'_'93''8242'_66 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny #
du_'91'_'44'_'93''8242'_66 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny #
d_fromInj'8321'_68 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny #
du_fromInj'8321'_68 :: (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny #
d_fromInj'8322'_72 :: T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny #
du_fromInj'8322'_72 :: (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny #
d_reduce_76 :: T_Level_18 -> () -> T__'8846'__30 -> AgdaAny #
du_reduce_76 :: T__'8846'__30 -> AgdaAny #
d_swap_78 :: T_Level_18 -> () -> T_Level_18 -> () -> T__'8846'__30 -> T__'8846'__30 #
d_map_84 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8846'__30 #
du_map_84 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8846'__30 #
d_map'8321'_90 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8846'__30 #
du_map'8321'_90 :: (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8846'__30 #
d_map'8322'_94 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8846'__30 #
du_map'8322'_94 :: (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8846'__30 #
d_assoc'691'_96 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T__'8846'__30 -> T__'8846'__30 #
d_assoc'737'_98 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T__'8846'__30 -> T__'8846'__30 #
d__'45''8846''45'__100 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> AgdaAny -> AgdaAny -> () #