| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.These.Base
Documentation
d_These_38 ∷ p → p → p → p → () Source #
data T_These_38 Source #
d_fromSum_54 ∷ T_Level_18 → () → T_Level_18 → () → T__'8846'__30 → T_These_38 Source #
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 Source #
du_map_60 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T_These_38 → T_These_38 Source #
d_map'8321'_84 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_These_38 → T_These_38 Source #
du_map'8321'_84 ∷ (AgdaAny → AgdaAny) → T_These_38 → T_These_38 Source #
d_map'8322'_90 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_These_38 → T_These_38 Source #
du_map'8322'_90 ∷ (AgdaAny → AgdaAny) → T_These_38 → T_These_38 Source #
d_fold_92 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_These_38 → AgdaAny Source #
du_fold_92 ∷ (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → T_These_38 → AgdaAny Source #
d_foldWithDefaults_120 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → AgdaAny → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → T_These_38 → AgdaAny Source #
du_foldWithDefaults_120 ∷ AgdaAny → AgdaAny → (AgdaAny → AgdaAny → AgdaAny) → T_These_38 → AgdaAny Source #
d_swap_128 ∷ T_Level_18 → () → T_Level_18 → () → T_These_38 → T_These_38 Source #
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 Source #
du_alignWith_130 ∷ (T_These_38 → AgdaAny) → (T_These_38 → AgdaAny) → T_These_38 → T_These_38 → T_These_38 Source #
d_align_216 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_These_38 → T_These_38 → T_These_38 Source #