Control.Static.TH

Documentation

staticRef :: Name -> Q Exp

Refer to a static value, as a SKeyed.

Be sure to pass the argument to mkStaticTab so the referent exists.

staticKey :: Name -> Q Exp

Get the symbol key of a static value, as a SKey.

Be sure to pass the argument to mkStaticTab so the referent exists.

Users typically don't need this; staticRef is more type-safe as it includes the type of the value, and this does not.

staticKeyType :: Name -> Q Type

Get the symbol key type of a static value, as a type-level string.

mkStatics :: [Name] -> Q [Dec]

Create top-level statically-keyed values from regular top-level values.

mkStaticsWithRefs :: ([Exp] -> Q [Dec]) -> Q [Dec]

Create top-level statically-keyed values from regular top-level values, when their definitions need to refer to other statically-keyed values.

Since TH cannot handle references to names defined later in the source file, it is not possible to use mkStatics for this purpose; you must use this function instead, and then register the names later using mkStaticTab.

See unit tests for example usage.

defaultStaticTab :: Name

mkDefStaticTab :: [Name] -> Q [Dec]

Create a table holding the static values for a list of top-level names, binding it to the top-level name "staticTab".

mkStaticTab :: Name -> [Name] -> Q [Dec]

Create a table holding the static values for a list of top-level names, binding it to the given top-level name.

newtype CxtW c a

Data type wrapping a constraint, to avoid ImpredicativeTypes GHC error.

Constructors

CxtW

Fields

• unCxtW :: c => a

Instances

PreClosure (CxtW c (e -> v -> r))

Defined in Control.Static.Closure

Associated Types

type Cxt (CxtW c (e -> v -> r)) :: Constraint

type Env (CxtW c (e -> v -> r)) :: Type

type Part (CxtW c (e -> v -> r)) :: Type

Methods

applyPre :: CxtW c (e -> v -> r) -> Env (CxtW c (e -> v -> r)) -> Part (CxtW c (e -> v -> r))

type Cxt (CxtW c (e -> v -> r))

Defined in Control.Static.Closure

type Cxt (CxtW c (e -> v -> r)) = c

type Env (CxtW c (e -> v -> r))

Defined in Control.Static.Closure

type Env (CxtW c (e -> v -> r)) = e

type Part (CxtW c (e -> v -> r))

Defined in Control.Static.Closure

type Part (CxtW c (e -> v -> r)) = v -> r