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

MAlonzo.Code.Type.BetaNormal

Documentation

d__'8866'Nf'8902'__4 :: p -> p -> () #

data T__'8866'Nf'8902'__4 #

Constructors

C_Π_14 T_Kind_766 T__'8866'Nf'8902'__4 
C__'8658'__16 T__'8866'Nf'8902'__4 T__'8866'Nf'8902'__4 
C_ƛ_18 T__'8866'Nf'8902'__4 
C_ne_20 T__'8866'Ne'8902'__6 
C_con_22 T__'8866'Nf'8902'__4 
C_μ_24 T_Kind_766 T__'8866'Nf'8902'__4 T__'8866'Nf'8902'__4 
C_SOP_28 Integer T_Vec_28 

d__'8866'Ne'8902'__6 :: p -> p -> () #

data T__'8866'Ne'8902'__6 #

Constructors

C_'96'_8 T__'8715''8902'__14 
C__'183'__10 T_Kind_766 T__'8866'Ne'8902'__6 T__'8866'Nf'8902'__4 
C_'94'_12 T_TyCon_6 

d_RenNf_30 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> () #

d_RenNe_38 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> () #

d_renNf_46 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 #

d_renNe_48 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T__'8866'Ne'8902'__6 -> T__'8866'Ne'8902'__6 #

d_renNf'45'List_52 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> [T__'8866'Nf'8902'__4] -> [T__'8866'Nf'8902'__4] #

d_renNf'45'VecList_58 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> Integer -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T_Vec_28 -> T_Vec_28 #

du_renNf'45'VecList_58 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T_Vec_28 -> T_Vec_28 #

d_weakenNf_122 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_Kind_766 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 #

d_embNf_128 :: T_Ctx'8902'_2 -> T_Kind_766 -> T__'8866'Nf'8902'__4 -> T__'8866''8902'__20 #

d_embNe_134 :: T_Ctx'8902'_2 -> T_Kind_766 -> T__'8866'Ne'8902'__6 -> T__'8866''8902'__20 #

du_embNe_134 :: T_Ctx'8902'_2 -> T__'8866'Ne'8902'__6 -> T__'8866''8902'__20 #

d_embNf'45'List_140 :: T_Ctx'8902'_2 -> T_Kind_766 -> [T__'8866'Nf'8902'__4] -> [T__'8866''8902'__20] #

d_embNf'45'VecList_148 :: Integer -> T_Ctx'8902'_2 -> T_Kind_766 -> T_Vec_28 -> T_Vec_28 #

du_embNf'45'VecList_148 :: T_Ctx'8902'_2 -> T_Kind_766 -> T_Vec_28 -> T_Vec_28 #

d_ren'45'embNf_190 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T__'8866'Nf'8902'__4 -> T__'8801'__12 #

d_ren'45'embNe_198 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> T__'8866'Ne'8902'__6 -> T__'8801'__12 #

d_ren'45'embNf'45'List_206 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Kind_766 -> [T__'8866'Nf'8902'__4] -> T__'8801'__12 #

d_ren'45'embNf'45'VecList_216 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> Integer -> T_Kind_766 -> T_Vec_28 -> T__'8801'__12 #

d_lookup'45'renNf'45'VecList_296 :: T_Ctx'8902'_2 -> T_Ctx'8902'_2 -> Integer -> (T_Kind_766 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> T_Fin_10 -> T_Vec_28 -> T__'8801'__12 #

d_lookup'45'embNf'45'VecList_312 :: T_Ctx'8902'_2 -> Integer -> T_Fin_10 -> T_Vec_28 -> T__'8801'__12 #