Documentation

d_quot_12 ∷ Integer → Integer → T_NonZero_112 → Integer Source #

du_quot_12 ∷ Integer → Integer → Integer Source #

d_rem_24 ∷ Integer → Integer → T_NonZero_112 → Integer Source #

du_rem_24 ∷ Integer → Integer → Integer Source #

d_divModFixup_38 ∷ Integer → Integer → Integer → T_NonZero_112 → T_Σ_14 Source #

du_divModFixup_38 ∷ Integer → Integer → Integer → T_Σ_14 Source #

d_divMod_64 ∷ Integer → Integer → T_NonZero_112 → T_Σ_14 Source #

du_divMod_64 ∷ Integer → Integer → T_Σ_14 Source #

d_div_76 ∷ Integer → Integer → T_NonZero_112 → Integer Source #

du_div_76 ∷ Integer → Integer → Integer Source #

d_mod_88 ∷ Integer → Integer → T_NonZero_112 → Integer Source #

du_mod_88 ∷ Integer → Integer → Integer Source #

agdaQuotientInteger ∷ Integer → Integer → T_Maybe_10 () Integer Source #

d_quotMaybe_94 ∷ Integer → Integer → Maybe Integer Source #

agdaRemainderInteger ∷ Integer → Integer → T_Maybe_10 () Integer Source #

d_remMaybe_120 ∷ Integer → Integer → Maybe Integer Source #

d_divModMaybe_146 ∷ Integer → Integer → Maybe T_Σ_14 Source #

agdaDivideInteger ∷ Integer → Integer → T_Maybe_10 () Integer Source #

d_divMaybe_172 ∷ Integer → Integer → Maybe Integer Source #

agdaModInteger ∷ Integer → Integer → T_Maybe_10 () Integer Source #

d_modMaybe_178 ∷ Integer → Integer → Maybe Integer Source #