unsafe package:template-haskell

unsafe :: Safety
template-haskell Language.Haskell.TH.Lib Language.Haskell.TH.Lib.Internal
Unsafe :: Safety
template-haskell Language.Haskell.TH Language.Haskell.TH.Syntax
unsafeCodeCoerce :: forall (r :: RuntimeRep) (a :: TYPE r) m . Quote m => m Exp -> Code m a
template-haskell Language.Haskell.TH Language.Haskell.TH.Syntax
Unsafely convert an untyped code representation into a typed code representation.
unsafeTExpCoerce :: forall (r :: RuntimeRep) (a :: TYPE r) m . Quote m => m Exp -> m (TExp a)
template-haskell Language.Haskell.TH.Syntax
Annotate the Template Haskell expression with a type This is unsafe because GHC cannot check for you that the expression really does have the type you claim it has. Representation-polymorphic since template-haskell-2.16.0.0.