randomClassName, randomGenClassName, monadPlusClassName,
-- Code types
- hetmet_brak_name, hetmet_esc_name, hetmet_csp_name, hetmet_flatten_name, hetmet_unflatten_name, hetmet_flattened_id_name,
- hetmet_guest_integer_literal_name, hetmet_guest_string_literal_name,
- hetmet_guest_char_literal_name,
- hetmet_PGArrow_name,
- hetmet_PGArrow_unit_name,
- hetmet_PGArrow_tensor_name,
- hetmet_PGArrow_exponent_name,
- hetmet_pga_id_name,
- hetmet_pga_comp_name,
- hetmet_pga_first_name,
- hetmet_pga_second_name,
- hetmet_pga_cancell_name,
- hetmet_pga_cancelr_name,
- hetmet_pga_uncancell_name,
- hetmet_pga_uncancelr_name,
- hetmet_pga_assoc_name,
- hetmet_pga_unassoc_name,
- hetmet_pga_copy_name,
- hetmet_pga_drop_name,
- hetmet_pga_swap_name,
- hetmet_pga_applyl_name,
- hetmet_pga_applyr_name,
- hetmet_pga_curryl_name,
- hetmet_pga_curryr_name,
+ hetmet_brak_name, hetmet_esc_name, hetmet_csp_name,
+ hetmet_kappa_name, hetmet_kappa_app_name,
+ hetmet_guest_integer_literal_name, hetmet_guest_string_literal_name, hetmet_guest_char_literal_name,
-- Annotation type checking
toAnnotationWrapperName
gHC_HETMET_PRIVATE,
gHC_HETMET_GARROW,
gHC_TUPLE, dATA_TUPLE, dATA_EITHER, dATA_STRING, dATA_FOLDABLE, dATA_TRAVERSABLE,
- gHC_PACK, gHC_CONC, gHC_IO, gHC_IO_Exception,
- gHC_ST, gHC_ARR, gHC_STABLE, gHC_ADDR, gHC_PTR, gHC_ERR, gHC_REAL,
+ gHC_CONC, gHC_IO, gHC_IO_Exception,
+ gHC_ST, gHC_ARR, gHC_STABLE, gHC_PTR, gHC_ERR, gHC_REAL,
gHC_FLOAT, gHC_TOP_HANDLER, sYSTEM_IO, dYNAMIC, tYPEABLE, gENERICS,
dOTNET, rEAD_PREC, lEX, gHC_INT, gHC_WORD, mONAD, mONAD_FIX, mONAD_GROUP, mONAD_ZIP,
aRROW, cONTROL_APPLICATIVE, gHC_DESUGAR, rANDOM, gHC_EXTS,
gHC_INTEGER_TYPE= mkIntegerModule (fsLit "GHC.Integer.Type")
gHC_HETMET_CODETYPES = mkBaseModule (fsLit "GHC.HetMet.CodeTypes")
gHC_HETMET_PRIVATE = mkBaseModule (fsLit "GHC.HetMet.Private")
-gHC_HETMET_GARROW = mkBaseModule (fsLit "GHC.HetMet.GArrow")
+gHC_HETMET_GARROW = mkBaseModule (fsLit "Control.GArrow")
gHC_LIST = mkBaseModule (fsLit "GHC.List")
gHC_TUPLE = mkPrimModule (fsLit "GHC.Tuple")
dATA_TUPLE = mkBaseModule (fsLit "Data.Tuple")
dATA_STRING = mkBaseModule (fsLit "Data.String")
dATA_FOLDABLE = mkBaseModule (fsLit "Data.Foldable")
dATA_TRAVERSABLE= mkBaseModule (fsLit "Data.Traversable")
-gHC_PACK = mkBaseModule (fsLit "GHC.Pack")
gHC_CONC = mkBaseModule (fsLit "GHC.Conc")
gHC_IO = mkBaseModule (fsLit "GHC.IO")
gHC_IO_Exception = mkBaseModule (fsLit "GHC.IO.Exception")
gHC_ST = mkBaseModule (fsLit "GHC.ST")
gHC_ARR = mkBaseModule (fsLit "GHC.Arr")
gHC_STABLE = mkBaseModule (fsLit "GHC.Stable")
-gHC_ADDR = mkBaseModule (fsLit "GHC.Addr")
gHC_PTR = mkBaseModule (fsLit "GHC.Ptr")
gHC_ERR = mkBaseModule (fsLit "GHC.Err")
gHC_REAL = mkBaseModule (fsLit "GHC.Real")
appPName pkg = varQual (gHC_PARR pkg) (fsLit "+:+") appPIdKey
-- code type things
-hetmet_brak_name, hetmet_esc_name, hetmet_csp_name, hetmet_flatten_name, hetmet_unflatten_name, hetmet_flattened_id_name :: Name
+hetmet_brak_name, hetmet_esc_name, hetmet_csp_name :: Name
+hetmet_kappa_name, hetmet_kappa_app_name :: Name
hetmet_guest_integer_literal_name, hetmet_guest_string_literal_name, hetmet_guest_char_literal_name :: Name
-hetmet_brak_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_brak") hetmet_brak_key
-hetmet_esc_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_esc") hetmet_esc_key
-hetmet_csp_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_csp") hetmet_csp_key
-hetmet_flatten_name = varQual gHC_HETMET_CODETYPES (fsLit "pga_flatten") hetmet_flatten_key
-hetmet_unflatten_name = varQual gHC_HETMET_CODETYPES (fsLit "pga_unflatten") hetmet_unflatten_key
-hetmet_flattened_id_name = varQual gHC_HETMET_CODETYPES (fsLit "pga_flattened_id") hetmet_flattened_id_key
+hetmet_brak_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_brak") hetmet_brak_key
+hetmet_esc_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_esc") hetmet_esc_key
+hetmet_csp_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_csp") hetmet_csp_key
+hetmet_kappa_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_kappa") hetmet_kappa_key
+hetmet_kappa_app_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_kappa_app") hetmet_kappa_app_key
hetmet_guest_integer_literal_name = varQual gHC_HETMET_CODETYPES (fsLit "guestIntegerLiteral") hetmet_guest_integer_literal_key
hetmet_guest_string_literal_name = varQual gHC_HETMET_CODETYPES (fsLit "guestStringLiteral") hetmet_guest_string_literal_key
hetmet_guest_char_literal_name = varQual gHC_HETMET_CODETYPES (fsLit "guestCharLiteral") hetmet_guest_char_literal_key
-hetmet_PGArrow_name :: Name
-hetmet_PGArrow_name = tcQual gHC_HETMET_PRIVATE (fsLit "PGArrow") hetmet_PGArrow_key
-hetmet_PGArrow_unit_name :: Name
-hetmet_PGArrow_unit_name = tcQual gHC_HETMET_GARROW (fsLit "GArrowUnit") hetmet_PGArrow_unit_key
-hetmet_PGArrow_tensor_name :: Name
-hetmet_PGArrow_tensor_name = tcQual gHC_HETMET_GARROW (fsLit "GArrowTensor") hetmet_PGArrow_tensor_key
-hetmet_PGArrow_exponent_name :: Name
-hetmet_PGArrow_exponent_name = tcQual gHC_HETMET_GARROW (fsLit "GArrowExponent") hetmet_PGArrow_exponent_key
-hetmet_pga_id_name :: Name
-hetmet_pga_id_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_id") hetmet_pga_id_key
-hetmet_pga_comp_name :: Name
-hetmet_pga_comp_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_comp") hetmet_pga_comp_key
-hetmet_pga_first_name :: Name
-hetmet_pga_first_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_first") hetmet_pga_first_key
-hetmet_pga_second_name :: Name
-hetmet_pga_second_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_second") hetmet_pga_second_key
-hetmet_pga_cancell_name :: Name
-hetmet_pga_cancell_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_cancell") hetmet_pga_cancell_key
-hetmet_pga_cancelr_name :: Name
-hetmet_pga_cancelr_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_cancelr") hetmet_pga_cancelr_key
-hetmet_pga_uncancell_name :: Name
-hetmet_pga_uncancell_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_uncancell") hetmet_pga_uncancell_key
-hetmet_pga_uncancelr_name :: Name
-hetmet_pga_uncancelr_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_uncancelr") hetmet_pga_uncancelr_key
-hetmet_pga_assoc_name :: Name
-hetmet_pga_assoc_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_assoc") hetmet_pga_assoc_key
-hetmet_pga_unassoc_name :: Name
-hetmet_pga_unassoc_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_unassoc") hetmet_pga_unassoc_key
-hetmet_pga_copy_name :: Name
-hetmet_pga_copy_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_copy") hetmet_pga_copy_key
-hetmet_pga_drop_name :: Name
-hetmet_pga_drop_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_drop") hetmet_pga_drop_key
-hetmet_pga_swap_name :: Name
-hetmet_pga_swap_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_swap") hetmet_pga_swap_key
-hetmet_pga_applyl_name :: Name
-hetmet_pga_applyl_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_applyl") hetmet_pga_applyl_key
-hetmet_pga_applyr_name :: Name
-hetmet_pga_applyr_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_applyr") hetmet_pga_applyr_key
-hetmet_pga_curryl_name :: Name
-hetmet_pga_curryl_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_curryl") hetmet_pga_curryl_key
-hetmet_pga_curryr_name :: Name
-hetmet_pga_curryr_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_curryr") hetmet_pga_curryr_key
-
-- IO things
ioTyConName, ioDataConName, thenIOName, bindIOName, returnIOName,
failIOName :: Name
-- code types
hetMetCodeTypeTyConKey :: Unique
hetMetCodeTypeTyConKey = mkPreludeTyConUnique 135
+hetMetKappaTyConKey :: Unique
+hetMetKappaTyConKey = mkPreludeTyConUnique 137
hetmet_guest_integer_literal_key, hetmet_guest_string_literal_key, hetmet_guest_char_literal_key :: Unique
-hetmet_guest_integer_literal_key = mkPreludeMiscIdUnique 134
-hetmet_guest_string_literal_key = mkPreludeMiscIdUnique 135
-hetmet_guest_char_literal_key = mkPreludeMiscIdUnique 136
-hetmet_PGArrow_key :: Unique
-hetmet_PGArrow_key = mkPreludeMiscIdUnique 137
-hetmet_pga_id_key :: Unique
-hetmet_pga_id_key = mkPreludeMiscIdUnique 138
-hetmet_pga_comp_key :: Unique
-hetmet_pga_comp_key = mkPreludeMiscIdUnique 139
-hetmet_pga_first_key :: Unique
-hetmet_pga_first_key = mkPreludeMiscIdUnique 140
-hetmet_pga_second_key :: Unique
-hetmet_pga_second_key = mkPreludeMiscIdUnique 141
-hetmet_pga_cancell_key :: Unique
-hetmet_pga_cancell_key = mkPreludeMiscIdUnique 142
-hetmet_pga_cancelr_key :: Unique
-hetmet_pga_cancelr_key = mkPreludeMiscIdUnique 143
-hetmet_pga_uncancell_key :: Unique
-hetmet_pga_uncancell_key = mkPreludeMiscIdUnique 144
-hetmet_pga_uncancelr_key :: Unique
-hetmet_pga_uncancelr_key = mkPreludeMiscIdUnique 145
-hetmet_pga_assoc_key :: Unique
-hetmet_pga_assoc_key = mkPreludeMiscIdUnique 146
-hetmet_pga_unassoc_key :: Unique
-hetmet_pga_unassoc_key = mkPreludeMiscIdUnique 147
-hetmet_pga_copy_key :: Unique
-hetmet_pga_copy_key = mkPreludeMiscIdUnique 148
-hetmet_pga_drop_key :: Unique
-hetmet_pga_drop_key = mkPreludeMiscIdUnique 149
-hetmet_pga_swap_key :: Unique
-hetmet_pga_swap_key = mkPreludeMiscIdUnique 150
-hetmet_pga_applyl_key :: Unique
-hetmet_pga_applyl_key = mkPreludeMiscIdUnique 151
-hetmet_pga_applyr_key :: Unique
-hetmet_pga_applyr_key = mkPreludeMiscIdUnique 152
-hetmet_pga_curryl_key :: Unique
-hetmet_pga_curryl_key = mkPreludeMiscIdUnique 153
-hetmet_pga_curryr_key :: Unique
-hetmet_pga_curryr_key = mkPreludeMiscIdUnique 154
-hetmet_flatten_key = mkPreludeMiscIdUnique 155
-hetmet_unflatten_key = mkPreludeMiscIdUnique 156
-hetmet_flattened_id_key = mkPreludeMiscIdUnique 157
-hetmet_PGArrow_unit_key :: Unique
-hetmet_PGArrow_unit_key = mkPreludeMiscIdUnique 158
-hetmet_PGArrow_tensor_key :: Unique
-hetmet_PGArrow_tensor_key = mkPreludeMiscIdUnique 159
-hetmet_PGArrow_exponent_key :: Unique
-hetmet_PGArrow_exponent_key = mkPreludeMiscIdUnique 160
-
-hetmet_brak_key, hetmet_esc_key, hetmet_csp_key, hetmet_flatten_key, hetmet_unflatten_key, hetmet_flattened_id_key :: Unique
-hetmet_brak_key = mkPreludeMiscIdUnique 161
-hetmet_esc_key = mkPreludeMiscIdUnique 162
-hetmet_csp_key = mkPreludeMiscIdUnique 163
+hetmet_guest_integer_literal_key = mkPreludeMiscIdUnique 138
+hetmet_guest_string_literal_key = mkPreludeMiscIdUnique 139
+hetmet_guest_char_literal_key = mkPreludeMiscIdUnique 140
+
+hetmet_brak_key, hetmet_esc_key, hetmet_csp_key :: Unique
+hetmet_brak_key = mkPreludeMiscIdUnique 141
+hetmet_esc_key = mkPreludeMiscIdUnique 143
+hetmet_csp_key = mkPreludeMiscIdUnique 145
+hetmet_kappa_key = mkPreludeMiscIdUnique 146
+hetmet_kappa_app_key = mkPreludeMiscIdUnique 147
---------------- Template Haskell -------------------
projects / ghc-hetmet.git / blobdiff