Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
MAlonzo.Code.Builtin.Signature
Documentation
d__'8866''9839'_4 ∷ p → () Source #
data T__'8866''9839'_4 Source #
d__'47'_'8866''8902'_26 ∷ p → p → () Source #
data T__'47'_'8866''8902'_26 Source #
Constructors
C_'96'_32 T_Fin_10 | |
C__'8593'_38 T__'8866''9839'_4 |
d__'47'_'8866'r'8902'_64 ∷ p → p → () Source #
newtype T__'47'_'8866'r'8902'_64 Source #
Constructors
C_argtype_70 T__'47'_'8866''8902'_26 |
Constructors
C_sig_90 Integer Integer T_List'8314'_22 T__'47'_'8866''8902'_26 |
d_'8866''9839'2TyNe'9839'_186 ∷ (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → Integer → Integer → T__'8866''9839'_4 → AgdaAny Source #
du_'8866''9839'2TyNe'9839'_186 ∷ (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → Integer → Integer → T__'8866''9839'_4 → AgdaAny Source #
d_mkTy_204 ∷ (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → Integer → Integer → T__'47'_'8866''8902'_26 → AgdaAny Source #
du_mkTy_204 ∷ (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → Integer → Integer → T__'47'_'8866''8902'_26 → AgdaAny Source #
d_sig2type'8658'_214 ∷ (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → Integer → Integer → [T__'47'_'8866''8902'_26] → AgdaAny → AgdaAny Source #
du_sig2type'8658'_214 ∷ (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → Integer → Integer → [T__'47'_'8866''8902'_26] → AgdaAny → AgdaAny Source #
d_sig2typeΠ_228 ∷ (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → Integer → Integer → AgdaAny → AgdaAny Source #
du_sig2typeΠ_228 ∷ (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → Integer → Integer → AgdaAny → AgdaAny Source #
d_sig2type_242 ∷ (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → T_Sig_72 → AgdaAny Source #
du_sig2type_242 ∷ (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → T_Sig_72 → AgdaAny Source #
d_SigTy_266 ∷ p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → p → () Source #
data T_SigTy_266 Source #
d_sig2SigTy'8658'_348 ∷ (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → Integer → Integer → Integer → T__'8724'_'8803'__120 → [T__'47'_'8866''8902'_26] → Integer → Integer → T__'8724'_'8803'__120 → AgdaAny → T_SigTy_266 → T_SigTy_266 Source #
du_sig2SigTy'8658'_348 ∷ (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → Integer → Integer → [T__'47'_'8866''8902'_26] → T__'8724'_'8803'__120 → AgdaAny → T_SigTy_266 → T_SigTy_266 Source #
d_sig2SigTyΠ_380 ∷ (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → Integer → Integer → Integer → Integer → Integer → T__'8801'__12 → T__'8724'_'8803'__120 → Integer → T__'8724'_'8803'__120 → AgdaAny → T_SigTy_266 → T_SigTy_266 Source #
du_sig2SigTyΠ_380 ∷ (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → Integer → Integer → T__'8724'_'8803'__120 → AgdaAny → T_SigTy_266 → T_SigTy_266 Source #
d_sig2SigTy_398 ∷ (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → T_Sig_72 → T_SigTy_266 Source #
du_sig2SigTy_398 ∷ (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → T_Sig_72 → T_SigTy_266 Source #
d_sigTy2type_428 ∷ (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → T_Ctx'8902'_2 → Integer → Integer → Integer → Integer → Integer → Integer → AgdaAny → T__'8724'_'8803'__120 → T__'8724'_'8803'__120 → T_SigTy_266 → AgdaAny Source #
d_saturatedSigTy_436 ∷ (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → T_Sig_72 → AgdaAny → () Source #
d_convSigTy_470 ∷ (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → ()) → (T_Ctx'8902'_2 → T_Kind_652 → AgdaAny → AgdaAny) → (Integer → Integer → T_Kind_652 → T__'8715''8902'__14 → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_Kind_652 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → T_TyCon_6 → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → AgdaAny → AgdaAny → AgdaAny) → (T_Ctx'8902'_2 → T_Kind_652 → 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_266 → T_SigTy_266 Source #