plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusPrelude

Synopsis

Reexports from base

(&) ∷ a → (a → b) → b infixl 1 Source #

& is a reverse application operator. This provides notational convenience. Its precedence is one higher than that of the forward application operator $, which allows & to be nested in $.

>>> 5 & (+1) & show
"6"

Since: base-4.8.0.0

(&&&)Arrow a ⇒ a b c → a b c' → a b (c, c') infixr 3 Source #

Fanout: send the input to both argument arrows and combine their output.

The default definition may be overridden with a more efficient version if desired.

(>>>) ∷ ∀ {k} cat (a ∷ k) (b ∷ k) (c ∷ k). Category cat ⇒ cat a b → cat b c → cat a c infixr 1 Source #

Left-to-right composition

(<&>)Functor f ⇒ f a → (a → b) → f b infixl 1 Source #

Flipped version of <$>.

(<&>) = flip fmap

Examples

Expand

Apply (+1) to a list, a Just and a Right:

>>> Just 2 <&> (+1)
Just 3
>>> [1,2,3] <&> (+1)
[2,3,4]
>>> Right 3 <&> (+1)
Right 4

Since: base-4.11.0.0

toListFoldable t ⇒ t a → [a] Source #

List of elements of a structure, from left to right. If the entire list is intended to be reduced via a fold, just fold the structure directly bypassing the list.

Examples

Expand

Basic usage:

>>> toList Nothing
[]
>>> toList (Just 42)
[42]
>>> toList (Left "foo")
[]
>>> toList (Node (Leaf 5) 17 (Node Empty 12 (Leaf 8)))
[5,17,12,8]

For lists, toList is the identity:

>>> toList [1, 2, 3]
[1,2,3]

Since: base-4.8.0.0

firstBifunctor p ⇒ (a → b) → p a c → p b c Source #

Map covariantly over the first argument.

first f ≡ bimap f id

Examples

Expand
>>> first toUpper ('j', 3)
('J',3)
>>> first toUpper (Left 'j')
Left 'J'

secondBifunctor p ⇒ (b → c) → p a b → p a c Source #

Map covariantly over the second argument.

secondbimap id

Examples

Expand
>>> second (+1) ('j', 3)
('j',4)
>>> second (+1) (Right 3)
Right 4

on ∷ (b → b → c) → (a → b) → a → a → c infixl 0 Source #

on b u x y runs the binary function b on the results of applying unary function u to two arguments x and y. From the opposite perspective, it transforms two inputs and combines the outputs.

((+) `on` f) x y = f x + f y

Typical usage: sortBy (compare `on` fst).

Algebraic properties:

  • (*) `on` id = (*) -- (if (*) ∉ {⊥, const ⊥})
  • ((*) `on` f) `on` g = (*) `on` (f . g)
  • flip on f . flip on g = flip on (g . f)

isNothingMaybe a → Bool Source #

The isNothing function returns True iff its argument is Nothing.

Examples

Expand

Basic usage:

>>> isNothing (Just 3)
False
>>> isNothing (Just ())
False
>>> isNothing Nothing
True

Only the outer constructor is taken into consideration:

>>> isNothing (Just Nothing)
False

isJustMaybe a → Bool Source #

The isJust function returns True iff its argument is of the form Just _.

Examples

Expand

Basic usage:

>>> isJust (Just 3)
True
>>> isJust (Just ())
True
>>> isJust Nothing
False

Only the outer constructor is taken into consideration:

>>> isJust (Just Nothing)
True

fromMaybe ∷ a → Maybe a → a Source #

The fromMaybe function takes a default value and a Maybe value. If the Maybe is Nothing, it returns the default value; otherwise, it returns the value contained in the Maybe.

Examples

Expand

Basic usage:

>>> fromMaybe "" (Just "Hello, World!")
"Hello, World!"
>>> fromMaybe "" Nothing
""

Read an integer from a string using readMaybe. If we fail to parse an integer, we want to return 0 by default:

>>> import Text.Read ( readMaybe )
>>> fromMaybe 0 (readMaybe "5")
5
>>> fromMaybe 0 (readMaybe "")
0

guardAlternative f ⇒ Bool → f () Source #

Conditional failure of Alternative computations. Defined by

guard True  = pure ()
guard False = empty

Examples

Expand

Common uses of guard include conditionally signaling an error in an error monad and conditionally rejecting the current choice in an Alternative-based parser.

As an example of signaling an error in the error monad Maybe, consider a safe division function safeDiv x y that returns Nothing when the denominator y is zero and Just (x `div` y) otherwise. For example:

>>> safeDiv 4 0
Nothing
>>> safeDiv 4 2
Just 2

A definition of safeDiv using guards, but not guard:

safeDiv :: Int -> Int -> Maybe Int
safeDiv x y | y /= 0    = Just (x `div` y)
            | otherwise = Nothing

A definition of safeDiv using guard and Monad do-notation:

safeDiv :: Int -> Int -> Maybe Int
safeDiv x y = do
  guard (y /= 0)
  return (x `div` y)

foldl'Foldable t ⇒ (b → a → b) → b → t a → b Source #

Left-associative fold of a structure but with strict application of the operator.

This ensures that each step of the fold is forced to Weak Head Normal Form before being applied, avoiding the collection of thunks that would otherwise occur. This is often what you want to strictly reduce a finite structure to a single strict result (e.g. sum).

For a general Foldable structure this should be semantically identical to,

foldl' f z = foldl' f z . toList

Since: base-4.6.0.0

for_ ∷ (Foldable t, Applicative f) ⇒ t a → (a → f b) → f () Source #

for_ is traverse_ with its arguments flipped. For a version that doesn't ignore the results see for. This is forM_ generalised to Applicative actions.

for_ is just like forM_, but generalised to Applicative actions.

Examples

Expand

Basic usage:

>>> for_ [1..4] print
1
2
3
4

traverse_ ∷ (Foldable t, Applicative f) ⇒ (a → f b) → t a → f () Source #

Map each element of a structure to an Applicative action, evaluate these actions from left to right, and ignore the results. For a version that doesn't ignore the results see traverse.

traverse_ is just like mapM_, but generalised to Applicative actions.

Examples

Expand

Basic usage:

>>> traverse_ print ["Hello", "world", "!"]
"Hello"
"world"
"!"

fold ∷ (Foldable t, Monoid m) ⇒ t m → m Source #

Given a structure with elements whose type is a Monoid, combine them via the monoid's (<>) operator. This fold is right-associative and lazy in the accumulator. When you need a strict left-associative fold, use foldMap' instead, with id as the map.

Examples

Expand

Basic usage:

>>> fold [[1, 2, 3], [4, 5], [6], []]
[1,2,3,4,5,6]
>>> fold $ Node (Leaf (Sum 1)) (Sum 3) (Leaf (Sum 5))
Sum {getSum = 9}

Folds of unbounded structures do not terminate when the monoid's (<>) operator is strict:

>>> fold (repeat Nothing)
* Hangs forever *

Lazy corecursive folds of unbounded structures are fine:

>>> take 12 $ fold $ map (\i -> [i..i+2]) [0..]
[0,1,2,1,2,3,2,3,4,3,4,5]
>>> sum $ take 4000000 $ fold $ map (\i -> [i..i+2]) [0..]
2666668666666

for ∷ (Traversable t, Applicative f) ⇒ t a → (a → f b) → f (t b) Source #

for is traverse with its arguments flipped. For a version that ignores the results see for_.

throw ∷ ∀ (r ∷ RuntimeRep) (a ∷ TYPE r) e. Exception e ⇒ e → a Source #

Throw an exception. Exceptions may be thrown from purely functional code, but may only be caught within the IO monad.

WARNING: You may want to use throwIO instead so that your pure code stays exception-free.

joinMonad m ⇒ m (m a) → m a Source #

The join function is the conventional monad join operator. It is used to remove one level of monadic structure, projecting its bound argument into the outer level.

'join bss' can be understood as the do expression

do bs <- bss
   bs

Examples

Expand

A common use of join is to run an IO computation returned from an STM transaction, since STM transactions can't perform IO directly. Recall that

atomically :: STM a -> IO a

is used to run STM transactions atomically. So, by specializing the types of atomically and join to

atomically :: STM (IO b) -> IO (IO b)
join       :: IO (IO b)  -> IO b

we can compose them as

join . atomically :: STM (IO b) -> IO b

to run an STM transaction and the IO action it returns.

(<=<)Monad m ⇒ (b → m c) → (a → m b) → a → m c infixr 1 Source #

Right-to-left composition of Kleisli arrows. (>=>), with the arguments flipped.

Note how this operator resembles function composition (.):

(.)   ::            (b ->   c) -> (a ->   b) -> a ->   c
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c

(>=>)Monad m ⇒ (a → m b) → (b → m c) → a → m c infixr 1 Source #

Left-to-right composition of Kleisli arrows.

'(bs >=> cs) a' can be understood as the do expression

do b <- bs a
   cs b

($>)Functor f ⇒ f a → b → f b infixl 4 Source #

Flipped version of <$.

Examples

Expand

Replace the contents of a Maybe Int with a constant String:

>>> Nothing $> "foo"
Nothing
>>> Just 90210 $> "foo"
Just "foo"

Replace the contents of an Either Int Int with a constant String, resulting in an Either Int String:

>>> Left 8675309 $> "foo"
Left 8675309
>>> Right 8675309 $> "foo"
Right "foo"

Replace each element of a list with a constant String:

>>> [1,2,3] $> "foo"
["foo","foo","foo"]

Replace the second element of a pair with a constant String:

>>> (1,2) $> "foo"
(1,"foo")

Since: base-4.7.0.0

fromRight ∷ b → Either a b → b Source #

Return the contents of a Right-value or a default value otherwise.

Examples

Expand

Basic usage:

>>> fromRight 1 (Right 3)
3
>>> fromRight 1 (Left "foo")
1

Since: base-4.10.0.0

isRightEither a b → Bool Source #

Return True if the given value is a Right-value, False otherwise.

Examples

Expand

Basic usage:

>>> isRight (Left "foo")
False
>>> isRight (Right 3)
True

Assuming a Left value signifies some sort of error, we can use isRight to write a very simple reporting function that only outputs "SUCCESS" when a computation has succeeded.

This example shows how isRight might be used to avoid pattern matching when one does not care about the value contained in the constructor:

>>> import Control.Monad ( when )
>>> let report e = when (isRight e) $ putStrLn "SUCCESS"
>>> report (Left "parse error")
>>> report (Right 1)
SUCCESS

Since: base-4.7.0.0

isLeftEither a b → Bool Source #

Return True if the given value is a Left-value, False otherwise.

Examples

Expand

Basic usage:

>>> isLeft (Left "foo")
True
>>> isLeft (Right 3)
False

Assuming a Left value signifies some sort of error, we can use isLeft to write a very simple error-reporting function that does absolutely nothing in the case of success, and outputs "ERROR" if any error occurred.

This example shows how isLeft might be used to avoid pattern matching when one does not care about the value contained in the constructor:

>>> import Control.Monad ( when )
>>> let report e = when (isLeft e) $ putStrLn "ERROR"
>>> report (Right 1)
>>> report (Left "parse error")
ERROR

Since: base-4.7.0.0

voidFunctor f ⇒ f a → f () Source #

void value discards or ignores the result of evaluation, such as the return value of an IO action.

Examples

Expand

Replace the contents of a Maybe Int with unit:

>>> void Nothing
Nothing
>>> void (Just 3)
Just ()

Replace the contents of an Either Int Int with unit, resulting in an Either Int ():

>>> void (Left 8675309)
Left 8675309
>>> void (Right 8675309)
Right ()

Replace every element of a list with unit:

>>> void [1,2,3]
[(),(),()]

Replace the second element of a pair with unit:

>>> void (1,2)
(1,())

Discard the result of an IO action:

>>> mapM print [1,2]
1
2
[(),()]
>>> void $ mapM print [1,2]
1
2

throughFunctor f ⇒ (a → f b) → a → f a Source #

Makes an effectful function ignore its result value and return its input value.

coerce ∷ ∀ {k ∷ RuntimeRep} (a ∷ TYPE k) (b ∷ TYPE k). Coercible a b ⇒ a → b Source #

The function coerce allows you to safely convert between values of types that have the same representation with no run-time overhead. In the simplest case you can use it instead of a newtype constructor, to go from the newtype's concrete type to the abstract type. But it also works in more complicated settings, e.g. converting a list of newtypes to a list of concrete types.

When used in conversions involving a newtype wrapper, make sure the newtype constructor is in scope.

This function is representation-polymorphic, but the RuntimeRep type argument is marked as Inferred, meaning that it is not available for visible type application. This means the typechecker will accept coerce @Int @Age 42.

Examples

Expand
>>> newtype TTL = TTL Int deriving (Eq, Ord, Show)
>>> newtype Age = Age Int deriving (Eq, Ord, Show)
>>> coerce (Age 42) :: TTL
TTL 42
>>> coerce (+ (1 :: Int)) (Age 42) :: TTL
TTL 43
>>> coerce (map (+ (1 :: Int))) [Age 42, Age 24] :: [TTL]
[TTL 43,TTL 25]

coerceViaCoercible a b ⇒ (a → b) → a → b Source #

Coerce the second argument to the result type of the first one. The motivation for this function is that it's often more annoying to explicitly specify a target type for coerce than to construct an explicit coercion function, so this combinator can be used in cases like that. Plus the code reads better, as it becomes clear what and where gets wrapped/unwrapped.

coerceArgCoercible a b ⇒ (a → s) → b → s Source #

Same as f -> f . coerce, but does not create any closures and so is completely free.

coerceResCoercible s t ⇒ (a → s) → a → t Source #

Same as f -> coerce . f, but does not create any closures and so is completely free.

class Generic a Source #

Representable types of kind *. This class is derivable in GHC with the DeriveGeneric flag on.

A Generic instance must satisfy the following laws:

from . toid
to . fromid

Minimal complete definition

from, to

Instances

Instances details
Generic Value 
Instance details

Defined in Data.Aeson.Types.Internal

Associated Types

type Rep Value ∷ TypeType Source #

Methods

from ∷ Value → Rep Value x Source #

toRep Value x → Value Source #

Generic All 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep AllTypeType Source #

Methods

fromAllRep All x Source #

toRep All x → All Source #

Generic Any 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep AnyTypeType Source #

Methods

fromAnyRep Any x Source #

toRep Any x → Any Source #

Generic Version 
Instance details

Defined in Data.Version

Associated Types

type Rep VersionTypeType Source #

Methods

fromVersionRep Version x Source #

toRep Version x → Version Source #

Generic Void 
Instance details

Defined in GHC.Generics

Associated Types

type Rep VoidTypeType Source #

Methods

fromVoidRep Void x Source #

toRep Void x → Void Source #

Generic ByteOrder 
Instance details

Defined in GHC.ByteOrder

Associated Types

type Rep ByteOrderTypeType Source #

Generic Fingerprint 
Instance details

Defined in GHC.Generics

Associated Types

type Rep FingerprintTypeType Source #

Generic Associativity 
Instance details

Defined in GHC.Generics

Associated Types

type Rep AssociativityTypeType Source #

Generic DecidedStrictness 
Instance details

Defined in GHC.Generics

Associated Types

type Rep DecidedStrictnessTypeType Source #

Generic Fixity 
Instance details

Defined in GHC.Generics

Associated Types

type Rep FixityTypeType Source #

Methods

fromFixityRep Fixity x Source #

toRep Fixity x → Fixity Source #

Generic SourceStrictness 
Instance details

Defined in GHC.Generics

Associated Types

type Rep SourceStrictnessTypeType Source #

Generic SourceUnpackedness 
Instance details

Defined in GHC.Generics

Associated Types

type Rep SourceUnpackednessTypeType Source #

Generic ExitCode 
Instance details

Defined in GHC.IO.Exception

Associated Types

type Rep ExitCodeTypeType Source #

Generic CCFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep CCFlagsTypeType Source #

Methods

fromCCFlagsRep CCFlags x Source #

toRep CCFlags x → CCFlags Source #

Generic ConcFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep ConcFlagsTypeType Source #

Generic DebugFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep DebugFlagsTypeType Source #

Generic DoCostCentres 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep DoCostCentresTypeType Source #

Generic DoHeapProfile 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep DoHeapProfileTypeType Source #

Generic DoTrace 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep DoTraceTypeType Source #

Methods

fromDoTraceRep DoTrace x Source #

toRep DoTrace x → DoTrace Source #

Generic GCFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep GCFlagsTypeType Source #

Methods

fromGCFlagsRep GCFlags x Source #

toRep GCFlags x → GCFlags Source #

Generic GiveGCStats 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep GiveGCStatsTypeType Source #

Generic MiscFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep MiscFlagsTypeType Source #

Generic ParFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep ParFlagsTypeType Source #

Generic ProfFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep ProfFlagsTypeType Source #

Generic RTSFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep RTSFlagsTypeType Source #

Generic TickyFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep TickyFlagsTypeType Source #

Generic TraceFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep TraceFlagsTypeType Source #

Generic SrcLoc 
Instance details

Defined in GHC.Generics

Associated Types

type Rep SrcLocTypeType Source #

Methods

fromSrcLocRep SrcLoc x Source #

toRep SrcLoc x → SrcLoc Source #

Generic GCDetails 
Instance details

Defined in GHC.Stats

Associated Types

type Rep GCDetailsTypeType Source #

Generic RTSStats 
Instance details

Defined in GHC.Stats

Associated Types

type Rep RTSStatsTypeType Source #

Generic GeneralCategory 
Instance details

Defined in GHC.Generics

Associated Types

type Rep GeneralCategoryTypeType Source #

Generic OsChar 
Instance details

Defined in System.OsString.Internal.Types.Hidden

Associated Types

type Rep OsChar ∷ TypeType Source #

Methods

from ∷ OsChar → Rep OsChar x Source #

toRep OsChar x → OsChar Source #

Generic OsString 
Instance details

Defined in System.OsString.Internal.Types.Hidden

Associated Types

type Rep OsString ∷ TypeType Source #

Methods

from ∷ OsString → Rep OsString x Source #

toRep OsString x → OsString Source #

Generic PosixChar 
Instance details

Defined in System.OsString.Internal.Types.Hidden

Associated Types

type Rep PosixChar ∷ TypeType Source #

Methods

from ∷ PosixChar → Rep PosixChar x Source #

toRep PosixChar x → PosixChar Source #

Generic PosixString 
Instance details

Defined in System.OsString.Internal.Types.Hidden

Associated Types

type Rep PosixString ∷ TypeType Source #

Methods

from ∷ PosixString → Rep PosixString x Source #

toRep PosixString x → PosixString Source #

Generic WindowsChar 
Instance details

Defined in System.OsString.Internal.Types.Hidden

Associated Types

type Rep WindowsChar ∷ TypeType Source #

Methods

from ∷ WindowsChar → Rep WindowsChar x Source #

toRep WindowsChar x → WindowsChar Source #

Generic WindowsString 
Instance details

Defined in System.OsString.Internal.Types.Hidden

Associated Types

type Rep WindowsString ∷ TypeType Source #

Methods

from ∷ WindowsString → Rep WindowsString x Source #

toRep WindowsString x → WindowsString Source #

Generic Filler 
Instance details

Defined in Flat.Filler

Associated Types

type Rep Filler ∷ TypeType Source #

Methods

from ∷ Filler → Rep Filler x Source #

toRep Filler x → Filler Source #

Generic ForeignSrcLang 
Instance details

Defined in GHC.ForeignSrcLang.Type

Associated Types

type Rep ForeignSrcLangTypeType Source #

Generic Extension 
Instance details

Defined in GHC.LanguageExtensions.Type

Associated Types

type Rep ExtensionTypeType Source #

Generic ClosureType 
Instance details

Defined in GHC.Exts.Heap.ClosureTypes

Associated Types

type Rep ClosureType ∷ TypeType Source #

Methods

from ∷ ClosureType → Rep ClosureType x Source #

toRep ClosureType x → ClosureType Source #

Generic PrimType 
Instance details

Defined in GHC.Exts.Heap.Closures

Associated Types

type Rep PrimType ∷ TypeType Source #

Methods

from ∷ PrimType → Rep PrimType x Source #

toRep PrimType x → PrimType Source #

Generic TsoFlags 
Instance details

Defined in GHC.Exts.Heap.Closures

Associated Types

type Rep TsoFlags ∷ TypeType Source #

Methods

from ∷ TsoFlags → Rep TsoFlags x Source #

toRep TsoFlags x → TsoFlags Source #

Generic WhatNext 
Instance details

Defined in GHC.Exts.Heap.Closures

Associated Types

type Rep WhatNext ∷ TypeType Source #

Methods

from ∷ WhatNext → Rep WhatNext x Source #

toRep WhatNext x → WhatNext Source #

Generic WhyBlocked 
Instance details

Defined in GHC.Exts.Heap.Closures

Associated Types

type Rep WhyBlocked ∷ TypeType Source #

Methods

from ∷ WhyBlocked → Rep WhyBlocked x Source #

toRep WhyBlocked x → WhyBlocked Source #

Generic StgInfoTable 
Instance details

Defined in GHC.Exts.Heap.InfoTable.Types

Associated Types

type Rep StgInfoTable ∷ TypeType Source #

Methods

from ∷ StgInfoTable → Rep StgInfoTable x Source #

toRep StgInfoTable x → StgInfoTable Source #

Generic CostCentre 
Instance details

Defined in GHC.Exts.Heap.ProfInfo.Types

Associated Types

type Rep CostCentre ∷ TypeType Source #

Methods

from ∷ CostCentre → Rep CostCentre x Source #

toRep CostCentre x → CostCentre Source #

Generic CostCentreStack 
Instance details

Defined in GHC.Exts.Heap.ProfInfo.Types

Associated Types

type Rep CostCentreStack ∷ TypeType Source #

Methods

from ∷ CostCentreStack → Rep CostCentreStack x Source #

toRep CostCentreStack x → CostCentreStack Source #

Generic IndexTable 
Instance details

Defined in GHC.Exts.Heap.ProfInfo.Types

Associated Types

type Rep IndexTable ∷ TypeType Source #

Methods

from ∷ IndexTable → Rep IndexTable x Source #

toRep IndexTable x → IndexTable Source #

Generic StgTSOProfInfo 
Instance details

Defined in GHC.Exts.Heap.ProfInfo.Types

Associated Types

type Rep StgTSOProfInfo ∷ TypeType Source #

Methods

from ∷ StgTSOProfInfo → Rep StgTSOProfInfo x Source #

toRep StgTSOProfInfo x → StgTSOProfInfo Source #

Generic Ordering 
Instance details

Defined in GHC.Generics

Associated Types

type Rep OrderingTypeType Source #

Generic Half 
Instance details

Defined in Numeric.Half.Internal

Associated Types

type Rep Half ∷ TypeType Source #

Methods

from ∷ Half → Rep Half x Source #

toRep Half x → Half Source #

Generic InvalidPosException 
Instance details

Defined in Text.Megaparsec.Pos

Associated Types

type Rep InvalidPosException ∷ TypeType Source #

Methods

from ∷ InvalidPosException → Rep InvalidPosException x Source #

toRep InvalidPosException x → InvalidPosException Source #

Generic Pos 
Instance details

Defined in Text.Megaparsec.Pos

Associated Types

type Rep PosTypeType Source #

Methods

fromPosRep Pos x Source #

toRep Pos x → Pos Source #

Generic SourcePos 
Instance details

Defined in Text.Megaparsec.Pos

Associated Types

type Rep SourcePosTypeType Source #

Generic URI 
Instance details

Defined in Network.URI

Associated Types

type Rep URI ∷ TypeType Source #

Methods

from ∷ URI → Rep URI x Source #

toRep URI x → URI Source #

Generic URIAuth 
Instance details

Defined in Network.URI

Associated Types

type Rep URIAuth ∷ TypeType Source #

Methods

from ∷ URIAuth → Rep URIAuth x Source #

toRep URIAuth x → URIAuth Source #

Generic Ann Source # 
Instance details

Defined in PlutusCore.Annotation

Associated Types

type Rep AnnTypeType Source #

Methods

fromAnnRep Ann x Source #

toRep Ann x → Ann Source #

Generic Inline Source # 
Instance details

Defined in PlutusCore.Annotation

Associated Types

type Rep InlineTypeType Source #

Methods

fromInlineRep Inline x Source #

toRep Inline x → Inline Source #

Generic SrcSpan Source # 
Instance details

Defined in PlutusCore.Annotation

Associated Types

type Rep SrcSpanTypeType Source #

Methods

fromSrcSpanRep SrcSpan x Source #

toRep SrcSpan x → SrcSpan Source #

Generic SrcSpans Source # 
Instance details

Defined in PlutusCore.Annotation

Associated Types

type Rep SrcSpansTypeType Source #

Generic Data Source # 
Instance details

Defined in PlutusCore.Data

Associated Types

type Rep DataTypeType Source #

Methods

fromDataRep Data x Source #

toRep Data x → Data Source #

Generic DeBruijn Source # 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Associated Types

type Rep DeBruijnTypeType Source #

Generic FreeVariableError Source # 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Associated Types

type Rep FreeVariableErrorTypeType Source #

Generic Index Source # 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Associated Types

type Rep IndexTypeType Source #

Methods

fromIndexRep Index x Source #

toRep Index x → Index Source #

Generic NamedDeBruijn Source # 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Associated Types

type Rep NamedDeBruijnTypeType Source #

Generic NamedTyDeBruijn Source # 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Associated Types

type Rep NamedTyDeBruijnTypeType Source #

Generic TyDeBruijn Source # 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Associated Types

type Rep TyDeBruijnTypeType Source #

Generic DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Associated Types

type Rep DefaultFunTypeType Source #

Generic ParserError Source # 
Instance details

Defined in PlutusCore.Error

Associated Types

type Rep ParserErrorTypeType Source #

Generic ParserErrorBundle Source # 
Instance details

Defined in PlutusCore.Error

Associated Types

type Rep ParserErrorBundleTypeType Source #

Generic CostModelApplyError Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Associated Types

type Rep CostModelApplyErrorTypeType Source #

Generic Coefficient0 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient0TypeType Source #

Generic Coefficient00 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient00TypeType Source #

Generic Coefficient01 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient01TypeType Source #

Generic Coefficient02 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient02TypeType Source #

Generic Coefficient1 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient1TypeType Source #

Generic Coefficient10 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient10TypeType Source #

Generic Coefficient11 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient11TypeType Source #

Generic Coefficient2 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient2TypeType Source #

Generic Coefficient20 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient20TypeType Source #

Generic Intercept Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep InterceptTypeType Source #

Generic ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelConstantOrLinearTypeType Source #

Generic ModelConstantOrOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelConstantOrOneArgumentTypeType Source #

Generic ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelConstantOrTwoArgumentsTypeType Source #

Generic ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelFiveArgumentsTypeType Source #

Generic ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelFourArgumentsTypeType Source #

Generic ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelOneArgumentTypeType Source #

Generic ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelSixArgumentsTypeType Source #

Generic ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelSubtractedSizesTypeType Source #

Generic ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelThreeArgumentsTypeType Source #

Generic ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelTwoArgumentsTypeType Source #

Generic OneVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep OneVariableLinearFunctionTypeType Source #

Generic OneVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep OneVariableQuadraticFunctionTypeType Source #

Generic Slope Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep SlopeTypeType Source #

Methods

fromSlopeRep Slope x Source #

toRep Slope x → Slope Source #

Generic TwoVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep TwoVariableLinearFunctionTypeType Source #

Generic TwoVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep TwoVariableQuadraticFunctionTypeType Source #

Generic ExBudget Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Associated Types

type Rep ExBudgetTypeType Source #

Generic ExCPU Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExCPUTypeType Source #

Methods

fromExCPURep ExCPU x Source #

toRep ExCPU x → ExCPU Source #

Generic ExMemory Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExMemoryTypeType Source #

Generic ExtensionFun Source # 
Instance details

Defined in PlutusCore.Examples.Builtins

Associated Types

type Rep ExtensionFunTypeType Source #

Generic Name Source # 
Instance details

Defined in PlutusCore.Name.Unique

Associated Types

type Rep NameTypeType Source #

Methods

fromNameRep Name x Source #

toRep Name x → Name Source #

Generic TyName Source # 
Instance details

Defined in PlutusCore.Name.Unique

Associated Types

type Rep TyNameTypeType Source #

Methods

fromTyNameRep TyName x Source #

toRep TyName x → TyName Source #

Generic Version Source # 
Instance details

Defined in PlutusCore.Version

Associated Types

type Rep VersionTypeType Source #

Methods

fromVersionRep Version x Source #

toRep Version x → Version Source #

Generic CekUserError Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Associated Types

type Rep CekUserErrorTypeType Source #

Generic StepKind Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Associated Types

type Rep StepKindTypeType Source #

Generic SatInt 
Instance details

Defined in Data.SatInt

Associated Types

type Rep SatIntTypeType Source #

Methods

fromSatIntRep SatInt x Source #

toRep SatInt x → SatInt Source #

Generic Mode 
Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJ

Associated Types

type Rep ModeTypeType Source #

Methods

fromModeRep Mode x Source #

toRep Mode x → Mode Source #

Generic Style 
Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJ

Associated Types

type Rep StyleTypeType Source #

Methods

fromStyleRep Style x Source #

toRep Style x → Style Source #

Generic TextDetails 
Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJ

Associated Types

type Rep TextDetailsTypeType Source #

Generic Doc 
Instance details

Defined in Text.PrettyPrint.HughesPJ

Associated Types

type Rep DocTypeType Source #

Methods

fromDocRep Doc x Source #

toRep Doc x → Doc Source #

Generic AnnLookup 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep AnnLookupTypeType Source #

Generic AnnTarget 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep AnnTargetTypeType Source #

Generic Bang 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep BangTypeType Source #

Methods

fromBangRep Bang x Source #

toRep Bang x → Bang Source #

Generic Body 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep BodyTypeType Source #

Methods

fromBodyRep Body x Source #

toRep Body x → Body Source #

Generic Bytes 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep BytesTypeType Source #

Methods

fromBytesRep Bytes x Source #

toRep Bytes x → Bytes Source #

Generic Callconv 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep CallconvTypeType Source #

Generic Clause 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep ClauseTypeType Source #

Methods

fromClauseRep Clause x Source #

toRep Clause x → Clause Source #

Generic Con 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep ConTypeType Source #

Methods

fromConRep Con x Source #

toRep Con x → Con Source #

Generic Dec 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep DecTypeType Source #

Methods

fromDecRep Dec x Source #

toRep Dec x → Dec Source #

Generic DecidedStrictness 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep DecidedStrictnessTypeType Source #

Generic DerivClause 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep DerivClauseTypeType Source #

Generic DerivStrategy 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep DerivStrategyTypeType Source #

Generic DocLoc 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep DocLocTypeType Source #

Methods

fromDocLocRep DocLoc x Source #

toRep DocLoc x → DocLoc Source #

Generic Exp 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep ExpTypeType Source #

Methods

fromExpRep Exp x Source #

toRep Exp x → Exp Source #

Generic FamilyResultSig 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep FamilyResultSigTypeType Source #

Generic Fixity 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep FixityTypeType Source #

Methods

fromFixityRep Fixity x Source #

toRep Fixity x → Fixity Source #

Generic FixityDirection 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep FixityDirectionTypeType Source #

Generic Foreign 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep ForeignTypeType Source #

Methods

fromForeignRep Foreign x Source #

toRep Foreign x → Foreign Source #

Generic FunDep 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep FunDepTypeType Source #

Methods

fromFunDepRep FunDep x Source #

toRep FunDep x → FunDep Source #

Generic Guard 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep GuardTypeType Source #

Methods

fromGuardRep Guard x Source #

toRep Guard x → Guard Source #

Generic Info 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep InfoTypeType Source #

Methods

fromInfoRep Info x Source #

toRep Info x → Info Source #

Generic InjectivityAnn 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep InjectivityAnnTypeType Source #

Generic Inline 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep InlineTypeType Source #

Methods

fromInlineRep Inline x Source #

toRep Inline x → Inline Source #

Generic Lit 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep LitTypeType Source #

Methods

fromLitRep Lit x Source #

toRep Lit x → Lit Source #

Generic Loc 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep LocTypeType Source #

Methods

fromLocRep Loc x Source #

toRep Loc x → Loc Source #

Generic Match 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep MatchTypeType Source #

Methods

fromMatchRep Match x Source #

toRep Match x → Match Source #

Generic ModName 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep ModNameTypeType Source #

Methods

fromModNameRep ModName x Source #

toRep ModName x → ModName Source #

Generic Module 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep ModuleTypeType Source #

Methods

fromModuleRep Module x Source #

toRep Module x → Module Source #

Generic ModuleInfo 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep ModuleInfoTypeType Source #

Generic Name 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep NameTypeType Source #

Methods

fromNameRep Name x Source #

toRep Name x → Name Source #

Generic NameFlavour 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep NameFlavourTypeType Source #

Generic NameSpace 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep NameSpaceTypeType Source #

Generic OccName 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep OccNameTypeType Source #

Methods

fromOccNameRep OccName x Source #

toRep OccName x → OccName Source #

Generic Overlap 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep OverlapTypeType Source #

Methods

fromOverlapRep Overlap x Source #

toRep Overlap x → Overlap Source #

Generic Pat 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep PatTypeType Source #

Methods

fromPatRep Pat x Source #

toRep Pat x → Pat Source #

Generic PatSynArgs 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep PatSynArgsTypeType Source #

Generic PatSynDir 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep PatSynDirTypeType Source #

Generic Phases 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep PhasesTypeType Source #

Methods

fromPhasesRep Phases x Source #

toRep Phases x → Phases Source #

Generic PkgName 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep PkgNameTypeType Source #

Methods

fromPkgNameRep PkgName x Source #

toRep PkgName x → PkgName Source #

Generic Pragma 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep PragmaTypeType Source #

Methods

fromPragmaRep Pragma x Source #

toRep Pragma x → Pragma Source #

Generic Range 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep RangeTypeType Source #

Methods

fromRangeRep Range x Source #

toRep Range x → Range Source #

Generic Role 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep RoleTypeType Source #

Methods

fromRoleRep Role x Source #

toRep Role x → Role Source #

Generic RuleBndr 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep RuleBndrTypeType Source #

Generic RuleMatch 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep RuleMatchTypeType Source #

Generic Safety 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep SafetyTypeType Source #

Methods

fromSafetyRep Safety x Source #

toRep Safety x → Safety Source #

Generic SourceStrictness 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep SourceStrictnessTypeType Source #

Generic SourceUnpackedness 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep SourceUnpackednessTypeType Source #

Generic Specificity 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep SpecificityTypeType Source #

Generic Stmt 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep StmtTypeType Source #

Methods

fromStmtRep Stmt x Source #

toRep Stmt x → Stmt Source #

Generic TyLit 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep TyLitTypeType Source #

Methods

fromTyLitRep TyLit x Source #

toRep TyLit x → TyLit Source #

Generic TySynEqn 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep TySynEqnTypeType Source #

Generic Type 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep TypeTypeType Source #

Methods

fromTypeRep Type x Source #

toRep Type x → Type Source #

Generic TypeFamilyHead 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep TypeFamilyHeadTypeType Source #

Generic ConstructorInfo 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep ConstructorInfo ∷ TypeType Source #

Methods

from ∷ ConstructorInfo → Rep ConstructorInfo x Source #

toRep ConstructorInfo x → ConstructorInfo Source #

Generic ConstructorVariant 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep ConstructorVariant ∷ TypeType Source #

Methods

from ∷ ConstructorVariant → Rep ConstructorVariant x Source #

toRep ConstructorVariant x → ConstructorVariant Source #

Generic DatatypeInfo 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep DatatypeInfo ∷ TypeType Source #

Methods

from ∷ DatatypeInfo → Rep DatatypeInfo x Source #

toRep DatatypeInfo x → DatatypeInfo Source #

Generic DatatypeVariant 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep DatatypeVariant ∷ TypeType Source #

Methods

from ∷ DatatypeVariant → Rep DatatypeVariant x Source #

toRep DatatypeVariant x → DatatypeVariant Source #

Generic FieldStrictness 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep FieldStrictness ∷ TypeType Source #

Methods

from ∷ FieldStrictness → Rep FieldStrictness x Source #

toRep FieldStrictness x → FieldStrictness Source #

Generic Strictness 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep Strictness ∷ TypeType Source #

Methods

from ∷ Strictness → Rep Strictness x Source #

toRep Strictness x → Strictness Source #

Generic Unpackedness 
Instance details

Defined in Language.Haskell.TH.Datatype

Associated Types

type Rep Unpackedness ∷ TypeType Source #

Methods

from ∷ Unpackedness → Rep Unpackedness x Source #

toRep Unpackedness x → Unpackedness Source #

Generic () 
Instance details

Defined in GHC.Generics

Associated Types

type Rep () ∷ TypeType Source #

Methods

from ∷ () → Rep () x Source #

toRep () x → () Source #

Generic Bool 
Instance details

Defined in GHC.Generics

Associated Types

type Rep BoolTypeType Source #

Methods

fromBoolRep Bool x Source #

toRep Bool x → Bool Source #

Generic (Only a) 
Instance details

Defined in Data.Tuple.Only

Associated Types

type Rep (Only a) ∷ TypeType Source #

Methods

from ∷ Only a → Rep (Only a) x Source #

toRep (Only a) x → Only a Source #

Generic (ZipList a) 
Instance details

Defined in Control.Applicative

Associated Types

type Rep (ZipList a) ∷ TypeType Source #

Methods

fromZipList a → Rep (ZipList a) x Source #

toRep (ZipList a) x → ZipList a Source #

Generic (Complex a) 
Instance details

Defined in Data.Complex

Associated Types

type Rep (Complex a) ∷ TypeType Source #

Methods

fromComplex a → Rep (Complex a) x Source #

toRep (Complex a) x → Complex a Source #

Generic (Identity a) 
Instance details

Defined in Data.Functor.Identity

Associated Types

type Rep (Identity a) ∷ TypeType Source #

Methods

fromIdentity a → Rep (Identity a) x Source #

toRep (Identity a) x → Identity a Source #

Generic (First a) 
Instance details

Defined in Data.Monoid

Associated Types

type Rep (First a) ∷ TypeType Source #

Methods

fromFirst a → Rep (First a) x Source #

toRep (First a) x → First a Source #

Generic (Last a) 
Instance details

Defined in Data.Monoid

Associated Types

type Rep (Last a) ∷ TypeType Source #

Methods

fromLast a → Rep (Last a) x Source #

toRep (Last a) x → Last a Source #

Generic (Down a) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (Down a) ∷ TypeType Source #

Methods

fromDown a → Rep (Down a) x Source #

toRep (Down a) x → Down a Source #

Generic (First a) 
Instance details

Defined in Data.Semigroup

Associated Types

type Rep (First a) ∷ TypeType Source #

Methods

fromFirst a → Rep (First a) x Source #

toRep (First a) x → First a Source #

Generic (Last a) 
Instance details

Defined in Data.Semigroup

Associated Types

type Rep (Last a) ∷ TypeType Source #

Methods

fromLast a → Rep (Last a) x Source #

toRep (Last a) x → Last a Source #

Generic (Max a) 
Instance details

Defined in Data.Semigroup

Associated Types

type Rep (Max a) ∷ TypeType Source #

Methods

fromMax a → Rep (Max a) x Source #

toRep (Max a) x → Max a Source #

Generic (Min a) 
Instance details

Defined in Data.Semigroup

Associated Types

type Rep (Min a) ∷ TypeType Source #

Methods

fromMin a → Rep (Min a) x Source #

toRep (Min a) x → Min a Source #

Generic (WrappedMonoid m) 
Instance details

Defined in Data.Semigroup

Associated Types

type Rep (WrappedMonoid m) ∷ TypeType Source #

Generic (Dual a) 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Dual a) ∷ TypeType Source #

Methods

fromDual a → Rep (Dual a) x Source #

toRep (Dual a) x → Dual a Source #

Generic (Endo a) 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Endo a) ∷ TypeType Source #

Methods

fromEndo a → Rep (Endo a) x Source #

toRep (Endo a) x → Endo a Source #

Generic (Product a) 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Product a) ∷ TypeType Source #

Methods

fromProduct a → Rep (Product a) x Source #

toRep (Product a) x → Product a Source #

Generic (Sum a) 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Sum a) ∷ TypeType Source #

Methods

fromSum a → Rep (Sum a) x Source #

toRep (Sum a) x → Sum a Source #

Generic (NonEmpty a) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (NonEmpty a) ∷ TypeType Source #

Methods

fromNonEmpty a → Rep (NonEmpty a) x Source #

toRep (NonEmpty a) x → NonEmpty a Source #

Generic (Par1 p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (Par1 p) ∷ TypeType Source #

Methods

fromPar1 p → Rep (Par1 p) x Source #

toRep (Par1 p) x → Par1 p Source #

Generic (SigDSIGN EcdsaSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Associated Types

type Rep (SigDSIGN EcdsaSecp256k1DSIGN) ∷ TypeType Source #

Methods

from ∷ SigDSIGN EcdsaSecp256k1DSIGN → Rep (SigDSIGN EcdsaSecp256k1DSIGN) x Source #

toRep (SigDSIGN EcdsaSecp256k1DSIGN) x → SigDSIGN EcdsaSecp256k1DSIGN Source #

Generic (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

type Rep (SigDSIGN Ed25519DSIGN) ∷ TypeType Source #

Methods

from ∷ SigDSIGN Ed25519DSIGN → Rep (SigDSIGN Ed25519DSIGN) x Source #

toRep (SigDSIGN Ed25519DSIGN) x → SigDSIGN Ed25519DSIGN Source #

Generic (SigDSIGN SchnorrSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Associated Types

type Rep (SigDSIGN SchnorrSecp256k1DSIGN) ∷ TypeType Source #

Methods

from ∷ SigDSIGN SchnorrSecp256k1DSIGN → Rep (SigDSIGN SchnorrSecp256k1DSIGN) x Source #

toRep (SigDSIGN SchnorrSecp256k1DSIGN) x → SigDSIGN SchnorrSecp256k1DSIGN Source #

Generic (SignKeyDSIGN EcdsaSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Associated Types

type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) ∷ TypeType Source #

Methods

from ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x Source #

toRep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x → SignKeyDSIGN EcdsaSecp256k1DSIGN Source #

Generic (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

type Rep (SignKeyDSIGN Ed25519DSIGN) ∷ TypeType Source #

Methods

from ∷ SignKeyDSIGN Ed25519DSIGN → Rep (SignKeyDSIGN Ed25519DSIGN) x Source #

toRep (SignKeyDSIGN Ed25519DSIGN) x → SignKeyDSIGN Ed25519DSIGN Source #

Generic (SignKeyDSIGN SchnorrSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Associated Types

type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) ∷ TypeType Source #

Methods

from ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x Source #

toRep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x → SignKeyDSIGN SchnorrSecp256k1DSIGN Source #

Generic (VerKeyDSIGN EcdsaSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Associated Types

type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) ∷ TypeType Source #

Methods

from ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x Source #

toRep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x → VerKeyDSIGN EcdsaSecp256k1DSIGN Source #

Generic (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

type Rep (VerKeyDSIGN Ed25519DSIGN) ∷ TypeType Source #

Methods

from ∷ VerKeyDSIGN Ed25519DSIGN → Rep (VerKeyDSIGN Ed25519DSIGN) x Source #

toRep (VerKeyDSIGN Ed25519DSIGN) x → VerKeyDSIGN Ed25519DSIGN Source #

Generic (VerKeyDSIGN SchnorrSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Associated Types

type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) ∷ TypeType Source #

Methods

from ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x Source #

toRep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x → VerKeyDSIGN SchnorrSecp256k1DSIGN Source #

Generic (Digit a) 
Instance details

Defined in Data.Sequence.Internal

Associated Types

type Rep (Digit a) ∷ TypeType Source #

Methods

from ∷ Digit a → Rep (Digit a) x Source #

toRep (Digit a) x → Digit a Source #

Generic (Elem a) 
Instance details

Defined in Data.Sequence.Internal

Associated Types

type Rep (Elem a) ∷ TypeType Source #

Methods

from ∷ Elem a → Rep (Elem a) x Source #

toRep (Elem a) x → Elem a Source #

Generic (FingerTree a) 
Instance details

Defined in Data.Sequence.Internal

Associated Types

type Rep (FingerTree a) ∷ TypeType Source #

Methods

from ∷ FingerTree a → Rep (FingerTree a) x Source #

toRep (FingerTree a) x → FingerTree a Source #

Generic (Node a) 
Instance details

Defined in Data.Sequence.Internal

Associated Types

type Rep (Node a) ∷ TypeType Source #

Methods

from ∷ Node a → Rep (Node a) x Source #

toRep (Node a) x → Node a Source #

Generic (ViewL a) 
Instance details

Defined in Data.Sequence.Internal

Associated Types

type Rep (ViewL a) ∷ TypeType Source #

Methods

from ∷ ViewL a → Rep (ViewL a) x Source #

toRep (ViewL a) x → ViewL a Source #

Generic (ViewR a) 
Instance details

Defined in Data.Sequence.Internal

Associated Types

type Rep (ViewR a) ∷ TypeType Source #

Methods

from ∷ ViewR a → Rep (ViewR a) x Source #

toRep (ViewR a) x → ViewR a Source #

Generic (Tree a) 
Instance details

Defined in Data.Tree

Associated Types

type Rep (Tree a) ∷ TypeType Source #

Methods

from ∷ Tree a → Rep (Tree a) x Source #

toRep (Tree a) x → Tree a Source #

Generic (Fix f) 
Instance details

Defined in Data.Fix

Associated Types

type Rep (Fix f) ∷ TypeType Source #

Methods

from ∷ Fix f → Rep (Fix f) x Source #

toRep (Fix f) x → Fix f Source #

Generic (PostAligned a) 
Instance details

Defined in Flat.Filler

Associated Types

type Rep (PostAligned a) ∷ TypeType Source #

Methods

from ∷ PostAligned a → Rep (PostAligned a) x Source #

toRep (PostAligned a) x → PostAligned a Source #

Generic (PreAligned a) 
Instance details

Defined in Flat.Filler

Associated Types

type Rep (PreAligned a) ∷ TypeType Source #

Methods

from ∷ PreAligned a → Rep (PreAligned a) x Source #

toRep (PreAligned a) x → PreAligned a Source #

Generic (GenClosure b) 
Instance details

Defined in GHC.Exts.Heap.Closures

Associated Types

type Rep (GenClosure b) ∷ TypeType Source #

Methods

from ∷ GenClosure b → Rep (GenClosure b) x Source #

toRep (GenClosure b) x → GenClosure b Source #

Generic (ErrorFancy e) 
Instance details

Defined in Text.Megaparsec.Error

Associated Types

type Rep (ErrorFancy e) ∷ TypeType Source #

Methods

from ∷ ErrorFancy e → Rep (ErrorFancy e) x Source #

toRep (ErrorFancy e) x → ErrorFancy e Source #

Generic (ErrorItem t) 
Instance details

Defined in Text.Megaparsec.Error

Associated Types

type Rep (ErrorItem t) ∷ TypeType Source #

Methods

from ∷ ErrorItem t → Rep (ErrorItem t) x Source #

toRep (ErrorItem t) x → ErrorItem t Source #

Generic (PosState s) 
Instance details

Defined in Text.Megaparsec.State

Associated Types

type Rep (PosState s) ∷ TypeType Source #

Methods

from ∷ PosState s → Rep (PosState s) x Source #

toRep (PosState s) x → PosState s Source #

Generic (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Associated Types

type Rep (BuiltinSemanticsVariant DefaultFun) ∷ TypeType Source #

Generic (Kind ann) Source # 
Instance details

Defined in PlutusCore.Core.Type

Associated Types

type Rep (Kind ann) ∷ TypeType Source #

Methods

fromKind ann → Rep (Kind ann) x Source #

toRep (Kind ann) x → Kind ann Source #

Generic (Normalized a) Source # 
Instance details

Defined in PlutusCore.Core.Type

Associated Types

type Rep (Normalized a) ∷ TypeType Source #

Methods

fromNormalized a → Rep (Normalized a) x Source #

toRep (Normalized a) x → Normalized a Source #

Generic (LR a) Source # 
Instance details

Defined in PlutusCore.Eq

Associated Types

type Rep (LR a) ∷ TypeType Source #

Methods

fromLR a → Rep (LR a) x Source #

toRep (LR a) x → LR a Source #

Generic (RL a) Source # 
Instance details

Defined in PlutusCore.Eq

Associated Types

type Rep (RL a) ∷ TypeType Source #

Methods

fromRL a → Rep (RL a) x Source #

toRep (RL a) x → RL a Source #

Generic (ExpectedShapeOr a) Source # 
Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (ExpectedShapeOr a) ∷ TypeType Source #

Generic (UniqueError ann) Source # 
Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (UniqueError ann) ∷ TypeType Source #

Methods

fromUniqueError ann → Rep (UniqueError ann) x Source #

toRep (UniqueError ann) x → UniqueError ann Source #

Generic (BuiltinCostModelBase f) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep (BuiltinCostModelBase f) ∷ TypeType Source #

Generic (CostingFun model) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep (CostingFun model) ∷ TypeType Source #

Methods

fromCostingFun model → Rep (CostingFun model) x Source #

toRep (CostingFun model) x → CostingFun model Source #

Generic (MachineError fun) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.Exception

Associated Types

type Rep (MachineError fun) ∷ TypeType Source #

Methods

fromMachineError fun → Rep (MachineError fun) x Source #

toRep (MachineError fun) x → MachineError fun Source #

Generic (EvaluationResult a) Source # 
Instance details

Defined in PlutusCore.Evaluation.Result

Associated Types

type Rep (EvaluationResult a) ∷ TypeType Source #

Generic (CekMachineCostsBase f) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Associated Types

type Rep (CekMachineCostsBase f) ∷ TypeType Source #

Generic (CekExTally fun) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Associated Types

type Rep (CekExTally fun) ∷ TypeType Source #

Methods

fromCekExTally fun → Rep (CekExTally fun) x Source #

toRep (CekExTally fun) x → CekExTally fun Source #

Generic (TallyingSt fun) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Associated Types

type Rep (TallyingSt fun) ∷ TypeType Source #

Methods

fromTallyingSt fun → Rep (TallyingSt fun) x Source #

toRep (TallyingSt fun) x → TallyingSt fun Source #

Generic (ExBudgetCategory fun) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Associated Types

type Rep (ExBudgetCategory fun) ∷ TypeType Source #

Generic (Doc a) 
Instance details

Defined in Text.PrettyPrint.Annotated.HughesPJ

Associated Types

type Rep (Doc a) ∷ TypeType Source #

Methods

fromDoc a → Rep (Doc a) x Source #

toRep (Doc a) x → Doc a Source #

Generic (Doc ann) 
Instance details

Defined in Prettyprinter.Internal

Associated Types

type Rep (Doc ann) ∷ TypeType Source #

Methods

fromDoc ann → Rep (Doc ann) x Source #

toRep (Doc ann) x → Doc ann Source #

Generic (SimpleDocStream ann) 
Instance details

Defined in Prettyprinter.Internal

Associated Types

type Rep (SimpleDocStream ann) ∷ TypeType Source #

Methods

from ∷ SimpleDocStream ann → Rep (SimpleDocStream ann) x Source #

toRep (SimpleDocStream ann) x → SimpleDocStream ann Source #

Generic (Maybe a) 
Instance details

Defined in Data.Strict.Maybe

Associated Types

type Rep (Maybe a) ∷ TypeType Source #

Methods

from ∷ Maybe a → Rep (Maybe a) x Source #

toRep (Maybe a) x → Maybe a Source #

Generic (TyVarBndr flag) 
Instance details

Defined in Language.Haskell.TH.Syntax

Associated Types

type Rep (TyVarBndr flag) ∷ TypeType Source #

Methods

fromTyVarBndr flag → Rep (TyVarBndr flag) x Source #

toRep (TyVarBndr flag) x → TyVarBndr flag Source #

Generic (Window a) 
Instance details

Defined in System.Console.Terminal.Common

Associated Types

type Rep (Window a) ∷ TypeType Source #

Methods

from ∷ Window a → Rep (Window a) x Source #

toRep (Window a) x → Window a Source #

Generic (Doc a) 
Instance details

Defined in Text.PrettyPrint.Annotated.WL

Associated Types

type Rep (Doc a) ∷ TypeType Source #

Methods

from ∷ Doc a → Rep (Doc a) x Source #

toRep (Doc a) x → Doc a Source #

Generic (SimpleDoc a) 
Instance details

Defined in Text.PrettyPrint.Annotated.WL

Associated Types

type Rep (SimpleDoc a) ∷ TypeType Source #

Methods

from ∷ SimpleDoc a → Rep (SimpleDoc a) x Source #

toRep (SimpleDoc a) x → SimpleDoc a Source #

Generic (Maybe a) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (Maybe a) ∷ TypeType Source #

Methods

fromMaybe a → Rep (Maybe a) x Source #

toRep (Maybe a) x → Maybe a Source #

Generic (a) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (a) ∷ TypeType Source #

Methods

from ∷ (a) → Rep (a) x Source #

toRep (a) x → (a) Source #

Generic [a] 
Instance details

Defined in GHC.Generics

Associated Types

type Rep [a] ∷ TypeType Source #

Methods

from ∷ [a] → Rep [a] x Source #

toRep [a] x → [a] Source #

Generic (Container b a) 
Instance details

Defined in Barbies.Internal.Containers

Associated Types

type Rep (Container b a) ∷ TypeType Source #

Methods

from ∷ Container b a → Rep (Container b a) x Source #

toRep (Container b a) x → Container b a Source #

Generic (ErrorContainer b e) 
Instance details

Defined in Barbies.Internal.Containers

Associated Types

type Rep (ErrorContainer b e) ∷ TypeType Source #

Methods

from ∷ ErrorContainer b e → Rep (ErrorContainer b e) x Source #

toRep (ErrorContainer b e) x → ErrorContainer b e Source #

Generic (Unit f) 
Instance details

Defined in Barbies.Internal.Trivial

Associated Types

type Rep (Unit f) ∷ TypeType Source #

Methods

from ∷ Unit f → Rep (Unit f) x Source #

toRep (Unit f) x → Unit f Source #

Generic (Void f) 
Instance details

Defined in Barbies.Internal.Trivial

Associated Types

type Rep (Void f) ∷ TypeType Source #

Methods

from ∷ Void f → Rep (Void f) x Source #

toRep (Void f) x → Void f Source #

Generic (WrappedMonad m a) 
Instance details

Defined in Control.Applicative

Associated Types

type Rep (WrappedMonad m a) ∷ TypeType Source #

Methods

fromWrappedMonad m a → Rep (WrappedMonad m a) x Source #

toRep (WrappedMonad m a) x → WrappedMonad m a Source #

Generic (Either a b) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (Either a b) ∷ TypeType Source #

Methods

fromEither a b → Rep (Either a b) x Source #

toRep (Either a b) x → Either a b Source #

Generic (Proxy t) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (Proxy t) ∷ TypeType Source #

Methods

fromProxy t → Rep (Proxy t) x Source #

toRep (Proxy t) x → Proxy t Source #

Generic (Arg a b) 
Instance details

Defined in Data.Semigroup

Associated Types

type Rep (Arg a b) ∷ TypeType Source #

Methods

fromArg a b → Rep (Arg a b) x Source #

toRep (Arg a b) x → Arg a b Source #

Generic (U1 p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (U1 p) ∷ TypeType Source #

Methods

fromU1 p → Rep (U1 p) x Source #

toRep (U1 p) x → U1 p Source #

Generic (V1 p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (V1 p) ∷ TypeType Source #

Methods

fromV1 p → Rep (V1 p) x Source #

toRep (V1 p) x → V1 p Source #

Generic (Bimap a b) 
Instance details

Defined in Data.Bimap

Associated Types

type Rep (Bimap a b) ∷ TypeType Source #

Methods

from ∷ Bimap a b → Rep (Bimap a b) x Source #

toRep (Bimap a b) x → Bimap a b Source #

Generic (SignedDSIGN v a) 
Instance details

Defined in Cardano.Crypto.DSIGN.Class

Associated Types

type Rep (SignedDSIGN v a) ∷ TypeType Source #

Methods

from ∷ SignedDSIGN v a → Rep (SignedDSIGN v a) x Source #

toRep (SignedDSIGN v a) x → SignedDSIGN v a Source #

Generic (Hash h a) 
Instance details

Defined in Cardano.Crypto.Hash.Class

Associated Types

type Rep (Hash h a) ∷ TypeType Source #

Methods

from ∷ Hash h a → Rep (Hash h a) x Source #

toRep (Hash h a) x → Hash h a Source #

Generic (Cofree f a) 
Instance details

Defined in Control.Comonad.Cofree

Associated Types

type Rep (Cofree f a) ∷ TypeType Source #

Methods

from ∷ Cofree f a → Rep (Cofree f a) x Source #

toRep (Cofree f a) x → Cofree f a Source #

Generic (Free f a) 
Instance details

Defined in Control.Monad.Free

Associated Types

type Rep (Free f a) ∷ TypeType Source #

Methods

from ∷ Free f a → Rep (Free f a) x Source #

toRep (Free f a) x → Free f a Source #

Generic (ListT m a) 
Instance details

Defined in ListT

Associated Types

type Rep (ListT m a) ∷ TypeType Source #

Methods

from ∷ ListT m a → Rep (ListT m a) x Source #

toRep (ListT m a) x → ListT m a Source #

Generic (ParseError s e) 
Instance details

Defined in Text.Megaparsec.Error

Associated Types

type Rep (ParseError s e) ∷ TypeType Source #

Methods

from ∷ ParseError s e → Rep (ParseError s e) x Source #

toRep (ParseError s e) x → ParseError s e Source #

Generic (ParseErrorBundle s e) 
Instance details

Defined in Text.Megaparsec.Error

Associated Types

type Rep (ParseErrorBundle s e) ∷ TypeType Source #

Methods

from ∷ ParseErrorBundle s e → Rep (ParseErrorBundle s e) x Source #

toRep (ParseErrorBundle s e) x → ParseErrorBundle s e Source #

Generic (State s e) 
Instance details

Defined in Text.Megaparsec.State

Associated Types

type Rep (State s e) ∷ TypeType Source #

Methods

from ∷ State s e → Rep (State s e) x Source #

toRep (State s e) x → State s e Source #

Generic (TyVarDecl tyname ann) Source # 
Instance details

Defined in PlutusCore.Core.Type

Associated Types

type Rep (TyVarDecl tyname ann) ∷ TypeType Source #

Methods

fromTyVarDecl tyname ann → Rep (TyVarDecl tyname ann) x Source #

toRep (TyVarDecl tyname ann) x → TyVarDecl tyname ann Source #

Generic (EvaluationError operational structural) Source # 
Instance details

Defined in PlutusCore.Evaluation.Error

Associated Types

type Rep (EvaluationError operational structural) ∷ TypeType Source #

Methods

fromEvaluationError operational structural → Rep (EvaluationError operational structural) x Source #

toRep (EvaluationError operational structural) x → EvaluationError operational structural Source #

Generic (ErrorWithCause err cause) Source # 
Instance details

Defined in PlutusCore.Evaluation.ErrorWithCause

Associated Types

type Rep (ErrorWithCause err cause) ∷ TypeType Source #

Methods

fromErrorWithCause err cause → Rep (ErrorWithCause err cause) x Source #

toRep (ErrorWithCause err cause) x → ErrorWithCause err cause Source #

Generic (Def var val) Source # 
Instance details

Defined in PlutusCore.MkPlc

Associated Types

type Rep (Def var val) ∷ TypeType Source #

Methods

fromDef var val → Rep (Def var val) x Source #

toRep (Def var val) x → Def var val Source #

Generic (UVarDecl name ann) Source # 
Instance details

Defined in UntypedPlutusCore.Core.Type

Associated Types

type Rep (UVarDecl name ann) ∷ TypeType Source #

Methods

fromUVarDecl name ann → Rep (UVarDecl name ann) x Source #

toRep (UVarDecl name ann) x → UVarDecl name ann Source #

Generic (ListF a b) 
Instance details

Defined in Data.Functor.Base

Associated Types

type Rep (ListF a b) ∷ TypeType Source #

Methods

from ∷ ListF a b → Rep (ListF a b) x Source #

toRep (ListF a b) x → ListF a b Source #

Generic (NonEmptyF a b) 
Instance details

Defined in Data.Functor.Base

Associated Types

type Rep (NonEmptyF a b) ∷ TypeType Source #

Methods

from ∷ NonEmptyF a b → Rep (NonEmptyF a b) x Source #

toRep (NonEmptyF a b) x → NonEmptyF a b Source #

Generic (TreeF a b) 
Instance details

Defined in Data.Functor.Base

Associated Types

type Rep (TreeF a b) ∷ TypeType Source #

Methods

from ∷ TreeF a b → Rep (TreeF a b) x Source #

toRep (TreeF a b) x → TreeF a b Source #

Generic (Either a b) 
Instance details

Defined in Data.Strict.Either

Associated Types

type Rep (Either a b) ∷ TypeType Source #

Methods

from ∷ Either a b → Rep (Either a b) x Source #

toRep (Either a b) x → Either a b Source #

Generic (These a b) 
Instance details

Defined in Data.Strict.These

Associated Types

type Rep (These a b) ∷ TypeType Source #

Methods

from ∷ These a b → Rep (These a b) x Source #

toRep (These a b) x → These a b Source #

Generic (Pair a b) 
Instance details

Defined in Data.Strict.Tuple

Associated Types

type Rep (Pair a b) ∷ TypeType Source #

Methods

from ∷ Pair a b → Rep (Pair a b) x Source #

toRep (Pair a b) x → Pair a b Source #

Generic (These a b) 
Instance details

Defined in Data.These

Associated Types

type Rep (These a b) ∷ TypeType Source #

Methods

from ∷ These a b → Rep (These a b) x Source #

toRep (These a b) x → These a b Source #

Generic (Lift f a) 
Instance details

Defined in Control.Applicative.Lift

Associated Types

type Rep (Lift f a) ∷ TypeType Source #

Methods

from ∷ Lift f a → Rep (Lift f a) x Source #

toRep (Lift f a) x → Lift f a Source #

Generic (MaybeT m a) 
Instance details

Defined in Control.Monad.Trans.Maybe

Associated Types

type Rep (MaybeT m a) ∷ TypeType Source #

Methods

from ∷ MaybeT m a → Rep (MaybeT m a) x Source #

toRep (MaybeT m a) x → MaybeT m a Source #

Generic (a, b) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (a, b) ∷ TypeType Source #

Methods

from ∷ (a, b) → Rep (a, b) x Source #

toRep (a, b) x → (a, b) Source #

Generic (WrappedArrow a b c) 
Instance details

Defined in Control.Applicative

Associated Types

type Rep (WrappedArrow a b c) ∷ TypeType Source #

Methods

fromWrappedArrow a b c → Rep (WrappedArrow a b c) x Source #

toRep (WrappedArrow a b c) x → WrappedArrow a b c Source #

Generic (Kleisli m a b) 
Instance details

Defined in Control.Arrow

Associated Types

type Rep (Kleisli m a b) ∷ TypeType Source #

Methods

fromKleisli m a b → Rep (Kleisli m a b) x Source #

toRep (Kleisli m a b) x → Kleisli m a b Source #

Generic (Const a b) 
Instance details

Defined in Data.Functor.Const

Associated Types

type Rep (Const a b) ∷ TypeType Source #

Methods

fromConst a b → Rep (Const a b) x Source #

toRep (Const a b) x → Const a b Source #

Generic (Ap f a) 
Instance details

Defined in Data.Monoid

Associated Types

type Rep (Ap f a) ∷ TypeType Source #

Methods

fromAp f a → Rep (Ap f a) x Source #

toRep (Ap f a) x → Ap f a Source #

Generic (Alt f a) 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep (Alt f a) ∷ TypeType Source #

Methods

fromAlt f a → Rep (Alt f a) x Source #

toRep (Alt f a) x → Alt f a Source #

Generic (Rec1 f p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (Rec1 f p) ∷ TypeType Source #

Methods

fromRec1 f p → Rep (Rec1 f p) x Source #

toRep (Rec1 f p) x → Rec1 f p Source #

Generic (URec (Ptr ()) p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (URec (Ptr ()) p) ∷ TypeType Source #

Methods

fromURec (Ptr ()) p → Rep (URec (Ptr ()) p) x Source #

toRep (URec (Ptr ()) p) x → URec (Ptr ()) p Source #

Generic (URec Char p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (URec Char p) ∷ TypeType Source #

Methods

fromURec Char p → Rep (URec Char p) x Source #

toRep (URec Char p) x → URec Char p Source #

Generic (URec Double p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (URec Double p) ∷ TypeType Source #

Methods

fromURec Double p → Rep (URec Double p) x Source #

toRep (URec Double p) x → URec Double p Source #

Generic (URec Float p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (URec Float p) ∷ TypeType Source #

Methods

fromURec Float p → Rep (URec Float p) x Source #

toRep (URec Float p) x → URec Float p Source #

Generic (URec Int p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (URec Int p) ∷ TypeType Source #

Methods

fromURec Int p → Rep (URec Int p) x Source #

toRep (URec Int p) x → URec Int p Source #

Generic (URec Word p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (URec Word p) ∷ TypeType Source #

Methods

fromURec Word p → Rep (URec Word p) x Source #

toRep (URec Word p) x → URec Word p Source #

Generic (Fix p a) 
Instance details

Defined in Data.Bifunctor.Fix

Associated Types

type Rep (Fix p a) ∷ TypeType Source #

Methods

from ∷ Fix p a → Rep (Fix p a) x Source #

toRep (Fix p a) x → Fix p a Source #

Generic (Join p a) 
Instance details

Defined in Data.Bifunctor.Join

Associated Types

type Rep (Join p a) ∷ TypeType Source #

Methods

from ∷ Join p a → Rep (Join p a) x Source #

toRep (Join p a) x → Join p a Source #

Generic (CofreeF f a b) 
Instance details

Defined in Control.Comonad.Trans.Cofree

Associated Types

type Rep (CofreeF f a b) ∷ TypeType Source #

Methods

from ∷ CofreeF f a b → Rep (CofreeF f a b) x Source #

toRep (CofreeF f a b) x → CofreeF f a b Source #

Generic (FreeF f a b) 
Instance details

Defined in Control.Monad.Trans.Free

Associated Types

type Rep (FreeF f a b) ∷ TypeType Source #

Methods

from ∷ FreeF f a b → Rep (FreeF f a b) x Source #

toRep (FreeF f a b) x → FreeF f a b Source #

Generic (TyDecl tyname uni ann) Source # 
Instance details

Defined in PlutusCore.Core.Type

Associated Types

type Rep (TyDecl tyname uni ann) ∷ TypeType Source #

Methods

fromTyDecl tyname uni ann → Rep (TyDecl tyname uni ann) x Source #

toRep (TyDecl tyname uni ann) x → TyDecl tyname uni ann Source #

Generic (Type tyname uni ann) Source # 
Instance details

Defined in PlutusCore.Core.Type

Associated Types

type Rep (Type tyname uni ann) ∷ TypeType Source #

Methods

fromType tyname uni ann → Rep (Type tyname uni ann) x Source #

toRep (Type tyname uni ann) x → Type tyname uni ann Source #

Generic (Error uni fun ann) Source # 
Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (Error uni fun ann) ∷ TypeType Source #

Methods

fromError uni fun ann → Rep (Error uni fun ann) x Source #

toRep (Error uni fun ann) x → Error uni fun ann Source #

Generic (MachineParameters machinecosts fun val) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.MachineParameters

Associated Types

type Rep (MachineParameters machinecosts fun val) ∷ TypeType Source #

Methods

fromMachineParameters machinecosts fun val → Rep (MachineParameters machinecosts fun val) x Source #

toRep (MachineParameters machinecosts fun val) x → MachineParameters machinecosts fun val Source #

Generic (Tagged s b) 
Instance details

Defined in Data.Tagged

Associated Types

type Rep (Tagged s b) ∷ TypeType Source #

Methods

from ∷ Tagged s b → Rep (Tagged s b) x Source #

toRep (Tagged s b) x → Tagged s b Source #

Generic (These1 f g a) 
Instance details

Defined in Data.Functor.These

Associated Types

type Rep (These1 f g a) ∷ TypeType Source #

Methods

from ∷ These1 f g a → Rep (These1 f g a) x Source #

toRep (These1 f g a) x → These1 f g a Source #

Generic (Backwards f a) 
Instance details

Defined in Control.Applicative.Backwards

Associated Types

type Rep (Backwards f a) ∷ TypeType Source #

Methods

from ∷ Backwards f a → Rep (Backwards f a) x Source #

toRep (Backwards f a) x → Backwards f a Source #

Generic (AccumT w m a) 
Instance details

Defined in Control.Monad.Trans.Accum

Associated Types

type Rep (AccumT w m a) ∷ TypeType Source #

Methods

from ∷ AccumT w m a → Rep (AccumT w m a) x Source #

toRep (AccumT w m a) x → AccumT w m a Source #

Generic (ExceptT e m a) 
Instance details

Defined in Control.Monad.Trans.Except

Associated Types

type Rep (ExceptT e m a) ∷ TypeType Source #

Methods

from ∷ ExceptT e m a → Rep (ExceptT e m a) x Source #

toRep (ExceptT e m a) x → ExceptT e m a Source #

Generic (IdentityT f a) 
Instance details

Defined in Control.Monad.Trans.Identity

Associated Types

type Rep (IdentityT f a) ∷ TypeType Source #

Methods

from ∷ IdentityT f a → Rep (IdentityT f a) x Source #

toRep (IdentityT f a) x → IdentityT f a Source #

Generic (ReaderT r m a) 
Instance details

Defined in Control.Monad.Trans.Reader

Associated Types

type Rep (ReaderT r m a) ∷ TypeType Source #

Methods

from ∷ ReaderT r m a → Rep (ReaderT r m a) x Source #

toRep (ReaderT r m a) x → ReaderT r m a Source #

Generic (SelectT r m a) 
Instance details

Defined in Control.Monad.Trans.Select

Associated Types

type Rep (SelectT r m a) ∷ TypeType Source #

Methods

from ∷ SelectT r m a → Rep (SelectT r m a) x Source #

toRep (SelectT r m a) x → SelectT r m a Source #

Generic (StateT s m a) 
Instance details

Defined in Control.Monad.Trans.State.Lazy

Associated Types

type Rep (StateT s m a) ∷ TypeType Source #

Methods

from ∷ StateT s m a → Rep (StateT s m a) x Source #

toRep (StateT s m a) x → StateT s m a Source #

Generic (StateT s m a) 
Instance details

Defined in Control.Monad.Trans.State.Strict

Associated Types

type Rep (StateT s m a) ∷ TypeType Source #

Methods

from ∷ StateT s m a → Rep (StateT s m a) x Source #

toRep (StateT s m a) x → StateT s m a Source #

Generic (WriterT w m a) 
Instance details

Defined in Control.Monad.Trans.Writer.CPS

Associated Types

type Rep (WriterT w m a) ∷ TypeType Source #

Methods

from ∷ WriterT w m a → Rep (WriterT w m a) x Source #

toRep (WriterT w m a) x → WriterT w m a Source #

Generic (WriterT w m a) 
Instance details

Defined in Control.Monad.Trans.Writer.Lazy

Associated Types

type Rep (WriterT w m a) ∷ TypeType Source #

Methods

from ∷ WriterT w m a → Rep (WriterT w m a) x Source #

toRep (WriterT w m a) x → WriterT w m a Source #

Generic (WriterT w m a) 
Instance details

Defined in Control.Monad.Trans.Writer.Strict

Associated Types

type Rep (WriterT w m a) ∷ TypeType Source #

Methods

from ∷ WriterT w m a → Rep (WriterT w m a) x Source #

toRep (WriterT w m a) x → WriterT w m a Source #

Generic (Constant a b) 
Instance details

Defined in Data.Functor.Constant

Associated Types

type Rep (Constant a b) ∷ TypeType Source #

Methods

from ∷ Constant a b → Rep (Constant a b) x Source #

toRep (Constant a b) x → Constant a b Source #

Generic (Reverse f a) 
Instance details

Defined in Data.Functor.Reverse

Associated Types

type Rep (Reverse f a) ∷ TypeType Source #

Methods

from ∷ Reverse f a → Rep (Reverse f a) x Source #

toRep (Reverse f a) x → Reverse f a Source #

Generic (a, b, c) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (a, b, c) ∷ TypeType Source #

Methods

from ∷ (a, b, c) → Rep (a, b, c) x Source #

toRep (a, b, c) x → (a, b, c) Source #

Generic (Product f g a) 
Instance details

Defined in Data.Functor.Product

Associated Types

type Rep (Product f g a) ∷ TypeType Source #

Methods

fromProduct f g a → Rep (Product f g a) x Source #

toRep (Product f g a) x → Product f g a Source #

Generic (Sum f g a) 
Instance details

Defined in Data.Functor.Sum

Associated Types

type Rep (Sum f g a) ∷ TypeType Source #

Methods

fromSum f g a → Rep (Sum f g a) x Source #

toRep (Sum f g a) x → Sum f g a Source #

Generic ((f :*: g) p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep ((f :*: g) p) ∷ TypeType Source #

Methods

from ∷ (f :*: g) p → Rep ((f :*: g) p) x Source #

toRep ((f :*: g) p) x → (f :*: g) p Source #

Generic ((f :+: g) p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep ((f :+: g) p) ∷ TypeType Source #

Methods

from ∷ (f :+: g) p → Rep ((f :+: g) p) x Source #

toRep ((f :+: g) p) x → (f :+: g) p Source #

Generic (K1 i c p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (K1 i c p) ∷ TypeType Source #

Methods

fromK1 i c p → Rep (K1 i c p) x Source #

toRep (K1 i c p) x → K1 i c p Source #

Generic (VarDecl tyname name uni ann) Source # 
Instance details

Defined in PlutusCore.Core.Type

Associated Types

type Rep (VarDecl tyname name uni ann) ∷ TypeType Source #

Methods

fromVarDecl tyname name uni ann → Rep (VarDecl tyname name uni ann) x Source #

toRep (VarDecl tyname name uni ann) x → VarDecl tyname name uni ann Source #

Generic (TypeError term uni fun ann) Source # 
Instance details

Defined in PlutusCore.Error

Associated Types

type Rep (TypeError term uni fun ann) ∷ TypeType Source #

Methods

fromTypeError term uni fun ann → Rep (TypeError term uni fun ann) x Source #

toRep (TypeError term uni fun ann) x → TypeError term uni fun ann Source #

Generic (Program name uni fun ann) Source # 
Instance details

Defined in UntypedPlutusCore.Core.Type

Associated Types

type Rep (Program name uni fun ann) ∷ TypeType Source #

Methods

fromProgram name uni fun ann → Rep (Program name uni fun ann) x Source #

toRep (Program name uni fun ann) x → Program name uni fun ann Source #

Generic (Term name uni fun ann) Source # 
Instance details

Defined in UntypedPlutusCore.Core.Type

Associated Types

type Rep (Term name uni fun ann) ∷ TypeType Source #

Methods

fromTerm name uni fun ann → Rep (Term name uni fun ann) x Source #

toRep (Term name uni fun ann) x → Term name uni fun ann Source #

Generic (ContT r m a) 
Instance details

Defined in Control.Monad.Trans.Cont

Associated Types

type Rep (ContT r m a) ∷ TypeType Source #

Methods

from ∷ ContT r m a → Rep (ContT r m a) x Source #

toRep (ContT r m a) x → ContT r m a Source #

Generic (a, b, c, d) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (a, b, c, d) ∷ TypeType Source #

Methods

from ∷ (a, b, c, d) → Rep (a, b, c, d) x Source #

toRep (a, b, c, d) x → (a, b, c, d) Source #

Generic (Compose f g a) 
Instance details

Defined in Data.Functor.Compose

Associated Types

type Rep (Compose f g a) ∷ TypeType Source #

Methods

fromCompose f g a → Rep (Compose f g a) x Source #

toRep (Compose f g a) x → Compose f g a Source #

Generic ((f :.: g) p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep ((f :.: g) p) ∷ TypeType Source #

Methods

from ∷ (f :.: g) p → Rep ((f :.: g) p) x Source #

toRep ((f :.: g) p) x → (f :.: g) p Source #

Generic (M1 i c f p) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep (M1 i c f p) ∷ TypeType Source #

Methods

fromM1 i c f p → Rep (M1 i c f p) x Source #

toRep (M1 i c f p) x → M1 i c f p Source #

Generic (Clown f a b) 
Instance details

Defined in