Language.Java.Inline.Internal.QQMarker

Documentation

qqMarker :: forall k (args_tys :: k) tyres (input :: Symbol) (mname :: Symbol) (antiqs :: Symbol) (line :: Nat) args_tuple b m. (tyres ~ Ty b, Coercibles args_tuple args_tys, Coercible b, HasCallStack) => Proxy input -> Proxy mname -> Proxy antiqs -> Proxy line -> args_tuple -> Proxy args_tys -> (args_tuple -> m b) -> m b

A function to indicate to the plugin the occurrence of java quasiquotations

class Coercibles xs (tys :: k) | xs -> tys

Instances

Coercibles () ()

Defined in Language.Java.Inline.Internal.QQMarker

(ty ~ Ty x, Coercible x, Coercibles xs tys) => Coercibles ((x, xs) :: Type) ('(ty, tys) :: (JType, k))

Defined in Language.Java.Inline.Internal.QQMarker