module Plutarch.Internal.Trace (
  ptraceInfo,
  ptraceDebug,
  ptrace',
  ptrace,
) where

import Data.Kind (Type)
import Plutarch.Internal.Term (
  Config (NoTracing, Tracing),
  LogLevel (LogDebug),
  S,
  Term,
  pdelay,
  pforce,
  pgetConfig,
  phoistAcyclic,
  (#),
  type (:-->),
 )
import {-# SOURCE #-} Plutarch.String (PString)
import Plutarch.Unsafe (punsafeBuiltin)
import PlutusCore qualified as PLC

ptrace' :: Term s (PString :--> a :--> a)
ptrace' :: forall (s :: S) (a :: PType). Term s (PString :--> (a :--> a))
ptrace' = ClosedTerm (PString :--> (a :--> a))
-> Term s (PString :--> (a :--> a))
forall (a :: PType) (s :: S).
HasCallStack =>
ClosedTerm a -> Term s a
phoistAcyclic (ClosedTerm (PString :--> (a :--> a))
 -> Term s (PString :--> (a :--> a)))
-> ClosedTerm (PString :--> (a :--> a))
-> Term s (PString :--> (a :--> a))
forall a b. (a -> b) -> a -> b
$ Term s (PDelayed (PString :--> (a :--> a)))
-> Term s (PString :--> (a :--> a))
forall (s :: S) (a :: PType). Term s (PDelayed a) -> Term s a
pforce (Term s (PDelayed (PString :--> (a :--> a)))
 -> Term s (PString :--> (a :--> a)))
-> Term s (PDelayed (PString :--> (a :--> a)))
-> Term s (PString :--> (a :--> a))
forall a b. (a -> b) -> a -> b
$ DefaultFun -> Term s (PDelayed (PString :--> (a :--> a)))
forall (s :: S) (a :: PType). DefaultFun -> Term s a
punsafeBuiltin DefaultFun
PLC.Trace

{- | Trace the given message at the info level before evaluating the given
argument.

@since 1.6.0
-}
ptraceInfo ::
  forall (a :: S -> Type) (s :: S).
  Term s PString ->
  Term s a ->
  Term s a
ptraceInfo :: forall (a :: PType) (s :: S).
Term s PString -> Term s a -> Term s a
ptraceInfo Term s PString
msg Term s a
x = (Config -> Term s a) -> Term s a
forall (s :: S) (a :: PType). (Config -> Term s a) -> Term s a
pgetConfig ((Config -> Term s a) -> Term s a)
-> (Config -> Term s a) -> Term s a
forall a b. (a -> b) -> a -> b
$ \case
  Config
NoTracing -> Term s a
x
  Tracing LogLevel
_ TracingMode
_ -> Term s (PDelayed a) -> Term s a
forall (s :: S) (a :: PType). Term s (PDelayed a) -> Term s a
pforce (Term s (PDelayed a) -> Term s a)
-> Term s (PDelayed a) -> Term s a
forall a b. (a -> b) -> a -> b
$ Term s (PString :--> (PDelayed a :--> PDelayed a))
forall (s :: S) (a :: PType). Term s (PString :--> (a :--> a))
ptrace' Term s (PString :--> (PDelayed a :--> PDelayed a))
-> Term s PString -> Term s (PDelayed a :--> PDelayed a)
forall (s :: S) (a :: PType) (b :: PType).
Term s (a :--> b) -> Term s a -> Term s b
# Term s PString
msg Term s (PDelayed a :--> PDelayed a)
-> Term s (PDelayed a) -> Term s (PDelayed a)
forall (s :: S) (a :: PType) (b :: PType).
Term s (a :--> b) -> Term s a -> Term s b
# Term s a -> Term s (PDelayed a)
forall (s :: S) (a :: PType). Term s a -> Term s (PDelayed a)
pdelay Term s a
x

{- | Backward compatibility synonym for 'ptraceInfo'.

@since 1.6.0
-}
ptrace ::
  forall (a :: S -> Type) (s :: S).
  Term s PString ->
  Term s a ->
  Term s a
ptrace :: forall (a :: PType) (s :: S).
Term s PString -> Term s a -> Term s a
ptrace = Term s PString -> Term s a -> Term s a
forall (a :: PType) (s :: S).
Term s PString -> Term s a -> Term s a
ptraceInfo
{-# DEPRECATED ptrace "Use ptraceInfo" #-}

{- | Trace the given message at the debug level before evaluating the given
argument.

@since 1.6.0
-}
ptraceDebug ::
  forall (a :: S -> Type) (s :: S).
  Term s PString ->
  Term s a ->
  Term s a
ptraceDebug :: forall (a :: PType) (s :: S).
Term s PString -> Term s a -> Term s a
ptraceDebug Term s PString
msg Term s a
x = (Config -> Term s a) -> Term s a
forall (s :: S) (a :: PType). (Config -> Term s a) -> Term s a
pgetConfig ((Config -> Term s a) -> Term s a)
-> (Config -> Term s a) -> Term s a
forall a b. (a -> b) -> a -> b
$ \case
  Tracing LogLevel
LogDebug TracingMode
_ -> Term s (PDelayed a) -> Term s a
forall (s :: S) (a :: PType). Term s (PDelayed a) -> Term s a
pforce (Term s (PDelayed a) -> Term s a)
-> Term s (PDelayed a) -> Term s a
forall a b. (a -> b) -> a -> b
$ Term s (PString :--> (PDelayed a :--> PDelayed a))
forall (s :: S) (a :: PType). Term s (PString :--> (a :--> a))
ptrace' Term s (PString :--> (PDelayed a :--> PDelayed a))
-> Term s PString -> Term s (PDelayed a :--> PDelayed a)
forall (s :: S) (a :: PType) (b :: PType).
Term s (a :--> b) -> Term s a -> Term s b
# Term s PString
msg Term s (PDelayed a :--> PDelayed a)
-> Term s (PDelayed a) -> Term s (PDelayed a)
forall (s :: S) (a :: PType) (b :: PType).
Term s (a :--> b) -> Term s a -> Term s b
# Term s a -> Term s (PDelayed a)
forall (s :: S) (a :: PType). Term s a -> Term s (PDelayed a)
pdelay Term s a
x
  Config
_ -> Term s a
x