Documentation

d_boolToMaybe_18 ∷ Bool → Maybe T_'8868'_6 Source #

d_is'45'just_20 ∷ T_Level_18 → () → Maybe AgdaAny → Bool Source #

du_is'45'just_20 ∷ Maybe AgdaAny → Bool Source #

d_is'45'nothing_22 ∷ T_Level_18 → () → Maybe AgdaAny → Bool Source #

du_is'45'nothing_22 ∷ Maybe AgdaAny → Bool Source #

d_maybe_32 ∷ T_Level_18 → T_Level_18 → () → (Maybe AgdaAny → ()) → (AgdaAny → AgdaAny) → AgdaAny → Maybe AgdaAny → AgdaAny Source #

du_maybe_32 ∷ (AgdaAny → AgdaAny) → AgdaAny → Maybe AgdaAny → AgdaAny Source #

d_maybe'8242'_44 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → Maybe AgdaAny → AgdaAny Source #

du_maybe'8242'_44 ∷ (AgdaAny → AgdaAny) → AgdaAny → Maybe AgdaAny → AgdaAny Source #

d_fromMaybe_46 ∷ T_Level_18 → () → AgdaAny → Maybe AgdaAny → AgdaAny Source #

du_fromMaybe_46 ∷ AgdaAny → Maybe AgdaAny → AgdaAny Source #

d_From'45'just_56 ∷ T_Level_18 → () → Maybe AgdaAny → () Source #

d_from'45'just_60 ∷ Maybe AgdaAny → AgdaAny Source #

d_map_64 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny Source #

du_map_64 ∷ (AgdaAny → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny Source #

d_ap_68 ∷ T_Level_18 → () → T_Level_18 → () → Maybe (AgdaAny → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny Source #

du_ap_68 ∷ Maybe (AgdaAny → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny Source #

d__'62''62''61'__72 ∷ T_Level_18 → () → T_Level_18 → () → Maybe AgdaAny → (AgdaAny → Maybe AgdaAny) → Maybe AgdaAny Source #

du__'62''62''61'__72 ∷ Maybe AgdaAny → (AgdaAny → Maybe AgdaAny) → Maybe AgdaAny Source #

d__'60''8739''62'__80 ∷ T_Level_18 → () → Maybe AgdaAny → Maybe AgdaAny → Maybe AgdaAny Source #

du__'60''8739''62'__80 ∷ Maybe AgdaAny → Maybe AgdaAny → Maybe AgdaAny Source #

d_when_88 ∷ T_Level_18 → () → Bool → AgdaAny → Maybe AgdaAny Source #

du_when_88 ∷ Bool → AgdaAny → Maybe AgdaAny Source #

d_alignWith_94 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (T_These_38 → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny → Maybe AgdaAny Source #

du_alignWith_94 ∷ (T_These_38 → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny → Maybe AgdaAny Source #

d_zipWith_112 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny → Maybe AgdaAny Source #

du_zipWith_112 ∷ (AgdaAny → AgdaAny → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny → Maybe AgdaAny Source #

d_align_120 ∷ T_Level_18 → () → T_Level_18 → () → Maybe AgdaAny → Maybe AgdaAny → Maybe T_These_38 Source #

du_align_120 ∷ Maybe AgdaAny → Maybe AgdaAny → Maybe T_These_38 Source #

d_zip_122 ∷ T_Level_18 → () → T_Level_18 → () → Maybe AgdaAny → Maybe AgdaAny → Maybe T_Σ_14 Source #

du_zip_122 ∷ Maybe AgdaAny → Maybe AgdaAny → Maybe T_Σ_14 Source #

d_thisM_124 ∷ T_Level_18 → () → T_Level_18 → () → AgdaAny → Maybe AgdaAny → T_These_38 Source #

du_thisM_124 ∷ AgdaAny → Maybe AgdaAny → T_These_38 Source #

d_thatM_128 ∷ T_Level_18 → () → T_Level_18 → () → Maybe AgdaAny → AgdaAny → T_These_38 Source #

du_thatM_128 ∷ Maybe AgdaAny → AgdaAny → T_These_38 Source #