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_decToMaybe_24 ∷ T_Level_18 → () → T_Dec_32 → Maybe AgdaAny Source #

du_decToMaybe_24 ∷ T_Dec_32 → Maybe AgdaAny Source #

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

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

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

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

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

du_fromMaybe_50 ∷ AgdaAny → Maybe AgdaAny → AgdaAny Source #

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

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

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

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

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

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

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

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

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

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

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

du_when_92 ∷ Bool → AgdaAny → Maybe AgdaAny Source #

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

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

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

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

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

du_align_124 ∷ Maybe AgdaAny → Maybe AgdaAny → Maybe T_These_38 Source #

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

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

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

du_thisM_128 ∷ AgdaAny → Maybe AgdaAny → T_These_38 Source #

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

du_thatM_132 ∷ Maybe AgdaAny → AgdaAny → T_These_38 Source #