Safe Haskell	None
Language	GHC2021

Plutarch.Internal.Other

Synopsis

printTerm :: forall (a :: S -> Type). HasCallStack => Config -> (forall (s :: S). Term s a) -> String
printScript :: Script -> String
data Flip (f :: k1 -> k2 -> Type) (a :: k2) (b :: k1)

Documentation

printTerm :: forall (a :: S -> Type). HasCallStack => Config -> (forall (s :: S). Term s a) -> String Source #

Prettyprint a Term via the PLC pretty printer

TODO: Heavily improve. It's unreadable right now.

We could convert the de Bruijn indices into names with:

show . prettyPlcReadableDef . (\(Right p) -> p) . Scripts.mkTermToEvaluate . compile $ term

printScript :: Script -> String Source #

Prettyprint a compiled Script via the PLC pretty printer

data Flip (f :: k1 -> k2 -> Type) (a :: k2) (b :: k1) Source #

Type level flip operation, reversing the order of arguments Commonly used in Plutarch to get the PTryFromExcess associated type of PTryFrom for a Plutarch type

Since: 1.12.0

Instances

Instances details

Generic (Flip f a b) Source #

Instance details

Defined in Plutarch.Internal.Other

Associated Types

type Rep (Flip f a b)
Instance details Defined in Plutarch.Internal.Other type Rep (Flip f a b) = D1 ('MetaData "Flip" "Plutarch.Internal.Other" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "Flip" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f b a))))

Methods

from :: Flip f a b -> Rep (Flip f a b) x Source #

to :: Rep (Flip f a b) x -> Flip f a b Source #

type Rep (Flip f a b) Source #

Instance details

Defined in Plutarch.Internal.Other

type Rep (Flip f a b) = D1 ('MetaData "Flip" "Plutarch.Internal.Other" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "Flip" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f b a))))