Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Builtin.Signature

Documentation

d__'8866''9839'_4 ∷ p → () Source #

data T__'8866''9839'_4 Source #

Constructors

C_'96'_8 T_Fin_10
C_atomic_12 T_AtomicTyCon_6
C_list_16 T__'8866''9839'_4
C_pair_20 T__'8866''9839'_4 T__'8866''9839'_4

d__'47'_'8866''8902'_22 ∷ p → p → () Source #

data T__'47'_'8866''8902'_22 Source #

Constructors

C_'96'_28 T_Fin_10
C__'8593'_34 T__'8866''9839'_4

d_Args_54 ∷ Integer → Integer → () Source #

d__'47'_'8866'r'8902'_60 ∷ p → p → () Source #

newtype T__'47'_'8866'r'8902'_60 Source #

Constructors

C_argtype_66 T__'47'_'8866''8902'_22

d_Sig_68 ∷ () Source #

data T_Sig_68 Source #

Constructors

C_sig_86 Integer Integer T_List'8314'_22 T__'47'_'8866''8902'_22

d_fv'8902'_78 ∷ T_Sig_68 → Integer Source #

d_fv'9839'_80 ∷ T_Sig_68 → Integer Source #

d_args_82 ∷ T_Sig_68 → T_List'8314'_22 Source #

d_result_84 ∷ T_Sig_68 → T__'47'_'8866''8902'_22 Source #

d_args'9839'_88 ∷ T_Sig_68 → Integer Source #

d_fv_92 ∷ T_Sig_68 → Integer Source #

d_mkCtx'8902'_100 ∷ Integer → Integer → T_Ctx'8902'_2 Source #

d_fin'9839'2'8715''8902'_112 ∷ Integer → Integer → T_Fin_10 → T__'8715''8902'__14 Source #

du_fin'9839'2'8715''8902'_112 ∷ Integer → T_Fin_10 → T__'8715''8902'__14 Source #

d_fin'8902'2'8715''8902'_126 ∷ Integer → Integer → T_Fin_10 → T__'8715''8902'__14 Source #

du_fin'8902'2'8715''8902'_126 ∷ T_Fin_10 → T__'8715''8902'__14 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 #

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 #

Constructors

C_bresult_274
C__B'8658'__296 AgdaAny AgdaAny T_SigTy_260
C_sucΠ_320 T_Kind_476 AgdaAny T_SigTy_260

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 #

du_sigTy2type_422 ∷ AgdaAny → 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 #

du_convSigTy_464 ∷ T_SigTy_260 → T_SigTy_260 Source #