Documentation

d__'42''62'__6 ∷ () → () → Maybe AgdaAny → Maybe AgdaAny → Maybe AgdaAny Source #

d__'60''36'__8 ∷ () → () → AgdaAny → Maybe AgdaAny → Maybe AgdaAny Source #

d__'60''36''62'__10 ∷ () → () → (AgdaAny → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny Source #

du__'60''36''62'__10 ∷ () → (AgdaAny → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny Source #

d__'60''38''62'__12 ∷ () → () → Maybe AgdaAny → (AgdaAny → AgdaAny) → Maybe AgdaAny Source #

d__'60''42'__14 ∷ () → () → Maybe AgdaAny → Maybe AgdaAny → Maybe AgdaAny Source #

d__'60''42''62'__16 ∷ () → () → Maybe (AgdaAny → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny Source #

du__'60''42''62'__16 ∷ Maybe (AgdaAny → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny Source #

d__'60''61''60'__18 ∷ () → () → () → (AgdaAny → Maybe AgdaAny) → (AgdaAny → Maybe AgdaAny) → AgdaAny → Maybe AgdaAny Source #

d__'60''8859'__20 ∷ () → () → Maybe AgdaAny → Maybe AgdaAny → Maybe AgdaAny Source #

d__'61''60''60'__22 ∷ () → () → (AgdaAny → Maybe AgdaAny) → Maybe AgdaAny → Maybe AgdaAny Source #

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

d__'62''62'__26 ∷ () → () → Maybe AgdaAny → Maybe AgdaAny → Maybe AgdaAny Source #

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

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

d__'8855'__30 ∷ () → () → Maybe AgdaAny → Maybe AgdaAny → Maybe T_Σ_14 Source #

d__'8859'__32 ∷ () → () → Maybe (AgdaAny → AgdaAny) → Maybe AgdaAny → Maybe AgdaAny Source #

d__'8859''62'__34 ∷ () → () → Maybe AgdaAny → Maybe AgdaAny → Maybe AgdaAny Source #

d_Kleisli_36 ∷ () → () → () Source #

d_ignore_38 ∷ () → Maybe AgdaAny → Maybe T_Lift_8 Source #

d_pure_40 ∷ () → AgdaAny → Maybe AgdaAny Source #

du_pure_40 ∷ AgdaAny → Maybe AgdaAny Source #

d_rawApplicative_42 ∷ T_RawApplicative_20 Source #

d_rawFunctor_44 ∷ T_RawFunctor_24 Source #

d_return_46 ∷ () → AgdaAny → Maybe AgdaAny Source #

d_unless_48 ∷ Bool → Maybe T_Lift_8 → Maybe T_Lift_8 Source #

d_when_50 ∷ Bool → Maybe T_Lift_8 → Maybe T_Lift_8 Source #

d_zip_52 ∷ () → () → Maybe AgdaAny → Maybe AgdaAny → Maybe T_Σ_14 Source #

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

d_minBound_56 ∷ Integer Source #

d_maxBound_58 ∷ Integer Source #

d_CInteger_60 ∷ () Source #

data T_CInteger_60 Source #

d_add_66 ∷ T_CInteger_60 → T_CInteger_60 → Integer Source #

d_subtract_72 ∷ T_CInteger_60 → T_CInteger_60 → Integer Source #

d_multiply_78 ∷ T_CInteger_60 → T_CInteger_60 → Integer Source #

d_quot_84 ∷ T_CInteger_60 → T_CInteger_60 → Maybe Integer Source #

d_rem_90 ∷ T_CInteger_60 → T_CInteger_60 → Maybe Integer Source #

d_divMod_96 ∷ T_CInteger_60 → T_CInteger_60 → Maybe T_Σ_14 Source #

d_div_102 ∷ T_CInteger_60 → T_CInteger_60 → Maybe Integer Source #

d_mod_108 ∷ T_CInteger_60 → T_CInteger_60 → Maybe Integer Source #

d_lessThan_114 ∷ T_CInteger_60 → T_CInteger_60 → Bool Source #

d_lessThanEquals_120 ∷ T_CInteger_60 → T_CInteger_60 → Bool Source #