| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.These.Base
Documentation
d_These_38 :: p -> p -> p -> p -> () #
data T_These_38 #
d_fromSum_54 :: T_Level_18 -> () -> T_Level_18 -> () -> T__'8846'__30 -> T_These_38 #
d_map_60 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38 #
du_map_60 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38 #
d_map'8321'_84 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38 #
du_map'8321'_84 :: (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38 #
d_map'8322'_90 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38 #
du_map'8322'_90 :: (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38 #
d_fold_92 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_These_38 -> AgdaAny #
du_fold_92 :: (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_These_38 -> AgdaAny #
d_foldWithDefaults_120 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> AgdaAny -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_These_38 -> AgdaAny #
du_foldWithDefaults_120 :: AgdaAny -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_These_38 -> AgdaAny #
d_swap_128 :: T_Level_18 -> () -> T_Level_18 -> () -> T_These_38 -> T_These_38 #
du_swap_128 :: T_These_38 -> T_These_38 #
d_alignWith_130 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (T_These_38 -> AgdaAny) -> (T_These_38 -> AgdaAny) -> T_These_38 -> T_These_38 -> T_These_38 #
du_alignWith_130 :: (T_These_38 -> AgdaAny) -> (T_These_38 -> AgdaAny) -> T_These_38 -> T_These_38 -> T_These_38 #
d_align_216 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_These_38 -> T_These_38 -> T_These_38 #
du_align_216 :: T_These_38 -> T_These_38 -> T_These_38 #