Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d__'8866''9839'_4 ∷ p → () Source #
data T__'8866''9839'_4 Source #
d__'47'_'8866''8902'_22 ∷ p → p → () Source #
d__'47'_'8866'r'8902'_60 ∷ p → p → () Source #
d_'8866''9839'2TyNe'9839'_182 ∷ (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → Integer → Integer → T__'8866''9839'_4 → AgdaAny Source #
du_'8866''9839'2TyNe'9839'_182 ∷ (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → Integer → Integer → T__'8866''9839'_4 → AgdaAny Source #
d_mkTy_198 ∷ (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → Integer → Integer → T__'47'_'8866''8902'_22 → AgdaAny Source #
du_mkTy_198 ∷ (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → Integer → Integer → T__'47'_'8866''8902'_22 → AgdaAny Source #
d_sig2type'8658'_208 ∷ (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → Integer → Integer → [T__'47'_'8866''8902'_22] → AgdaAny → AgdaAny Source #
du_sig2type'8658'_208 ∷ (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → Integer → Integer → [T__'47'_'8866''8902'_22] → AgdaAny → AgdaAny Source #
d_sig2typeΠ_222 ∷ (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → Integer → Integer → AgdaAny → AgdaAny Source #
du_sig2typeΠ_222 ∷ (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → Integer → Integer → AgdaAny → AgdaAny Source #
d_sig2type_236 ∷ (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → T_Sig_68 → AgdaAny Source #
du_sig2type_236 ∷ (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → T_Sig_68 → AgdaAny Source #
d_SigTy_260 ∷ p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → () Source #
data T_SigTy_260 Source #
d_sig2SigTy'8658'_342 ∷ (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → Integer → Integer → Integer → T__'8724'_'8803'__120 → [T__'47'_'8866''8902'_22] → Integer → Integer → T__'8724'_'8803'__120 → AgdaAny → T_SigTy_260 → T_SigTy_260 Source #
du_sig2SigTy'8658'_342 ∷ (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → Integer → Integer → [T__'47'_'8866''8902'_22] → T__'8724'_'8803'__120 → AgdaAny → T_SigTy_260 → T_SigTy_260 Source #
d_sig2SigTyΠ_374 ∷ (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → Integer → Integer → Integer → Integer → Integer → T__'8801'__12 → T__'8724'_'8803'__120 → Integer → T__'8724'_'8803'__120 → AgdaAny → T_SigTy_260 → T_SigTy_260 Source #
du_sig2SigTyΠ_374 ∷ (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → Integer → Integer → T__'8724'_'8803'__120 → AgdaAny → T_SigTy_260 → T_SigTy_260 Source #
d_sig2SigTy_392 ∷ (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → T_Sig_68 → T_SigTy_260 Source #
du_sig2SigTy_392 ∷ (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → T_Sig_68 → T_SigTy_260 Source #
d_sigTy2type_422 ∷ (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → T_Ctx'8902'_2 → Integer → Integer → Integer → Integer → Integer → Integer → AgdaAny → T__'8724'_'8803'__120 → T__'8724'_'8803'__120 → T_SigTy_260 → AgdaAny Source #
d_saturatedSigTy_430 ∷ (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → T_Sig_68 → AgdaAny → () Source #
d_convSigTy_464 ∷ (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → ()) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_476 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_Kind_476 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_476 → AgdaAny → AgdaAny) → Integer → Integer → Integer → T__'8724'_'8803'__120 → T__'8724'_'8803'__120 → Integer → Integer → Integer → T__'8724'_'8803'__120 → T__'8724'_'8803'__120 → Integer → Integer → AgdaAny → AgdaAny → T__'8801'__12 → T_SigTy_260 → T_SigTy_260 Source #