{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE OverloadedStrings #-}
{-# OPTIONS_GHC -Wno-unused-foralls #-}
{-# OPTIONS_GHC -fomit-interface-pragmas #-}
module PlutusTx.Plugin.Utils where
import Data.Proxy
import GHC.TypeLits
import PlutusTx.Code
import PlutusTx.Utils
{-# OPAQUE plc #-}
plc :: forall (loc::Symbol) a . Proxy loc -> a -> CompiledCode a
plc :: forall (loc :: Symbol) a. Proxy loc -> a -> CompiledCode a
plc Proxy loc
_ a
_ = ByteString
-> Maybe ByteString
-> CoverageIndex
-> CompiledCodeIn DefaultUni DefaultFun a
forall (uni :: * -> *) fun a.
ByteString
-> Maybe ByteString -> CoverageIndex -> CompiledCodeIn uni fun a
SerializedCode (String -> ByteString
forall a. String -> a
mustBeReplaced String
"plc") (String -> Maybe ByteString
forall a. String -> a
mustBeReplaced String
"pir") (String -> CoverageIndex
forall a. String -> a
mustBeReplaced String
"covidx")