blob: bcc552d443d1181cb912c408347595a3c704d9d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE MagicHash #-}
module RepPolyWrappedVar where
import GHC.Exts
primop :: forall (l :: Levity) (a :: TYPE ('BoxedRep l)).
a -> Int -> (State# RealWorld -> (# State# RealWorld, Bool #))
-> State# RealWorld -> (# State# RealWorld, Weak# Int #)
primop = mkWeak# @a @Int @Bool
|