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

MAlonzo.Code.Scoped

Documentation

d_ScopedTy_14 :: p -> () #

data T_ScopedTy_14 #

Constructors

C_'96'_18 T_Fin_10 
C__'8658'__20 T_ScopedTy_14 T_ScopedTy_14 
C_Π_22 T_Kind_766 T_ScopedTy_14 
C_ƛ_24 T_Kind_766 T_ScopedTy_14 
C__'183'__26 T_ScopedTy_14 T_ScopedTy_14 
C_con_30 T_Kind_766 T_TyCon_6 
C_μ_32 T_ScopedTy_14 T_ScopedTy_14 
C_SOP_34 (T_List_444 (T_List_444 T_ScopedTy_14)) 

d_Tel'8902'_36 :: FreeVariableError -> ScopeError #

check_deBError_578 :: T_ScopeError_576 #

check_freeVariableError_580 :: T_FreeVariableError_574 -> T_ScopeError_576 #

cover_ScopeError_576 :: ScopeError -> () #

d_ℕtoFin_584 :: Integer -> Integer -> T_Either_6 T_ScopeError_576 T_Fin_10 #

d_ℕtoWeirdFin_596 :: Integer -> T_Weirdℕ_42 -> Integer -> T_Either_6 T_ScopeError_576 T_WeirdFin_56 #

du_ℕtoWeirdFin_596 :: T_Weirdℕ_42 -> Integer -> T_Either_6 T_ScopeError_576 T_WeirdFin_56 #

d_scopeCheckTy_616 :: Integer -> T_RawTy_2 -> T_Either_6 T_ScopeError_576 T_ScopedTy_14 #

d_scopeCheckTyList_620 :: Integer -> T_List_444 T_RawTy_2 -> T_Either_6 T_ScopeError_576 (T_List_444 T_ScopedTy_14) #

d_scopeCheckTyListList_624 :: Integer -> T_List_444 (T_List_444 T_RawTy_2) -> T_Either_6 T_ScopeError_576 (T_List_444 (T_List_444 T_ScopedTy_14)) #

d_scopeCheckTm_686 :: Integer -> T_Weirdℕ_42 -> T_RawTm_32 -> T_Either_6 T_ScopeError_576 T_ScopedTm_522 #

d_scopeCheckTmList_692 :: Integer -> T_Weirdℕ_42 -> T_List_444 T_RawTm_32 -> T_Either_6 T_ScopeError_576 (T_List_444 T_ScopedTm_522) #

d_extricateScopeTy_780 :: Integer -> T_ScopedTy_14 -> T_RawTy_2 #

d_extricateScopeTyList_784 :: Integer -> T_List_444 T_ScopedTy_14 -> T_List_444 T_RawTy_2 #

d_extricateScopeTyListList_788 :: Integer -> T_List_444 (T_List_444 T_ScopedTy_14) -> T_List_444 (T_List_444 T_RawTy_2) #

d_extricateScope_828 :: Integer -> T_Weirdℕ_42 -> T_ScopedTm_522 -> T_RawTm_32 #

d_extricateScopeList_834 :: Integer -> T_Weirdℕ_42 -> T_List_444 T_ScopedTm_522 -> T_List_444 T_RawTm_32 #

d_uglyWeirdFin_888 :: Integer -> T_Weirdℕ_42 -> T_WeirdFin_56 -> T_String_6 #

du_uglyWeirdFin_888 :: T_Weirdℕ_42 -> T_WeirdFin_56 -> T_String_6 #

d_uglyTmCon_894 :: T_TmCon_202 -> T_String_6 #

d_showNat_902 :: Integer -> T_String_6 #

d_uglyBuiltin_904 :: T_Builtin_2 -> T_String_6 #

d_ugly_910 :: Integer -> T_Weirdℕ_42 -> T_ScopedTm_522 -> T_String_6 #

du_ugly_910 :: T_Weirdℕ_42 -> T_ScopedTm_522 -> T_String_6 #