plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Builtin.Signature

Documentation

d__'8866''9839'_4 :: p -> () #

data T__'8866''9839'_4 #

Constructors

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

d__'47'_'8866''8902'_26 :: p -> p -> () #

data T__'47'_'8866''8902'_26 #

Constructors

C_'96'_32 T_Fin_10 
C__'8593'_38 T__'8866''9839'_4 

d_Args_58 :: Integer -> Integer -> () #

d__'47'_'8866'r'8902'_64 :: p -> p -> () #

newtype T__'47'_'8866'r'8902'_64 #

Constructors

C_argtype_70 T__'47'_'8866''8902'_26 

d_Sig_72 :: () #

data T_Sig_72 #

Constructors

C_sig_90 Integer Integer T_List'8314'_22 T__'47'_'8866''8902'_26 

d_fv'8902'_82 :: T_Sig_72 -> Integer #

d_fv'9839'_84 :: T_Sig_72 -> Integer #

d_args_86 :: T_Sig_72 -> T_List'8314'_22 #

d_result_88 :: T_Sig_72 -> T__'47'_'8866''8902'_26 #

d_args'9839'_92 :: T_Sig_72 -> Integer #

d_fv_96 :: T_Sig_72 -> Integer #

d_mkCtx'8902'_104 :: Integer -> Integer -> T_Ctx'8902'_2 #

d_fin'9839'2'8715''8902'_116 :: Integer -> Integer -> T_Fin_10 -> T__'8715''8902'__14 #

du_fin'9839'2'8715''8902'_116 :: Integer -> T_Fin_10 -> T__'8715''8902'__14 #

d_fin'8902'2'8715''8902'_130 :: Integer -> Integer -> T_Fin_10 -> T__'8715''8902'__14 #

du_fin'8902'2'8715''8902'_130 :: T_Fin_10 -> T__'8715''8902'__14 #

d_'8866''9839'2TyNe'9839'_186 :: (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> T__'8866''9839'_4 -> AgdaAny #

du_'8866''9839'2TyNe'9839'_186 :: (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> Integer -> Integer -> T__'8866''9839'_4 -> AgdaAny #

d_mkTy_204 :: (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> T__'47'_'8866''8902'_26 -> AgdaAny #

du_mkTy_204 :: (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> T__'47'_'8866''8902'_26 -> AgdaAny #

d_sig2type'8658'_214 :: (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> [T__'47'_'8866''8902'_26] -> AgdaAny -> AgdaAny #

du_sig2type'8658'_214 :: (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> 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 #

d_sig2typeΠ_228 :: (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> AgdaAny -> AgdaAny #

du_sig2typeΠ_228 :: (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> AgdaAny -> AgdaAny #

d_sig2type_242 :: (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> T_Sig_72 -> AgdaAny #

du_sig2type_242 :: (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> T_Sig_72 -> AgdaAny #

d_SigTy_266 :: p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> () #

data T_SigTy_266 #

Constructors

C_bresult_280 
C__B'8658'__302 AgdaAny AgdaAny T_SigTy_266 
C_sucΠ_326 T_Kind_766 AgdaAny T_SigTy_266 

d_sig2SigTy'8658'_348 :: (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> [T__'47'_'8866''8902'_26] -> Integer -> Integer -> T__'8724'_'8803'__180 -> AgdaAny -> T_SigTy_266 -> T_SigTy_266 #

du_sig2SigTy'8658'_348 :: (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> 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'__180 -> AgdaAny -> T_SigTy_266 -> T_SigTy_266 #

d_sig2SigTyΠ_380 :: (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> Integer -> Integer -> Integer -> T__'8801'__12 -> T__'8724'_'8803'__180 -> Integer -> T__'8724'_'8803'__180 -> AgdaAny -> T_SigTy_266 -> T_SigTy_266 #

du_sig2SigTyΠ_380 :: (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> T__'8724'_'8803'__180 -> AgdaAny -> T_SigTy_266 -> T_SigTy_266 #

d_sig2SigTy_398 :: (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> T_Sig_72 -> T_SigTy_266 #

du_sig2SigTy_398 :: (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> T_Sig_72 -> T_SigTy_266 #

d_sigTy2type_428 :: (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> T_Ctx'8902'_2 -> Integer -> Integer -> Integer -> Integer -> Integer -> Integer -> AgdaAny -> T__'8724'_'8803'__180 -> T__'8724'_'8803'__180 -> T_SigTy_266 -> AgdaAny #

du_sigTy2type_428 :: AgdaAny -> AgdaAny #

d_saturatedSigTy_436 :: (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> T_Sig_72 -> AgdaAny -> () #

d_convSigTy_470 :: (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> ()) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> (Integer -> Integer -> T_Kind_766 -> T__'8715''8902'__14 -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> T_TyCon_6 -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Ctx'8902'_2 -> T_Kind_766 -> AgdaAny -> AgdaAny) -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> T__'8724'_'8803'__180 -> Integer -> Integer -> Integer -> T__'8724'_'8803'__180 -> T__'8724'_'8803'__180 -> Integer -> Integer -> AgdaAny -> AgdaAny -> T__'8801'__12 -> T_SigTy_266 -> T_SigTy_266 #

du_convSigTy_470 :: T_SigTy_266 -> T_SigTy_266 #