Safe Haskell	None
Language	Haskell2010

PlutusPrelude

Contents

Reexports from base
Lens
Debugging
Reexports from Control.Composition
Custom functions
Pretty-printing
GHCi
Text
Orphan instances

Synopsis

(&) :: a -> (a -> b) -> b
(&&&) :: Arrow a => a b c -> a b c' -> a b (c, c')
(<&>) :: Functor f => f a -> (a -> b) -> f b
toList :: Foldable t => t a -> [a]
bool :: a -> a -> Bool -> a
first :: Bifunctor p => (a -> b) -> p a c -> p b c
second :: Bifunctor p => (b -> c) -> p a b -> p a c
on :: (b -> b -> c) -> (a -> b) -> a -> a -> c
isNothing :: Maybe a -> Bool
isJust :: Maybe a -> Bool
fromMaybe :: a -> Maybe a -> a
guard :: Alternative f => Bool -> f ()
foldl' :: Foldable t => (b -> a -> b) -> b -> t a -> b
fold :: (Foldable t, Monoid m) => t m -> m
for :: (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b)
throw :: forall (r :: RuntimeRep) (a :: TYPE r) e. Exception e => e -> a
join :: Monad m => m (m a) -> m a
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c
(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
($>) :: Functor f => f a -> b -> f b
fromRight :: b -> Either a b -> b
isRight :: Either a b -> Bool
void :: Functor f => f a -> f ()
through :: Functor f => (a -> f b) -> a -> f a
coerce :: forall (k :: RuntimeRep) (a :: TYPE k) (b :: TYPE k). Coercible a b => a -> b
class Generic a
class NFData a
data Natural
data NonEmpty a = a :| [a]
data Word8
class Applicative f => Alternative (f :: Type -> Type) where
- empty :: f a
- (<|>) :: f a -> f a -> f a
- some :: f a -> f [a]
- many :: f a -> f [a]
class (Typeable e, Show e) => Exception e
newtype PairT b f a = PairT {
- unPairT :: f (b, a)
}
class a ~R# b => Coercible (a :: k) (b :: k)
class Typeable (a :: k)
type Lens' s a = Lens s s a a
lens :: (s -> a) -> (s -> b -> t) -> Lens s t a b
(^.) :: s -> Getting a s a -> a
view :: MonadReader s m => Getting a s a -> m a
(.~) :: ASetter s t a b -> b -> s -> t
set :: ASetter s t a b -> b -> s -> t
(%~) :: ASetter s t a b -> (a -> b) -> s -> t
over :: ASetter s t a b -> (a -> b) -> s -> t
traceShowId :: Show a => a -> a
trace :: String -> a -> a
(.*) :: (c -> d) -> (a -> b -> c) -> a -> b -> d
(<<$>>) :: (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b)
(<<*>>) :: (Applicative f1, Applicative f2) => f1 (f2 (a -> b)) -> f1 (f2 a) -> f1 (f2 b)
mtraverse :: (Monad m, Traversable m, Applicative f) => (a -> f (m b)) -> m a -> f (m b)
foldMapM :: (Foldable f, Monad m, Monoid b) => (a -> m b) -> f a -> m b
reoption :: (Foldable f, Alternative g) => f a -> g a
enumeration :: (Bounded a, Enum a) => [a]
tabulateArray :: (Bounded i, Enum i, Ix i) => (i -> a) -> Array i a
(?) :: Alternative f => Bool -> a -> f a
ensure :: Alternative f => (a -> Bool) -> a -> f a
asksM :: MonadReader r m => (r -> m a) -> m a
data Doc ann
newtype ShowPretty a = ShowPretty {
- unShowPretty :: a
}
class Pretty a where
- pretty :: a -> Doc ann
- prettyList :: [a] -> Doc ann
class PrettyBy config a where
- prettyBy :: config -> a -> Doc ann
- prettyListBy :: config -> [a] -> Doc ann
type family HasPrettyDefaults config :: Bool
type PrettyDefaultBy config = DispatchPrettyDefaultBy (NonStuckHasPrettyDefaults config) config
newtype PrettyAny a = PrettyAny {
- unPrettyAny :: a
}
class Render str where
- render :: Doc ann -> str
display :: forall str a. (Pretty a, Render str) => a -> str
printPretty :: Pretty a => a -> IO ()
showText :: Show a => a -> Text

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.

(<&>) :: 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

toList :: Foldable t => t a -> [a] Source #

List of elements of a structure, from left to right.

Since: base-4.8.0.0

bool :: a -> a -> Bool -> a Source #

Case analysis for the Bool type. bool x y p evaluates to x when p is False, and evaluates to y when p is True.

This is equivalent to if p then y else x; that is, one can think of it as an if-then-else construct with its arguments reordered.

Examples

Expand

Basic usage:

>>> bool "foo" "bar" True
"bar"
>>> bool "foo" "bar" False
"foo"

Confirm that bool x y p and if p then y else x are equivalent:

>>> let p = True; x = "bar"; y = "foo"
>>> bool x y p == if p then y else x
True
>>> let p = False
>>> bool x y p == if p then y else x
True

Since: base-4.7.0.0

first :: Bifunctor 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'

second :: Bifunctor p => (b -> c) -> p a b -> p a c Source #

Map covariantly over the second argument.

second ≡ bimap 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)
```

isNothing :: Maybe 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

isJust :: Maybe 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 and Maybe value. If the Maybe is Nothing, it returns the default values; 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

guard :: Alternative 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 list to a single, monolithic result (e.g. length).

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

foldl' f z = foldl' f z . toList

Since: base-4.6.0.0

fold :: (Foldable t, Monoid m) => t m -> m Source #

Combine the elements of a structure using a monoid.

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 :: forall (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.

join :: Monad 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 <$.

Using ApplicativeDo: 'as $> b' can be understood as the do expression

do as
   pure b

with an inferred Functor constraint.

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

isRight :: Either 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

void :: Functor f => f a -> f () Source #

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

Using ApplicativeDo: 'void as' can be understood as the do expression

do as
   pure ()

with an inferred Functor constraint.

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

through :: Functor f => (a -> f b) -> a -> f a Source #

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

coerce :: forall (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.

This function is runtime-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.

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 . to ≡ id
to . from ≡ id

Minimal complete definition

from, to

Instances

Instances details

Generic Bool	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep Bool :: Type -> Type Source # Methods from :: Bool -> Rep Bool x Source # to :: Rep Bool x -> Bool Source #
Generic Ordering	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep Ordering :: Type -> Type Source # Methods from :: Ordering -> Rep Ordering x Source # to :: Rep Ordering x -> Ordering Source #
Generic Exp
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Exp :: Type -> Type Source # Methods from :: Exp -> Rep Exp x Source # to :: Rep Exp x -> Exp Source #
Generic Match
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Match :: Type -> Type Source # Methods from :: Match -> Rep Match x Source # to :: Rep Match x -> Match Source #
Generic Clause
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Clause :: Type -> Type Source # Methods from :: Clause -> Rep Clause x Source # to :: Rep Clause x -> Clause Source #
Generic Pat
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Pat :: Type -> Type Source # Methods from :: Pat -> Rep Pat x Source # to :: Rep Pat x -> Pat Source #
Generic Type
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Type :: Type -> Type Source # Methods from :: Type -> Rep Type x Source # to :: Rep Type x -> Type Source #
Generic Dec
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Dec :: Type -> Type Source # Methods from :: Dec -> Rep Dec x Source # to :: Rep Dec x -> Dec Source #
Generic Name
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Name :: Type -> Type Source # Methods from :: Name -> Rep Name x Source # to :: Rep Name x -> Name Source #
Generic FunDep
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FunDep :: Type -> Type Source # Methods from :: FunDep -> Rep FunDep x Source # to :: Rep FunDep x -> FunDep Source #
Generic InjectivityAnn
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep InjectivityAnn :: Type -> Type Source # Methods from :: InjectivityAnn -> Rep InjectivityAnn x Source # to :: Rep InjectivityAnn x -> InjectivityAnn Source #
Generic Overlap
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Overlap :: Type -> Type Source # Methods from :: Overlap -> Rep Overlap x Source # to :: Rep Overlap x -> Overlap Source #
Generic ()	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep () :: Type -> Type Source # Methods from :: () -> Rep () x Source # to :: Rep () x -> () Source #
Generic Void	Since: base-4.8.0.0
Instance details Defined in Data.Void Associated Types type Rep Void :: Type -> Type Source # Methods from :: Void -> Rep Void x Source # to :: Rep Void x -> Void Source #
Generic Version	Since: base-4.9.0.0
Instance details Defined in Data.Version Associated Types type Rep Version :: Type -> Type Source # Methods from :: Version -> Rep Version x Source # to :: Rep Version x -> Version Source #
Generic ExitCode
Instance details Defined in GHC.IO.Exception Associated Types type Rep ExitCode :: Type -> Type Source # Methods from :: ExitCode -> Rep ExitCode x Source # to :: Rep ExitCode x -> ExitCode Source #
Generic All	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep All :: Type -> Type Source # Methods from :: All -> Rep All x Source # to :: Rep All x -> All Source #
Generic Any	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep Any :: Type -> Type Source # Methods from :: Any -> Rep Any x Source # to :: Rep Any x -> Any Source #
Generic Fixity	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep Fixity :: Type -> Type Source # Methods from :: Fixity -> Rep Fixity x Source # to :: Rep Fixity x -> Fixity Source #
Generic Associativity	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep Associativity :: Type -> Type Source # Methods from :: Associativity -> Rep Associativity x Source # to :: Rep Associativity x -> Associativity Source #
Generic SourceUnpackedness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep SourceUnpackedness :: Type -> Type Source # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x Source # to :: Rep SourceUnpackedness x -> SourceUnpackedness Source #
Generic SourceStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep SourceStrictness :: Type -> Type Source # Methods from :: SourceStrictness -> Rep SourceStrictness x Source # to :: Rep SourceStrictness x -> SourceStrictness Source #
Generic DecidedStrictness	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep DecidedStrictness :: Type -> Type Source # Methods from :: DecidedStrictness -> Rep DecidedStrictness x Source # to :: Rep DecidedStrictness x -> DecidedStrictness Source #
Generic Extension
Instance details Defined in GHC.LanguageExtensions.Type Associated Types type Rep Extension :: Type -> Type Source # Methods from :: Extension -> Rep Extension x Source # to :: Rep Extension x -> Extension Source #
Generic ForeignSrcLang
Instance details Defined in GHC.ForeignSrcLang.Type Associated Types type Rep ForeignSrcLang :: Type -> Type Source # Methods from :: ForeignSrcLang -> Rep ForeignSrcLang x Source # to :: Rep ForeignSrcLang x -> ForeignSrcLang Source #
Generic Doc
Instance details Defined in Text.PrettyPrint.HughesPJ Associated Types type Rep Doc :: Type -> Type Source # Methods from :: Doc -> Rep Doc x Source # to :: Rep Doc x -> Doc Source #
Generic TextDetails
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep TextDetails :: Type -> Type Source # Methods from :: TextDetails -> Rep TextDetails x Source # to :: Rep TextDetails x -> TextDetails Source #
Generic Style
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep Style :: Type -> Type Source # Methods from :: Style -> Rep Style x Source # to :: Rep Style x -> Style Source #
Generic Mode
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep Mode :: Type -> Type Source # Methods from :: Mode -> Rep Mode x Source # to :: Rep Mode x -> Mode Source #
Generic ModName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep ModName :: Type -> Type Source # Methods from :: ModName -> Rep ModName x Source # to :: Rep ModName x -> ModName Source #
Generic PkgName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PkgName :: Type -> Type Source # Methods from :: PkgName -> Rep PkgName x Source # to :: Rep PkgName x -> PkgName Source #
Generic Module
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Module :: Type -> Type Source # Methods from :: Module -> Rep Module x Source # to :: Rep Module x -> Module Source #
Generic OccName
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep OccName :: Type -> Type Source # Methods from :: OccName -> Rep OccName x Source # to :: Rep OccName x -> OccName Source #
Generic NameFlavour
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep NameFlavour :: Type -> Type Source # Methods from :: NameFlavour -> Rep NameFlavour x Source # to :: Rep NameFlavour x -> NameFlavour Source #
Generic NameSpace
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep NameSpace :: Type -> Type Source # Methods from :: NameSpace -> Rep NameSpace x Source # to :: Rep NameSpace x -> NameSpace Source #
Generic Loc
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Loc :: Type -> Type Source # Methods from :: Loc -> Rep Loc x Source # to :: Rep Loc x -> Loc Source #
Generic Info
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Info :: Type -> Type Source # Methods from :: Info -> Rep Info x Source # to :: Rep Info x -> Info Source #
Generic ModuleInfo
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep ModuleInfo :: Type -> Type Source # Methods from :: ModuleInfo -> Rep ModuleInfo x Source # to :: Rep ModuleInfo x -> ModuleInfo Source #
Generic Fixity
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Fixity :: Type -> Type Source # Methods from :: Fixity -> Rep Fixity x Source # to :: Rep Fixity x -> Fixity Source #
Generic FixityDirection
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FixityDirection :: Type -> Type Source # Methods from :: FixityDirection -> Rep FixityDirection x Source # to :: Rep FixityDirection x -> FixityDirection Source #
Generic Lit
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Lit :: Type -> Type Source # Methods from :: Lit -> Rep Lit x Source # to :: Rep Lit x -> Lit Source #
Generic Bytes
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Bytes :: Type -> Type Source # Methods from :: Bytes -> Rep Bytes x Source # to :: Rep Bytes x -> Bytes Source #
Generic Body
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Body :: Type -> Type Source # Methods from :: Body -> Rep Body x Source # to :: Rep Body x -> Body Source #
Generic Guard
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Guard :: Type -> Type Source # Methods from :: Guard -> Rep Guard x Source # to :: Rep Guard x -> Guard Source #
Generic Stmt
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Stmt :: Type -> Type Source # Methods from :: Stmt -> Rep Stmt x Source # to :: Rep Stmt x -> Stmt Source #
Generic Range
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Range :: Type -> Type Source # Methods from :: Range -> Rep Range x Source # to :: Rep Range x -> Range Source #
Generic DerivClause
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DerivClause :: Type -> Type Source # Methods from :: DerivClause -> Rep DerivClause x Source # to :: Rep DerivClause x -> DerivClause Source #
Generic DerivStrategy
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DerivStrategy :: Type -> Type Source # Methods from :: DerivStrategy -> Rep DerivStrategy x Source # to :: Rep DerivStrategy x -> DerivStrategy Source #
Generic TypeFamilyHead
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TypeFamilyHead :: Type -> Type Source # Methods from :: TypeFamilyHead -> Rep TypeFamilyHead x Source # to :: Rep TypeFamilyHead x -> TypeFamilyHead Source #
Generic TySynEqn
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TySynEqn :: Type -> Type Source # Methods from :: TySynEqn -> Rep TySynEqn x Source # to :: Rep TySynEqn x -> TySynEqn Source #
Generic Foreign
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Foreign :: Type -> Type Source # Methods from :: Foreign -> Rep Foreign x Source # to :: Rep Foreign x -> Foreign Source #
Generic Callconv
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Callconv :: Type -> Type Source # Methods from :: Callconv -> Rep Callconv x Source # to :: Rep Callconv x -> Callconv Source #
Generic Safety
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Safety :: Type -> Type Source # Methods from :: Safety -> Rep Safety x Source # to :: Rep Safety x -> Safety Source #
Generic Pragma
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Pragma :: Type -> Type Source # Methods from :: Pragma -> Rep Pragma x Source # to :: Rep Pragma x -> Pragma Source #
Generic Inline
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Inline :: Type -> Type Source # Methods from :: Inline -> Rep Inline x Source # to :: Rep Inline x -> Inline Source #
Generic RuleMatch
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep RuleMatch :: Type -> Type Source # Methods from :: RuleMatch -> Rep RuleMatch x Source # to :: Rep RuleMatch x -> RuleMatch Source #
Generic Phases
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Phases :: Type -> Type Source # Methods from :: Phases -> Rep Phases x Source # to :: Rep Phases x -> Phases Source #
Generic RuleBndr
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep RuleBndr :: Type -> Type Source # Methods from :: RuleBndr -> Rep RuleBndr x Source # to :: Rep RuleBndr x -> RuleBndr Source #
Generic AnnTarget
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep AnnTarget :: Type -> Type Source # Methods from :: AnnTarget -> Rep AnnTarget x Source # to :: Rep AnnTarget x -> AnnTarget Source #
Generic SourceUnpackedness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep SourceUnpackedness :: Type -> Type Source # Methods from :: SourceUnpackedness -> Rep SourceUnpackedness x Source # to :: Rep SourceUnpackedness x -> SourceUnpackedness Source #
Generic SourceStrictness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep SourceStrictness :: Type -> Type Source # Methods from :: SourceStrictness -> Rep SourceStrictness x Source # to :: Rep SourceStrictness x -> SourceStrictness Source #
Generic DecidedStrictness
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep DecidedStrictness :: Type -> Type Source # Methods from :: DecidedStrictness -> Rep DecidedStrictness x Source # to :: Rep DecidedStrictness x -> DecidedStrictness Source #
Generic Con
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Con :: Type -> Type Source # Methods from :: Con -> Rep Con x Source # to :: Rep Con x -> Con Source #
Generic Bang
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Bang :: Type -> Type Source # Methods from :: Bang -> Rep Bang x Source # to :: Rep Bang x -> Bang Source #
Generic PatSynDir
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PatSynDir :: Type -> Type Source # Methods from :: PatSynDir -> Rep PatSynDir x Source # to :: Rep PatSynDir x -> PatSynDir Source #
Generic PatSynArgs
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep PatSynArgs :: Type -> Type Source # Methods from :: PatSynArgs -> Rep PatSynArgs x Source # to :: Rep PatSynArgs x -> PatSynArgs Source #
Generic TyVarBndr
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TyVarBndr :: Type -> Type Source # Methods from :: TyVarBndr -> Rep TyVarBndr x Source # to :: Rep TyVarBndr x -> TyVarBndr Source #
Generic FamilyResultSig
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep FamilyResultSig :: Type -> Type Source # Methods from :: FamilyResultSig -> Rep FamilyResultSig x Source # to :: Rep FamilyResultSig x -> FamilyResultSig Source #
Generic TyLit
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep TyLit :: Type -> Type Source # Methods from :: TyLit -> Rep TyLit x Source # to :: Rep TyLit x -> TyLit Source #
Generic Role
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep Role :: Type -> Type Source # Methods from :: Role -> Rep Role x Source # to :: Rep Role x -> Role Source #
Generic AnnLookup
Instance details Defined in Language.Haskell.TH.Syntax Associated Types type Rep AnnLookup :: Type -> Type Source # Methods from :: AnnLookup -> Rep AnnLookup x Source # to :: Rep AnnLookup x -> AnnLookup Source #
Generic Value
Instance details Defined in Data.Aeson.Types.Internal Associated Types type Rep Value :: Type -> Type Source # Methods from :: Value -> Rep Value x Source # to :: Rep Value x -> Value Source #
Generic ClosureType
Instance details Defined in GHC.Exts.Heap.ClosureTypes Associated Types type Rep ClosureType :: Type -> Type Source # Methods from :: ClosureType -> Rep ClosureType x Source # to :: Rep ClosureType x -> ClosureType Source #
Generic PrimType
Instance details Defined in GHC.Exts.Heap.Closures Associated Types type Rep PrimType :: Type -> Type Source # Methods from :: PrimType -> Rep PrimType x Source # to :: Rep PrimType x -> PrimType Source #
Generic StgInfoTable
Instance details Defined in GHC.Exts.Heap.InfoTable.Types Associated Types type Rep StgInfoTable :: Type -> Type Source # Methods from :: StgInfoTable -> Rep StgInfoTable x Source # to :: Rep StgInfoTable x -> StgInfoTable Source #
Generic SatInt Source #
Instance details Defined in Data.SatInt Associated Types type Rep SatInt :: Type -> Type Source # Methods from :: SatInt -> Rep SatInt x Source # to :: Rep SatInt x -> SatInt Source #
Generic Half
Instance details Defined in Numeric.Half.Internal Associated Types type Rep Half :: Type -> Type Source # Methods from :: Half -> Rep Half x Source # to :: Rep Half x -> Half Source #
Generic Data Source #
Instance details Defined in PlutusCore.Data Associated Types type Rep Data :: Type -> Type Source # Methods from :: Data -> Rep Data x Source # to :: Rep Data x -> Data Source #
Generic ConstructorInfo
Instance details Defined in Language.Haskell.TH.Datatype Associated Types type Rep ConstructorInfo :: Type -> Type Source # Methods from :: ConstructorInfo -> Rep ConstructorInfo x Source # to :: Rep ConstructorInfo x -> ConstructorInfo Source #
Generic ConstructorVariant
Instance details Defined in Language.Haskell.TH.Datatype Associated Types type Rep ConstructorVariant :: Type -> Type Source # Methods from :: ConstructorVariant -> Rep ConstructorVariant x Source # to :: Rep ConstructorVariant x -> ConstructorVariant Source #
Generic DatatypeInfo
Instance details Defined in Language.Haskell.TH.Datatype Associated Types type Rep DatatypeInfo :: Type -> Type Source # Methods from :: DatatypeInfo -> Rep DatatypeInfo x Source # to :: Rep DatatypeInfo x -> DatatypeInfo Source #
Generic DatatypeVariant
Instance details Defined in Language.Haskell.TH.Datatype Associated Types type Rep DatatypeVariant :: Type -> Type Source # Methods from :: DatatypeVariant -> Rep DatatypeVariant x Source # to :: Rep DatatypeVariant x -> DatatypeVariant Source #
Generic FieldStrictness
Instance details Defined in Language.Haskell.TH.Datatype Associated Types type Rep FieldStrictness :: Type -> Type Source # Methods from :: FieldStrictness -> Rep FieldStrictness x Source # to :: Rep FieldStrictness x -> FieldStrictness Source #
Generic Strictness
Instance details Defined in Language.Haskell.TH.Datatype Associated Types type Rep Strictness :: Type -> Type Source # Methods from :: Strictness -> Rep Strictness x Source # to :: Rep Strictness x -> Strictness Source #
Generic Unpackedness
Instance details Defined in Language.Haskell.TH.Datatype Associated Types type Rep Unpackedness :: Type -> Type Source # Methods from :: Unpackedness -> Rep Unpackedness x Source # to :: Rep Unpackedness x -> Unpackedness Source #
Generic Specificity
Instance details Defined in Language.Haskell.TH.Datatype.TyVarBndr Associated Types type Rep Specificity :: Type -> Type Source # Methods from :: Specificity -> Rep Specificity x Source # to :: Rep Specificity x -> Specificity Source #
Generic TyName Source #
Instance details Defined in PlutusCore.Name Associated Types type Rep TyName :: Type -> Type Source # Methods from :: TyName -> Rep TyName x Source # to :: Rep TyName x -> TyName Source #
Generic Name Source #
Instance details Defined in PlutusCore.Name Associated Types type Rep Name :: Type -> Type Source # Methods from :: Name -> Rep Name x Source # to :: Rep Name x -> Name Source #
Generic ByteSpan
Instance details Defined in Cardano.Binary.Annotated Associated Types type Rep ByteSpan :: Type -> Type Source # Methods from :: ByteSpan -> Rep ByteSpan x Source # to :: Rep ByteSpan x -> ByteSpan Source #
Generic FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Associated Types type Rep FreeVariableError :: Type -> Type Source # Methods from :: FreeVariableError -> Rep FreeVariableError x Source # to :: Rep FreeVariableError x -> FreeVariableError Source #
Generic TyDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Associated Types type Rep TyDeBruijn :: Type -> Type Source # Methods from :: TyDeBruijn -> Rep TyDeBruijn x Source # to :: Rep TyDeBruijn x -> TyDeBruijn Source #
Generic NamedTyDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Associated Types type Rep NamedTyDeBruijn :: Type -> Type Source # Methods from :: NamedTyDeBruijn -> Rep NamedTyDeBruijn x Source # to :: Rep NamedTyDeBruijn x -> NamedTyDeBruijn Source #
Generic DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Associated Types type Rep DeBruijn :: Type -> Type Source # Methods from :: DeBruijn -> Rep DeBruijn x Source # to :: Rep DeBruijn x -> DeBruijn Source #
Generic NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Associated Types type Rep NamedDeBruijn :: Type -> Type Source # Methods from :: NamedDeBruijn -> Rep NamedDeBruijn x Source # to :: Rep NamedDeBruijn x -> NamedDeBruijn Source #
Generic Index Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Associated Types type Rep Index :: Type -> Type Source # Methods from :: Index -> Rep Index x Source # to :: Rep Index x -> Index Source #
Generic ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Associated Types type Rep ExCPU :: Type -> Type Source # Methods from :: ExCPU -> Rep ExCPU x Source # to :: Rep ExCPU x -> ExCPU Source #
Generic ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Associated Types type Rep ExMemory :: Type -> Type Source # Methods from :: ExMemory -> Rep ExMemory x Source # to :: Rep ExMemory x -> ExMemory Source #
Generic ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Associated Types type Rep ExBudget :: Type -> Type Source # Methods from :: ExBudget -> Rep ExBudget x Source # to :: Rep ExBudget x -> ExBudget Source #
Generic ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelSixArguments :: Type -> Type Source # Methods from :: ModelSixArguments -> Rep ModelSixArguments x Source # to :: Rep ModelSixArguments x -> ModelSixArguments Source #
Generic ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelFiveArguments :: Type -> Type Source # Methods from :: ModelFiveArguments -> Rep ModelFiveArguments x Source # to :: Rep ModelFiveArguments x -> ModelFiveArguments Source #
Generic ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelFourArguments :: Type -> Type Source # Methods from :: ModelFourArguments -> Rep ModelFourArguments x Source # to :: Rep ModelFourArguments x -> ModelFourArguments Source #
Generic ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelThreeArguments :: Type -> Type Source # Methods from :: ModelThreeArguments -> Rep ModelThreeArguments x Source # to :: Rep ModelThreeArguments x -> ModelThreeArguments Source #
Generic ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelTwoArguments :: Type -> Type Source # Methods from :: ModelTwoArguments -> Rep ModelTwoArguments x Source # to :: Rep ModelTwoArguments x -> ModelTwoArguments Source #
Generic ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelConstantOrTwoArguments :: Type -> Type Source # Methods from :: ModelConstantOrTwoArguments -> Rep ModelConstantOrTwoArguments x Source # to :: Rep ModelConstantOrTwoArguments x -> ModelConstantOrTwoArguments Source #
Generic ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelConstantOrLinear :: Type -> Type Source # Methods from :: ModelConstantOrLinear -> Rep ModelConstantOrLinear x Source # to :: Rep ModelConstantOrLinear x -> ModelConstantOrLinear Source #
Generic ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelMaxSize :: Type -> Type Source # Methods from :: ModelMaxSize -> Rep ModelMaxSize x Source # to :: Rep ModelMaxSize x -> ModelMaxSize Source #
Generic ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelMinSize :: Type -> Type Source # Methods from :: ModelMinSize -> Rep ModelMinSize x Source # to :: Rep ModelMinSize x -> ModelMinSize Source #
Generic ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelMultipliedSizes :: Type -> Type Source # Methods from :: ModelMultipliedSizes -> Rep ModelMultipliedSizes x Source # to :: Rep ModelMultipliedSizes x -> ModelMultipliedSizes Source #
Generic ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelLinearSize :: Type -> Type Source # Methods from :: ModelLinearSize -> Rep ModelLinearSize x Source # to :: Rep ModelLinearSize x -> ModelLinearSize Source #
Generic ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelSubtractedSizes :: Type -> Type Source # Methods from :: ModelSubtractedSizes -> Rep ModelSubtractedSizes x Source # to :: Rep ModelSubtractedSizes x -> ModelSubtractedSizes Source #
Generic ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelAddedSizes :: Type -> Type Source # Methods from :: ModelAddedSizes -> Rep ModelAddedSizes x Source # to :: Rep ModelAddedSizes x -> ModelAddedSizes Source #
Generic ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep ModelOneArgument :: Type -> Type Source # Methods from :: ModelOneArgument -> Rep ModelOneArgument x Source # to :: Rep ModelOneArgument x -> ModelOneArgument Source #
Generic Filler
Instance details Defined in Flat.Filler Associated Types type Rep Filler :: Type -> Type Source # Methods from :: Filler -> Rep Filler x Source # to :: Rep Filler x -> Filler Source #
Generic Pos
Instance details Defined in Text.Megaparsec.Pos Associated Types type Rep Pos :: Type -> Type Source # Methods from :: Pos -> Rep Pos x Source # to :: Rep Pos x -> Pos Source #
Generic SourcePos
Instance details Defined in Text.Megaparsec.Pos Associated Types type Rep SourcePos :: Type -> Type Source # Methods from :: SourcePos -> Rep SourcePos x Source # to :: Rep SourcePos x -> SourcePos Source #
Generic InvalidPosException
Instance details Defined in Text.Megaparsec.Pos Associated Types type Rep InvalidPosException :: Type -> Type Source # Methods from :: InvalidPosException -> Rep InvalidPosException x Source # to :: Rep InvalidPosException x -> InvalidPosException Source #
Generic ParseError Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep ParseError :: Type -> Type Source # Methods from :: ParseError -> Rep ParseError x Source # to :: Rep ParseError x -> ParseError Source #
Generic DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Associated Types type Rep DefaultFun :: Type -> Type Source # Methods from :: DefaultFun -> Rep DefaultFun x Source # to :: Rep DefaultFun x -> DefaultFun Source #
Generic CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Associated Types type Rep CekMachineCosts :: Type -> Type Source # Methods from :: CekMachineCosts -> Rep CekMachineCosts x Source # to :: Rep CekMachineCosts x -> CekMachineCosts Source #
Generic CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Associated Types type Rep CekUserError :: Type -> Type Source # Methods from :: CekUserError -> Rep CekUserError x Source # to :: Rep CekUserError x -> CekUserError Source #
Generic StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Associated Types type Rep StepKind :: Type -> Type Source # Methods from :: StepKind -> Rep StepKind x Source # to :: Rep StepKind x -> StepKind Source #
Generic Strictness Source #
Instance details Defined in PlutusIR.Core.Type Associated Types type Rep Strictness :: Type -> Type Source # Methods from :: Strictness -> Rep Strictness x Source # to :: Rep Strictness x -> Strictness Source #
Generic Recursivity Source #
Instance details Defined in PlutusIR.Core.Type Associated Types type Rep Recursivity :: Type -> Type Source # Methods from :: Recursivity -> Rep Recursivity x Source # to :: Rep Recursivity x -> Recursivity Source #
Generic AdjacencyIntMap
Instance details Defined in Algebra.Graph.AdjacencyIntMap Associated Types type Rep AdjacencyIntMap :: Type -> Type Source # Methods from :: AdjacencyIntMap -> Rep AdjacencyIntMap x Source # to :: Rep AdjacencyIntMap x -> AdjacencyIntMap Source #
Generic ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Associated Types type Rep ExtensionFun :: Type -> Type Source # Methods from :: ExtensionFun -> Rep ExtensionFun x Source # to :: Rep ExtensionFun x -> ExtensionFun Source #
Generic [a]	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep [a] :: Type -> Type Source # Methods from :: [a] -> Rep [a] x Source # to :: Rep [a] x -> [a] Source #
Generic (Maybe a)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (Maybe a) :: Type -> Type Source # Methods from :: Maybe a -> Rep (Maybe a) x Source # to :: Rep (Maybe a) x -> Maybe a Source #
Generic (Par1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (Par1 p) :: Type -> Type Source # Methods from :: Par1 p -> Rep (Par1 p) x Source # to :: Rep (Par1 p) x -> Par1 p Source #
Generic (Complex a)	Since: base-4.9.0.0
Instance details Defined in Data.Complex Associated Types type Rep (Complex a) :: Type -> Type Source # Methods from :: Complex a -> Rep (Complex a) x Source # to :: Rep (Complex a) x -> Complex a Source #
Generic (Min a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep (Min a) :: Type -> Type Source # Methods from :: Min a -> Rep (Min a) x Source # to :: Rep (Min a) x -> Min a Source #
Generic (Max a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep (Max a) :: Type -> Type Source # Methods from :: Max a -> Rep (Max a) x Source # to :: Rep (Max a) x -> Max a Source #
Generic (First a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep (First a) :: Type -> Type Source # Methods from :: First a -> Rep (First a) x Source # to :: Rep (First a) x -> First a Source #
Generic (Last a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep (Last a) :: Type -> Type Source # Methods from :: Last a -> Rep (Last a) x Source # to :: Rep (Last a) x -> Last a Source #
Generic (WrappedMonoid m)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep (WrappedMonoid m) :: Type -> Type Source # Methods from :: WrappedMonoid m -> Rep (WrappedMonoid m) x Source # to :: Rep (WrappedMonoid m) x -> WrappedMonoid m Source #
Generic (Option a)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep (Option a) :: Type -> Type Source # Methods from :: Option a -> Rep (Option a) x Source # to :: Rep (Option a) x -> Option a Source #
Generic (ZipList a)	Since: base-4.7.0.0
Instance details Defined in Control.Applicative Associated Types type Rep (ZipList a) :: Type -> Type Source # Methods from :: ZipList a -> Rep (ZipList a) x Source # to :: Rep (ZipList a) x -> ZipList a Source #
Generic (Identity a)	Since: base-4.8.0.0
Instance details Defined in Data.Functor.Identity Associated Types type Rep (Identity a) :: Type -> Type Source # Methods from :: Identity a -> Rep (Identity a) x Source # to :: Rep (Identity a) x -> Identity a Source #
Generic (First a)	Since: base-4.7.0.0
Instance details Defined in Data.Monoid Associated Types type Rep (First a) :: Type -> Type Source # Methods from :: First a -> Rep (First a) x Source # to :: Rep (First a) x -> First a Source #
Generic (Last a)	Since: base-4.7.0.0
Instance details Defined in Data.Monoid Associated Types type Rep (Last a) :: Type -> Type Source # Methods from :: Last a -> Rep (Last a) x Source # to :: Rep (Last a) x -> Last a Source #
Generic (Dual a)	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Dual a) :: Type -> Type Source # Methods from :: Dual a -> Rep (Dual a) x Source # to :: Rep (Dual a) x -> Dual a Source #
Generic (Endo a)	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Endo a) :: Type -> Type Source # Methods from :: Endo a -> Rep (Endo a) x Source # to :: Rep (Endo a) x -> Endo a Source #
Generic (Sum a)	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Sum a) :: Type -> Type Source # Methods from :: Sum a -> Rep (Sum a) x Source # to :: Rep (Sum a) x -> Sum a Source #
Generic (Product a)	Since: base-4.7.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Product a) :: Type -> Type Source # Methods from :: Product a -> Rep (Product a) x Source # to :: Rep (Product a) x -> Product a Source #
Generic (Down a)	Since: base-4.12.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (Down a) :: Type -> Type Source # Methods from :: Down a -> Rep (Down a) x Source # to :: Rep (Down a) x -> Down a Source #
Generic (NonEmpty a)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (NonEmpty a) :: Type -> Type Source # Methods from :: NonEmpty a -> Rep (NonEmpty a) x Source # to :: Rep (NonEmpty a) x -> NonEmpty a Source #
Generic (Doc a)
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Associated Types type Rep (Doc a) :: Type -> Type Source # Methods from :: Doc a -> Rep (Doc a) x Source # to :: Rep (Doc a) x -> Doc a Source #
Generic (Solo a)
Instance details Defined in Data.Tuple.Solo Associated Types type Rep (Solo a) :: Type -> Type Source # Methods from :: Solo a -> Rep (Solo a) x Source # to :: Rep (Solo a) x -> Solo a Source #
Generic (Tree a)
Instance details Defined in Data.Tree Associated Types type Rep (Tree a) :: Type -> Type Source # Methods from :: Tree a -> Rep (Tree a) x Source # to :: Rep (Tree a) x -> Tree a Source #
Generic (Digit a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (Digit a) :: Type -> Type Source # Methods from :: Digit a -> Rep (Digit a) x Source # to :: Rep (Digit a) x -> Digit a Source #
Generic (Elem a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (Elem a) :: Type -> Type Source # Methods from :: Elem a -> Rep (Elem a) x Source # to :: Rep (Elem a) x -> Elem a Source #
Generic (FingerTree a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (FingerTree a) :: Type -> Type Source # Methods from :: FingerTree a -> Rep (FingerTree a) x Source # to :: Rep (FingerTree a) x -> FingerTree a Source #
Generic (Node a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (Node a) :: Type -> Type Source # Methods from :: Node a -> Rep (Node a) x Source # to :: Rep (Node a) x -> Node a Source #
Generic (ViewL a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (ViewL a) :: Type -> Type Source # Methods from :: ViewL a -> Rep (ViewL a) x Source # to :: Rep (ViewL a) x -> ViewL a Source #
Generic (ViewR a)
Instance details Defined in Data.Sequence.Internal Associated Types type Rep (ViewR a) :: Type -> Type Source # Methods from :: ViewR a -> Rep (ViewR a) x Source # to :: Rep (ViewR a) x -> ViewR a Source #
Generic (Fix f)
Instance details Defined in Data.Fix Associated Types type Rep (Fix f) :: Type -> Type Source # Methods from :: Fix f -> Rep (Fix f) x Source # to :: Rep (Fix f) x -> Fix f Source #
Generic (Maybe a)
Instance details Defined in Data.Strict.Maybe Associated Types type Rep (Maybe a) :: Type -> Type Source # Methods from :: Maybe a -> Rep (Maybe a) x Source # to :: Rep (Maybe a) x -> Maybe a Source #
Generic (Only a)
Instance details Defined in Data.Tuple.Only Associated Types type Rep (Only a) :: Type -> Type Source # Methods from :: Only a -> Rep (Only a) x Source # to :: Rep (Only a) x -> Only a Source #
Generic (GenClosure b)
Instance details Defined in GHC.Exts.Heap.Closures Associated Types type Rep (GenClosure b) :: Type -> Type Source # Methods from :: GenClosure b -> Rep (GenClosure b) x Source # to :: Rep (GenClosure b) x -> GenClosure b Source #
Generic (Doc ann)
Instance details Defined in Prettyprinter.Internal Associated Types type Rep (Doc ann) :: Type -> Type Source # Methods from :: Doc ann -> Rep (Doc ann) x Source # to :: Rep (Doc ann) x -> Doc ann Source #
Generic (SimpleDocStream ann)
Instance details Defined in Prettyprinter.Internal Associated Types type Rep (SimpleDocStream ann) :: Type -> Type Source # Methods from :: SimpleDocStream ann -> Rep (SimpleDocStream ann) x Source # to :: Rep (SimpleDocStream ann) x -> SimpleDocStream ann Source #
Generic (Window a)
Instance details Defined in System.Console.Terminal.Common Associated Types type Rep (Window a) :: Type -> Type Source # Methods from :: Window a -> Rep (Window a) x Source # to :: Rep (Window a) x -> Window a Source #
Generic (Doc a)
Instance details Defined in Text.PrettyPrint.Annotated.WL Associated Types type Rep (Doc a) :: Type -> Type Source # Methods from :: Doc a -> Rep (Doc a) x Source # to :: Rep (Doc a) x -> Doc a Source #
Generic (SimpleDoc a)
Instance details Defined in Text.PrettyPrint.Annotated.WL Associated Types type Rep (SimpleDoc a) :: Type -> Type Source # Methods from :: SimpleDoc a -> Rep (SimpleDoc a) x Source # to :: Rep (SimpleDoc a) x -> SimpleDoc a Source #
Generic (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Associated Types type Rep (EvaluationResult a) :: Type -> Type Source # Methods from :: EvaluationResult a -> Rep (EvaluationResult a) x Source # to :: Rep (EvaluationResult a) x -> EvaluationResult a Source #
Generic (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep (SigDSIGN EcdsaSecp256k1DSIGN) :: Type -> Type Source # Methods from :: SigDSIGN EcdsaSecp256k1DSIGN -> Rep (SigDSIGN EcdsaSecp256k1DSIGN) x Source # to :: Rep (SigDSIGN EcdsaSecp256k1DSIGN) x -> SigDSIGN EcdsaSecp256k1DSIGN Source #
Generic (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep (SigDSIGN SchnorrSecp256k1DSIGN) :: Type -> Type Source # Methods from :: SigDSIGN SchnorrSecp256k1DSIGN -> Rep (SigDSIGN SchnorrSecp256k1DSIGN) x Source # to :: Rep (SigDSIGN SchnorrSecp256k1DSIGN) x -> SigDSIGN SchnorrSecp256k1DSIGN Source #
Generic (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) :: Type -> Type Source # Methods from :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x Source # to :: Rep (SignKeyDSIGN EcdsaSecp256k1DSIGN) x -> SignKeyDSIGN EcdsaSecp256k1DSIGN Source #
Generic (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) :: Type -> Type Source # Methods from :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x Source # to :: Rep (SignKeyDSIGN SchnorrSecp256k1DSIGN) x -> SignKeyDSIGN SchnorrSecp256k1DSIGN Source #
Generic (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Associated Types type Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) :: Type -> Type Source # Methods from :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x Source # to :: Rep (VerKeyDSIGN EcdsaSecp256k1DSIGN) x -> VerKeyDSIGN EcdsaSecp256k1DSIGN Source #
Generic (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Associated Types type Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) :: Type -> Type Source # Methods from :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x Source # to :: Rep (VerKeyDSIGN SchnorrSecp256k1DSIGN) x -> VerKeyDSIGN SchnorrSecp256k1DSIGN Source #
Generic (CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep (CostingFun model) :: Type -> Type Source # Methods from :: CostingFun model -> Rep (CostingFun model) x Source # to :: Rep (CostingFun model) x -> CostingFun model Source #
Generic (BuiltinCostModelBase f) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Associated Types type Rep (BuiltinCostModelBase f) :: Type -> Type Source # Methods from :: BuiltinCostModelBase f -> Rep (BuiltinCostModelBase f) x Source # to :: Rep (BuiltinCostModelBase f) x -> BuiltinCostModelBase f Source #
Generic (Version ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (Version ann) :: Type -> Type Source # Methods from :: Version ann -> Rep (Version ann) x Source # to :: Rep (Version ann) x -> Version ann Source #
Generic (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (Kind ann) :: Type -> Type Source # Methods from :: Kind ann -> Rep (Kind ann) x Source # to :: Rep (Kind ann) x -> Kind ann Source #
Generic (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (Normalized a) :: Type -> Type Source # Methods from :: Normalized a -> Rep (Normalized a) x Source # to :: Rep (Normalized a) x -> Normalized a Source #
Generic (MachineError fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Associated Types type Rep (MachineError fun) :: Type -> Type Source # Methods from :: MachineError fun -> Rep (MachineError fun) x Source # to :: Rep (MachineError fun) x -> MachineError fun Source #
Generic (PostAligned a)
Instance details Defined in Flat.Filler Associated Types type Rep (PostAligned a) :: Type -> Type Source # Methods from :: PostAligned a -> Rep (PostAligned a) x Source # to :: Rep (PostAligned a) x -> PostAligned a Source #
Generic (PreAligned a)
Instance details Defined in Flat.Filler Associated Types type Rep (PreAligned a) :: Type -> Type Source # Methods from :: PreAligned a -> Rep (PreAligned a) x Source # to :: Rep (PreAligned a) x -> PreAligned a Source #
Generic (ErrorFancy e)
Instance details Defined in Text.Megaparsec.Error Associated Types type Rep (ErrorFancy e) :: Type -> Type Source # Methods from :: ErrorFancy e -> Rep (ErrorFancy e) x Source # to :: Rep (ErrorFancy e) x -> ErrorFancy e Source #
Generic (ErrorItem t)
Instance details Defined in Text.Megaparsec.Error Associated Types type Rep (ErrorItem t) :: Type -> Type Source # Methods from :: ErrorItem t -> Rep (ErrorItem t) x Source # to :: Rep (ErrorItem t) x -> ErrorItem t Source #
Generic (PosState s)
Instance details Defined in Text.Megaparsec.State Associated Types type Rep (PosState s) :: Type -> Type Source # Methods from :: PosState s -> Rep (PosState s) x Source # to :: Rep (PosState s) x -> PosState s Source #
Generic (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (UniqueError ann) :: Type -> Type Source # Methods from :: UniqueError ann -> Rep (UniqueError ann) x Source # to :: Rep (UniqueError ann) x -> UniqueError ann Source #
Generic (ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Associated Types type Rep (ExBudgetCategory fun) :: Type -> Type Source # Methods from :: ExBudgetCategory fun -> Rep (ExBudgetCategory fun) x Source # to :: Rep (ExBudgetCategory fun) x -> ExBudgetCategory fun Source #
Generic (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Associated Types type Rep (TallyingSt fun) :: Type -> Type Source # Methods from :: TallyingSt fun -> Rep (TallyingSt fun) x Source # to :: Rep (TallyingSt fun) x -> TallyingSt fun Source #
Generic (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Associated Types type Rep (CekExTally fun) :: Type -> Type Source # Methods from :: CekExTally fun -> Rep (CekExTally fun) x Source # to :: Rep (CekExTally fun) x -> CekExTally fun Source #
Generic (AdjacencyMap a)
Instance details Defined in Algebra.Graph.AdjacencyMap Associated Types type Rep (AdjacencyMap a) :: Type -> Type Source # Methods from :: AdjacencyMap a -> Rep (AdjacencyMap a) x Source # to :: Rep (AdjacencyMap a) x -> AdjacencyMap a Source #
Generic (AdjacencyMap a)
Instance details Defined in Algebra.Graph.NonEmpty.AdjacencyMap Associated Types type Rep (AdjacencyMap a) :: Type -> Type Source # Methods from :: AdjacencyMap a -> Rep (AdjacencyMap a) x Source # to :: Rep (AdjacencyMap a) x -> AdjacencyMap a Source #
Generic (Graph a)
Instance details Defined in Algebra.Graph Associated Types type Rep (Graph a) :: Type -> Type Source # Methods from :: Graph a -> Rep (Graph a) x Source # to :: Rep (Graph a) x -> Graph a Source #
Generic (SCC vertex)
Instance details Defined in Data.Graph Associated Types type Rep (SCC vertex) :: Type -> Type Source # Methods from :: SCC vertex -> Rep (SCC vertex) x Source # to :: Rep (SCC vertex) x -> SCC vertex Source #
Generic (Graph a)
Instance details Defined in Algebra.Graph.Undirected Associated Types type Rep (Graph a) :: Type -> Type Source # Methods from :: Graph a -> Rep (Graph a) x Source # to :: Rep (Graph a) x -> Graph a Source #
Generic (Either a b)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (Either a b) :: Type -> Type Source # Methods from :: Either a b -> Rep (Either a b) x Source # to :: Rep (Either a b) x -> Either a b Source #
Generic (V1 p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (V1 p) :: Type -> Type Source # Methods from :: V1 p -> Rep (V1 p) x Source # to :: Rep (V1 p) x -> V1 p Source #
Generic (U1 p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (U1 p) :: Type -> Type Source # Methods from :: U1 p -> Rep (U1 p) x Source # to :: Rep (U1 p) x -> U1 p Source #
Generic (a, b)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b) :: Type -> Type Source # Methods from :: (a, b) -> Rep (a, b) x Source # to :: Rep (a, b) x -> (a, b) Source #
Generic (Arg a b)	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Associated Types type Rep (Arg a b) :: Type -> Type Source # Methods from :: Arg a b -> Rep (Arg a b) x Source # to :: Rep (Arg a b) x -> Arg a b Source #
Generic (WrappedMonad m a)	Since: base-4.7.0.0
Instance details Defined in Control.Applicative Associated Types type Rep (WrappedMonad m a) :: Type -> Type Source # Methods from :: WrappedMonad m a -> Rep (WrappedMonad m a) x Source # to :: Rep (WrappedMonad m a) x -> WrappedMonad m a Source #
Generic (Proxy t)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (Proxy t) :: Type -> Type Source # Methods from :: Proxy t -> Rep (Proxy t) x Source # to :: Rep (Proxy t) x -> Proxy t Source #
Generic (These a b)
Instance details Defined in Data.These Associated Types type Rep (These a b) :: Type -> Type Source # Methods from :: These a b -> Rep (These a b) x Source # to :: Rep (These a b) x -> These a b Source #
Generic (Either a b)
Instance details Defined in Data.Strict.Either Associated Types type Rep (Either a b) :: Type -> Type Source # Methods from :: Either a b -> Rep (Either a b) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: These a b -> Rep (These a b) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: Pair a b -> Rep (Pair a b) x Source # to :: Rep (Pair a b) x -> Pair a b Source #
Generic (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Associated Types type Rep (Hash h a) :: Type -> Type Source # Methods from :: Hash h a -> Rep (Hash h a) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: Cofree f a -> Rep (Cofree f a) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: Free f a -> Rep (Free f a) x Source # to :: Rep (Free f a) x -> Free f a Source #
Generic (ListF a b)
Instance details Defined in Data.Functor.Base Associated Types type Rep (ListF a b) :: Type -> Type Source # Methods from :: ListF a b -> Rep (ListF a b) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: NonEmptyF a b -> Rep (NonEmptyF a b) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: TreeF a b -> Rep (TreeF a b) x Source # to :: Rep (TreeF a b) x -> TreeF a b Source #
Generic (SignedDSIGN v a)
Instance details Defined in Cardano.Crypto.DSIGN.Class Associated Types type Rep (SignedDSIGN v a) :: Type -> Type Source # Methods from :: SignedDSIGN v a -> Rep (SignedDSIGN v a) x Source # to :: Rep (SignedDSIGN v a) x -> SignedDSIGN v a Source #
Generic (Annotated b a)
Instance details Defined in Cardano.Binary.Annotated Associated Types type Rep (Annotated b a) :: Type -> Type Source # Methods from :: Annotated b a -> Rep (Annotated b a) x Source # to :: Rep (Annotated b a) x -> Annotated b a Source #
Generic (Bimap a b)
Instance details Defined in Data.Bimap Associated Types type Rep (Bimap a b) :: Type -> Type Source # Methods from :: Bimap a b -> Rep (Bimap a b) x Source # to :: Rep (Bimap a b) x -> Bimap a b Source #
Generic (Container b a)
Instance details Defined in Barbies.Internal.Containers Associated Types type Rep (Container b a) :: Type -> Type Source # Methods from :: Container b a -> Rep (Container b a) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: ErrorContainer b e -> Rep (ErrorContainer b e) x Source # to :: Rep (ErrorContainer b e) x -> ErrorContainer b e Source #
Generic (Unit f)
Instance details Defined in Barbies.Internal.Trivial Associated Types type Rep (Unit f) :: Type -> Type Source # Methods from :: Unit f -> Rep (Unit f) x Source # to :: Rep (Unit f) x -> Unit f Source #
Generic (Void f)
Instance details Defined in Barbies.Internal.Trivial Associated Types type Rep (Void f) :: Type -> Type Source # Methods from :: Void f -> Rep (Void f) x Source # to :: Rep (Void f) x -> Void f Source #
Generic (TyVarDecl tyname ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (TyVarDecl tyname ann) :: Type -> Type Source # Methods from :: TyVarDecl tyname ann -> Rep (TyVarDecl tyname ann) x Source # to :: Rep (TyVarDecl tyname ann) x -> TyVarDecl tyname ann Source #
Generic (EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Associated Types type Rep (EvaluationError user internal) :: Type -> Type Source # Methods from :: EvaluationError user internal -> Rep (EvaluationError user internal) x Source # to :: Rep (EvaluationError user internal) x -> EvaluationError user internal Source #
Generic (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Associated Types type Rep (ErrorWithCause err cause) :: Type -> Type Source # Methods from :: ErrorWithCause err cause -> Rep (ErrorWithCause err cause) x Source # to :: Rep (ErrorWithCause err cause) x -> ErrorWithCause err cause Source #
Generic (ListT m a)
Instance details Defined in ListT Associated Types type Rep (ListT m a) :: Type -> Type Source # Methods from :: ListT m a -> Rep (ListT m a) x Source # to :: Rep (ListT m a) x -> ListT m a Source #
Generic (Def var val) Source #
Instance details Defined in PlutusCore.MkPlc Associated Types type Rep (Def var val) :: Type -> Type Source # Methods from :: Def var val -> Rep (Def var val) x Source # to :: Rep (Def var val) x -> Def var val Source #
Generic (ParseError s e)
Instance details Defined in Text.Megaparsec.Error Associated Types type Rep (ParseError s e) :: Type -> Type Source # Methods from :: ParseError s e -> Rep (ParseError s e) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: ParseErrorBundle s e -> Rep (ParseErrorBundle s e) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: State s e -> Rep (State s e) x Source # to :: Rep (State s e) x -> State s e Source #
Generic (UVarDecl name ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Associated Types type Rep (UVarDecl name ann) :: Type -> Type Source # Methods from :: UVarDecl name ann -> Rep (UVarDecl name ann) x Source # to :: Rep (UVarDecl name ann) x -> UVarDecl name ann Source #
Generic (TypeErrorExt uni ann) Source #
Instance details Defined in PlutusIR.Error Associated Types type Rep (TypeErrorExt uni ann) :: Type -> Type Source # Methods from :: TypeErrorExt uni ann -> Rep (TypeErrorExt uni ann) x Source # to :: Rep (TypeErrorExt uni ann) x -> TypeErrorExt uni ann Source #
Generic (AdjacencyMap e a)
Instance details Defined in Algebra.Graph.Labelled.AdjacencyMap Associated Types type Rep (AdjacencyMap e a) :: Type -> Type Source # Methods from :: AdjacencyMap e a -> Rep (AdjacencyMap e a) x Source # to :: Rep (AdjacencyMap e a) x -> AdjacencyMap e a Source #
Generic (Graph e a)
Instance details Defined in Algebra.Graph.Labelled Associated Types type Rep (Graph e a) :: Type -> Type Source # Methods from :: Graph e a -> Rep (Graph e a) x Source # to :: Rep (Graph e a) x -> Graph e a Source #
Generic (Rec1 f p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (Rec1 f p) :: Type -> Type Source # Methods from :: Rec1 f p -> Rep (Rec1 f p) x Source # to :: Rep (Rec1 f p) x -> Rec1 f p Source #
Generic (URec (Ptr ()) p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (URec (Ptr ()) p) :: Type -> Type Source # Methods from :: URec (Ptr ()) p -> Rep (URec (Ptr ()) p) x Source # to :: Rep (URec (Ptr ()) p) x -> URec (Ptr ()) p Source #
Generic (URec Char p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (URec Char p) :: Type -> Type Source # Methods from :: URec Char p -> Rep (URec Char p) x Source # to :: Rep (URec Char p) x -> URec Char p Source #
Generic (URec Double p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (URec Double p) :: Type -> Type Source # Methods from :: URec Double p -> Rep (URec Double p) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: URec Float p -> Rep (URec Float p) x Source # to :: Rep (URec Float p) x -> URec Float p Source #
Generic (URec Int p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (URec Int p) :: Type -> Type Source # Methods from :: URec Int p -> Rep (URec Int p) x Source # to :: Rep (URec Int p) x -> URec Int p Source #
Generic (URec Word p)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (URec Word p) :: Type -> Type Source # Methods from :: URec Word p -> Rep (URec Word p) x Source # to :: Rep (URec Word p) x -> URec Word p Source #
Generic (a, b, c)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c) :: Type -> Type Source # Methods from :: (a, b, c) -> Rep (a, b, c) x Source # to :: Rep (a, b, c) x -> (a, b, c) Source #
Generic (WrappedArrow a b c)	Since: base-4.7.0.0
Instance details Defined in Control.Applicative Associated Types type Rep (WrappedArrow a b c) :: Type -> Type Source # Methods from :: WrappedArrow a b c -> Rep (WrappedArrow a b c) x Source # to :: Rep (WrappedArrow a b c) x -> WrappedArrow a b c Source #
Generic (Kleisli m a b)	Since: base-4.14.0.0
Instance details Defined in Control.Arrow Associated Types type Rep (Kleisli m a b) :: Type -> Type Source # Methods from :: Kleisli m a b -> Rep (Kleisli m a b) x Source # to :: Rep (Kleisli m a b) x -> Kleisli m a b Source #
Generic (Const a b)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Const Associated Types type Rep (Const a b) :: Type -> Type Source # Methods from :: Const a b -> Rep (Const a b) x Source # to :: Rep (Const a b) x -> Const a b Source #
Generic (Ap f a)	Since: base-4.12.0.0
Instance details Defined in Data.Monoid Associated Types type Rep (Ap f a) :: Type -> Type Source # Methods from :: Ap f a -> Rep (Ap f a) x Source # to :: Rep (Ap f a) x -> Ap f a Source #
Generic (Alt f a)	Since: base-4.8.0.0
Instance details Defined in Data.Semigroup.Internal Associated Types type Rep (Alt f a) :: Type -> Type Source # Methods from :: Alt f a -> Rep (Alt f a) x Source # to :: Rep (Alt f a) x -> Alt f a Source #
Generic (Tagged s b)
Instance details Defined in Data.Tagged Associated Types type Rep (Tagged s b) :: Type -> Type Source # Methods from :: Tagged s b -> Rep (Tagged s b) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: These1 f g a -> Rep (These1 f g a) x Source # to :: Rep (These1 f g a) x -> These1 f g a Source #
Generic (Fix p a)
Instance details Defined in Data.Bifunctor.Fix Associated Types type Rep (Fix p a) :: Type -> Type Source # Methods from :: Fix p a -> Rep (Fix p a) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: Join p a -> Rep (Join p a) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: CofreeF f a b -> Rep (CofreeF f a b) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: FreeF f a b -> Rep (FreeF f a b) x Source # to :: Rep (FreeF f a b) x -> FreeF f a b Source #
Generic (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (Type tyname uni ann) :: Type -> Type Source # Methods from :: Type tyname uni ann -> Rep (Type tyname uni ann) x Source # to :: Rep (Type tyname uni ann) x -> Type tyname uni ann Source #
Generic (TyDecl tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (TyDecl tyname uni ann) :: Type -> Type Source # Methods from :: TyDecl tyname uni ann -> Rep (TyDecl tyname uni ann) x Source # to :: Rep (TyDecl tyname uni ann) x -> TyDecl tyname uni ann Source #
Generic (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (Error uni fun ann) :: Type -> Type Source # Methods from :: Error uni fun ann -> Rep (Error uni fun ann) x Source # to :: Rep (Error uni fun ann) x -> Error uni fun ann Source #
Generic (K1 i c p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (K1 i c p) :: Type -> Type Source # Methods from :: K1 i c p -> Rep (K1 i c p) x Source # to :: Rep (K1 i c p) x -> K1 i c p Source #
Generic ((f :+: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ((f :+: g) p) :: Type -> Type Source # Methods from :: (f :+: g) p -> Rep ((f :+: g) p) x Source # to :: Rep ((f :+: g) p) x -> (f :+: g) p Source #
Generic ((f :*: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ((f :: g) p) :: Type -> Type Source # Methods from :: (f :: g) p -> Rep ((f :: g) p) x Source # to :: Rep ((f :: g) p) x -> (f :*: g) p Source #
Generic (a, b, c, d)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d) :: Type -> Type Source # Methods from :: (a, b, c, d) -> Rep (a, b, c, d) x Source # to :: Rep (a, b, c, d) x -> (a, b, c, d) Source #
Generic (Product f g a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Product Associated Types type Rep (Product f g a) :: Type -> Type Source # Methods from :: Product f g a -> Rep (Product f g a) x Source # to :: Rep (Product f g a) x -> Product f g a Source #
Generic (Sum f g a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Sum Associated Types type Rep (Sum f g a) :: Type -> Type Source # Methods from :: Sum f g a -> Rep (Sum f g a) x Source # to :: Rep (Sum f g a) x -> Sum f g a Source #
Generic (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (TypeError term uni fun ann) :: Type -> Type Source # Methods from :: TypeError term uni fun ann -> Rep (TypeError term uni fun ann) x Source # to :: Rep (TypeError term uni fun ann) x -> TypeError term uni fun ann Source #
Generic (MachineParameters machinecosts term uni fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.MachineParameters Associated Types type Rep (MachineParameters machinecosts term uni fun) :: Type -> Type Source # Methods from :: MachineParameters machinecosts term uni fun -> Rep (MachineParameters machinecosts term uni fun) x Source # to :: Rep (MachineParameters machinecosts term uni fun) x -> MachineParameters machinecosts term uni fun Source #
Generic (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Associated Types type Rep (Program name uni fun ann) :: Type -> Type Source # Methods from :: Program name uni fun ann -> Rep (Program name uni fun ann) x Source # to :: Rep (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) :: Type -> Type Source # Methods from :: Term name uni fun ann -> Rep (Term name uni fun ann) x Source # to :: Rep (Term name uni fun ann) x -> Term name uni fun ann Source #
Generic (M1 i c f p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (M1 i c f p) :: Type -> Type Source # Methods from :: M1 i c f p -> Rep (M1 i c f p) x Source # to :: Rep (M1 i c f p) x -> M1 i c f p Source #
Generic ((f :.: g) p)	Since: base-4.7.0.0
Instance details Defined in GHC.Generics Associated Types type Rep ((f :.: g) p) :: Type -> Type Source # Methods from :: (f :.: g) p -> Rep ((f :.: g) p) x Source # to :: Rep ((f :.: g) p) x -> (f :.: g) p Source #
Generic (a, b, c, d, e)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e) :: Type -> Type Source # Methods from :: (a, b, c, d, e) -> Rep (a, b, c, d, e) x Source # to :: Rep (a, b, c, d, e) x -> (a, b, c, d, e) Source #
Generic (Compose f g a)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Compose Associated Types type Rep (Compose f g a) :: Type -> Type Source # Methods from :: Compose f g a -> Rep (Compose f g a) x Source # to :: Rep (Compose f g a) x -> Compose f g a Source #
Generic (Flip p a b)
Instance details Defined in Data.Bifunctor.Flip Associated Types type Rep (Flip p a b) :: Type -> Type Source # Methods from :: Flip p a b -> Rep (Flip p a b) x Source # to :: Rep (Flip p a b) x -> Flip p a b Source #
Generic (Clown f a b)
Instance details Defined in Data.Bifunctor.Clown Associated Types type Rep (Clown f a b) :: Type -> Type Source # Methods from :: Clown f a b -> Rep (Clown f a b) x Source # to :: Rep (Clown f a b) x -> Clown f a b Source #
Generic (Joker g a b)
Instance details Defined in Data.Bifunctor.Joker Associated Types type Rep (Joker g a b) :: Type -> Type Source # Methods from :: Joker g a b -> Rep (Joker g a b) x Source # to :: Rep (Joker g a b) x -> Joker g a b Source #
Generic (WrappedBifunctor p a b)
Instance details Defined in Data.Bifunctor.Wrapped Associated Types type Rep (WrappedBifunctor p a b) :: Type -> Type Source # Methods from :: WrappedBifunctor p a b -> Rep (WrappedBifunctor p a b) x Source # to :: Rep (WrappedBifunctor p a b) x -> WrappedBifunctor p a b Source #
Generic (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (Program tyname name uni fun ann) :: Type -> Type Source # Methods from :: Program tyname name uni fun ann -> Rep (Program tyname name uni fun ann) x Source # to :: Rep (Program tyname name uni fun ann) x -> Program tyname name uni fun ann Source #
Generic (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (Term tyname name uni fun ann) :: Type -> Type Source # Methods from :: Term tyname name uni fun ann -> Rep (Term tyname name uni fun ann) x Source # to :: Rep (Term tyname name uni fun ann) x -> Term tyname name uni fun ann Source #
Generic (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (NormCheckError tyname name uni fun ann) :: Type -> Type Source # Methods from :: NormCheckError tyname name uni fun ann -> Rep (NormCheckError tyname name uni fun ann) x Source # to :: Rep (NormCheckError tyname name uni fun ann) x -> NormCheckError tyname name uni fun ann Source #
Generic (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Type Associated Types type Rep (Program tyname name uni fun ann) :: Type -> Type Source # Methods from :: Program tyname name uni fun ann -> Rep (Program tyname name uni fun ann) x Source # to :: Rep (Program tyname name uni fun ann) x -> Program tyname name uni fun ann Source #
Generic (Term tyname name uni fun a) Source #
Instance details Defined in PlutusIR.Core.Type Associated Types type Rep (Term tyname name uni fun a) :: Type -> Type Source # Methods from :: Term tyname name uni fun a -> Rep (Term tyname name uni fun a) x Source # to :: Rep (Term tyname name uni fun a) x -> Term tyname name uni fun a Source #
Generic (Binding tyname name uni fun a) Source #
Instance details Defined in PlutusIR.Core.Type Associated Types type Rep (Binding tyname name uni fun a) :: Type -> Type Source # Methods from :: Binding tyname name uni fun a -> Rep (Binding tyname name uni fun a) x Source # to :: Rep (Binding tyname name uni fun a) x -> Binding tyname name uni fun a Source #
Generic (Datatype tyname name uni fun a) Source #
Instance details Defined in PlutusIR.Core.Type Associated Types type Rep (Datatype tyname name uni fun a) :: Type -> Type Source # Methods from :: Datatype tyname name uni fun a -> Rep (Datatype tyname name uni fun a) x Source # to :: Rep (Datatype tyname name uni fun a) x -> Datatype tyname name uni fun a Source #
Generic (a, b, c, d, e, f)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f) :: Type -> Type Source # Methods from :: (a, b, c, d, e, f) -> Rep (a, b, c, d, e, f) x Source # to :: Rep (a, b, c, d, e, f) x -> (a, b, c, d, e, f) Source #
Generic (Product f g a b)
Instance details Defined in Data.Bifunctor.Product Associated Types type Rep (Product f g a b) :: Type -> Type Source # Methods from :: Product f g a b -> Rep (Product f g a b) x Source # to :: Rep (Product f g a b) x -> Product f g a b Source #
Generic (Sum p q a b)
Instance details Defined in Data.Bifunctor.Sum Associated Types type Rep (Sum p q a b) :: Type -> Type Source # Methods from :: Sum p q a b -> Rep (Sum p q a b) x Source # to :: Rep (Sum p q a b) x -> Sum p q a b Source #
Generic (VarDecl tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Associated Types type Rep (VarDecl tyname name uni fun ann) :: Type -> Type Source # Methods from :: VarDecl tyname name uni fun ann -> Rep (VarDecl tyname name uni fun ann) x Source # to :: Rep (VarDecl tyname name uni fun ann) x -> VarDecl tyname name uni fun ann Source #
Generic (a, b, c, d, e, f, g)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (a, b, c, d, e, f, g) :: Type -> Type Source # Methods from :: (a, b, c, d, e, f, g) -> Rep (a, b, c, d, e, f, g) x Source # to :: Rep (a, b, c, d, e, f, g) x -> (a, b, c, d, e, f, g) Source #
Generic (Tannen f p a b)
Instance details Defined in Data.Bifunctor.Tannen Associated Types type Rep (Tannen f p a b) :: Type -> Type Source # Methods from :: Tannen f p a b -> Rep (Tannen f p a b) x Source # to :: Rep (Tannen f p a b) x -> Tannen f p a b Source #
Generic (Biff p f g a b)
Instance details Defined in Data.Bifunctor.Biff Associated Types type Rep (Biff p f g a b) :: Type -> Type Source # Methods from :: Biff p f g a b -> Rep (Biff p f g a b) x Source # to :: Rep (Biff p f g a b) x -> Biff p f g a b Source #

class NFData a Source #

A class of types that can be fully evaluated.

Since: deepseq-1.1.0.0

Instances

Instances details

NFData Bool
Instance details Defined in Control.DeepSeq Methods rnf :: Bool -> () Source #
NFData Char
Instance details Defined in Control.DeepSeq Methods rnf :: Char -> () Source #
NFData Double
Instance details Defined in Control.DeepSeq Methods rnf :: Double -> () Source #
NFData Float
Instance details Defined in Control.DeepSeq Methods rnf :: Float -> () Source #
NFData Int
Instance details Defined in Control.DeepSeq Methods rnf :: Int -> () Source #
NFData Int8
Instance details Defined in Control.DeepSeq Methods rnf :: Int8 -> () Source #
NFData Int16
Instance details Defined in Control.DeepSeq Methods rnf :: Int16 -> () Source #
NFData Int32
Instance details Defined in Control.DeepSeq Methods rnf :: Int32 -> () Source #
NFData Int64
Instance details Defined in Control.DeepSeq Methods rnf :: Int64 -> () Source #
NFData Integer
Instance details Defined in Control.DeepSeq Methods rnf :: Integer -> () Source #
NFData Natural	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Natural -> () Source #
NFData Ordering
Instance details Defined in Control.DeepSeq Methods rnf :: Ordering -> () Source #
NFData Word
Instance details Defined in Control.DeepSeq Methods rnf :: Word -> () Source #
NFData Word8
Instance details Defined in Control.DeepSeq Methods rnf :: Word8 -> () Source #
NFData Word16
Instance details Defined in Control.DeepSeq Methods rnf :: Word16 -> () Source #
NFData Word32
Instance details Defined in Control.DeepSeq Methods rnf :: Word32 -> () Source #
NFData Word64
Instance details Defined in Control.DeepSeq Methods rnf :: Word64 -> () Source #
NFData CallStack	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: CallStack -> () Source #
NFData ()
Instance details Defined in Control.DeepSeq Methods rnf :: () -> () Source #
NFData TyCon	NOTE: Prior to `deepseq-1.4.4.0` this instance was only defined for `base-4.8.0.0` and later. Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: TyCon -> () Source #
NFData Void	Defined as `rnf = absurd`. Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Void -> () Source #
NFData Unique	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Unique -> () Source #
NFData Version	Since: deepseq-1.3.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Version -> () Source #
NFData ThreadId	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: ThreadId -> () Source #
NFData ExitCode	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: ExitCode -> () Source #
NFData MaskingState	Since: deepseq-1.4.4.0
Instance details Defined in Control.DeepSeq Methods rnf :: MaskingState -> () Source #
NFData TypeRep	NOTE: Prior to `deepseq-1.4.4.0` this instance was only defined for `base-4.8.0.0` and later. Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: TypeRep -> () Source #
NFData All	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: All -> () Source #
NFData Any	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Any -> () Source #
NFData CChar	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CChar -> () Source #
NFData CSChar	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CSChar -> () Source #
NFData CUChar	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CUChar -> () Source #
NFData CShort	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CShort -> () Source #
NFData CUShort	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CUShort -> () Source #
NFData CInt	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CInt -> () Source #
NFData CUInt	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CUInt -> () Source #
NFData CLong	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CLong -> () Source #
NFData CULong	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CULong -> () Source #
NFData CLLong	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CLLong -> () Source #
NFData CULLong	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CULLong -> () Source #
NFData CBool	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods rnf :: CBool -> () Source #
NFData CFloat	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CFloat -> () Source #
NFData CDouble	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CDouble -> () Source #
NFData CPtrdiff	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CPtrdiff -> () Source #
NFData CSize	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CSize -> () Source #
NFData CWchar	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CWchar -> () Source #
NFData CSigAtomic	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CSigAtomic -> () Source #
NFData CClock	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CClock -> () Source #
NFData CTime	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CTime -> () Source #
NFData CUSeconds	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CUSeconds -> () Source #
NFData CSUSeconds	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CSUSeconds -> () Source #
NFData CFile	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CFile -> () Source #
NFData CFpos	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CFpos -> () Source #
NFData CJmpBuf	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CJmpBuf -> () Source #
NFData CIntPtr	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CIntPtr -> () Source #
NFData CUIntPtr	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CUIntPtr -> () Source #
NFData CIntMax	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CIntMax -> () Source #
NFData CUIntMax	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: CUIntMax -> () Source #
NFData Fingerprint	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Fingerprint -> () Source #
NFData SrcLoc	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: SrcLoc -> () Source #
NFData Doc
Instance details Defined in Text.PrettyPrint.HughesPJ Methods rnf :: Doc -> () Source #
NFData TextDetails
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Methods rnf :: TextDetails -> () Source #
NFData Key
Instance details Defined in Data.Aeson.Key Methods rnf :: Key -> () Source #
NFData Value
Instance details Defined in Data.Aeson.Types.Internal Methods rnf :: Value -> () Source #
NFData ByteString
Instance details Defined in Data.ByteString.Lazy.Internal Methods rnf :: ByteString -> () Source #
NFData ByteString
Instance details Defined in Data.ByteString.Internal Methods rnf :: ByteString -> () Source #
NFData JSONPathElement
Instance details Defined in Data.Aeson.Types.Internal Methods rnf :: JSONPathElement -> () Source #
NFData UnicodeException
Instance details Defined in Data.Text.Encoding.Error Methods rnf :: UnicodeException -> () Source #
NFData Number
Instance details Defined in Data.Attoparsec.Number Methods rnf :: Number -> () Source #
NFData Scientific
Instance details Defined in Data.Scientific Methods rnf :: Scientific -> () Source #
NFData SystemTime
Instance details Defined in Data.Time.Clock.Internal.SystemTime Methods rnf :: SystemTime -> () Source #
NFData Day
Instance details Defined in Data.Time.Calendar.Days Methods rnf :: Day -> () Source #
NFData DiffTime
Instance details Defined in Data.Time.Clock.Internal.DiffTime Methods rnf :: DiffTime -> () Source #
NFData LocalTime
Instance details Defined in Data.Time.LocalTime.Internal.LocalTime Methods rnf :: LocalTime -> () Source #
NFData NominalDiffTime
Instance details Defined in Data.Time.Clock.Internal.NominalDiffTime Methods rnf :: NominalDiffTime -> () Source #
NFData TimeOfDay
Instance details Defined in Data.Time.LocalTime.Internal.TimeOfDay Methods rnf :: TimeOfDay -> () Source #
NFData TimeZone
Instance details Defined in Data.Time.LocalTime.Internal.TimeZone Methods rnf :: TimeZone -> () Source #
NFData UTCTime
Instance details Defined in Data.Time.Clock.Internal.UTCTime Methods rnf :: UTCTime -> () Source #
NFData UniversalTime
Instance details Defined in Data.Time.Clock.Internal.UniversalTime Methods rnf :: UniversalTime -> () Source #
NFData AbsoluteTime
Instance details Defined in Data.Time.Clock.Internal.AbsoluteTime Methods rnf :: AbsoluteTime -> () Source #
NFData ZonedTime
Instance details Defined in Data.Time.LocalTime.Internal.ZonedTime Methods rnf :: ZonedTime -> () Source #
NFData IntSet
Instance details Defined in Data.IntSet.Internal Methods rnf :: IntSet -> () Source #
NFData ShortByteString
Instance details Defined in Data.ByteString.Short.Internal Methods rnf :: ShortByteString -> () Source #
NFData ShortText
Instance details Defined in Data.Text.Short.Internal Methods rnf :: ShortText -> () Source #
NFData ByteArray
Instance details Defined in Data.Primitive.ByteArray Methods rnf :: ByteArray -> () Source #
NFData StdGen
Instance details Defined in System.Random.Internal Methods rnf :: StdGen -> () Source #
NFData UUID
Instance details Defined in Data.UUID.Types.Internal Methods rnf :: UUID -> () Source #
NFData Month
Instance details Defined in Data.Time.Calendar.Month.Compat Methods rnf :: Month -> () Source #
NFData Quarter
Instance details Defined in Data.Time.Calendar.Quarter.Compat Methods rnf :: Quarter -> () Source #
NFData QuarterOfYear
Instance details Defined in Data.Time.Calendar.Quarter.Compat Methods rnf :: QuarterOfYear -> () Source #
NFData SatInt Source #
Instance details Defined in Data.SatInt Methods rnf :: SatInt -> () Source #
NFData DeserialiseFailure
Instance details Defined in Codec.CBOR.Read Methods rnf :: DeserialiseFailure -> () Source #
NFData Half
Instance details Defined in Numeric.Half.Internal Methods rnf :: Half -> () Source #
NFData Data Source #
Instance details Defined in PlutusCore.Data Methods rnf :: Data -> () Source #
NFData Unique Source #
Instance details Defined in PlutusCore.Name Methods rnf :: Unique -> () Source #
NFData TyName Source #
Instance details Defined in PlutusCore.Name Methods rnf :: TyName -> () Source #
NFData Name Source #
Instance details Defined in PlutusCore.Name Methods rnf :: Name -> () Source #
NFData PublicKey
Instance details Defined in Crypto.ECC.Ed25519Donna Methods rnf :: PublicKey -> () Source #
NFData SecretKey
Instance details Defined in Crypto.ECC.Ed25519Donna Methods rnf :: SecretKey -> () Source #
NFData Signature
Instance details Defined in Crypto.ECC.Ed25519Donna Methods rnf :: Signature -> () Source #
NFData FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods rnf :: FreeVariableError -> () Source #
NFData TyDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods rnf :: TyDeBruijn -> () Source #
NFData NamedTyDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods rnf :: NamedTyDeBruijn -> () Source #
NFData DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods rnf :: DeBruijn -> () Source #
NFData FakeNamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods rnf :: FakeNamedDeBruijn -> () Source #
NFData NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods rnf :: NamedDeBruijn -> () Source #
NFData Index Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods rnf :: Index -> () Source #
NFData ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods rnf :: ExCPU -> () Source #
NFData ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods rnf :: ExMemory -> () Source #
NFData ExRestrictingBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods rnf :: ExRestrictingBudget -> () Source #
NFData ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods rnf :: ExBudget -> () Source #
NFData ModelSixArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelSixArguments -> () Source #
NFData ModelFiveArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelFiveArguments -> () Source #
NFData ModelFourArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelFourArguments -> () Source #
NFData ModelThreeArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelThreeArguments -> () Source #
NFData ModelTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelTwoArguments -> () Source #
NFData ModelConstantOrTwoArguments Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelConstantOrTwoArguments -> () Source #
NFData ModelConstantOrLinear Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelConstantOrLinear -> () Source #
NFData ModelMaxSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelMaxSize -> () Source #
NFData ModelMinSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelMinSize -> () Source #
NFData ModelMultipliedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelMultipliedSizes -> () Source #
NFData ModelLinearSize Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelLinearSize -> () Source #
NFData ModelSubtractedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelSubtractedSizes -> () Source #
NFData ModelAddedSizes Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelAddedSizes -> () Source #
NFData ModelOneArgument Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: ModelOneArgument -> () Source #
NFData UnliftingError Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods rnf :: UnliftingError -> () Source #
NFData Filler
Instance details Defined in Flat.Filler Methods rnf :: Filler -> () Source #
NFData Pos
Instance details Defined in Text.Megaparsec.Pos Methods rnf :: Pos -> () Source #
NFData SourcePos
Instance details Defined in Text.Megaparsec.Pos Methods rnf :: SourcePos -> () Source #
NFData InvalidPosException
Instance details Defined in Text.Megaparsec.Pos Methods rnf :: InvalidPosException -> () Source #
NFData ParseError Source #
Instance details Defined in PlutusCore.Error Methods rnf :: ParseError -> () Source #
NFData DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods rnf :: DefaultFun -> () Source #
NFData CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods rnf :: CekMachineCosts -> () Source #
NFData WordArray
Instance details Defined in Data.Word64Array.Word8 Methods rnf :: WordArray -> () Source #
NFData CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods rnf :: CekUserError -> () Source #
NFData StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods rnf :: StepKind -> () Source #
NFData RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods rnf :: RestrictingSt -> () Source #
NFData CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods rnf :: CountingSt -> () Source #
NFData AdjacencyIntMap
Instance details Defined in Algebra.Graph.AdjacencyIntMap Methods rnf :: AdjacencyIntMap -> () Source #
NFData a => NFData [a]
Instance details Defined in Control.DeepSeq Methods rnf :: [a] -> () Source #
NFData a => NFData (Maybe a)
Instance details Defined in Control.DeepSeq Methods rnf :: Maybe a -> () Source #
NFData a => NFData (Ratio a)
Instance details Defined in Control.DeepSeq Methods rnf :: Ratio a -> () Source #
NFData (Ptr a)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: Ptr a -> () Source #
NFData (FunPtr a)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: FunPtr a -> () Source #
NFData a => NFData (Complex a)
Instance details Defined in Control.DeepSeq Methods rnf :: Complex a -> () Source #
NFData a => NFData (Min a)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: Min a -> () Source #
NFData a => NFData (Max a)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: Max a -> () Source #
NFData a => NFData (First a)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: First a -> () Source #
NFData a => NFData (Last a)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: Last a -> () Source #
NFData m => NFData (WrappedMonoid m)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: WrappedMonoid m -> () Source #
NFData a => NFData (Option a)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: Option a -> () Source #
NFData (StableName a)	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: StableName a -> () Source #
NFData a => NFData (ZipList a)	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: ZipList a -> () Source #
NFData a => NFData (Identity a)	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Identity a -> () Source #
NFData (IORef a)	NOTE: Only strict in the reference and not the referenced value. Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: IORef a -> () Source #
NFData a => NFData (First a)	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: First a -> () Source #
NFData a => NFData (Last a)	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Last a -> () Source #
NFData a => NFData (Dual a)	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Dual a -> () Source #
NFData a => NFData (Sum a)	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Sum a -> () Source #
NFData a => NFData (Product a)	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Product a -> () Source #
NFData a => NFData (Down a)	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Down a -> () Source #
NFData (MVar a)	NOTE: Only strict in the reference and not the referenced value. Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: MVar a -> () Source #
NFData a => NFData (NonEmpty a)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: NonEmpty a -> () Source #
NFData a => NFData (Doc a)
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Methods rnf :: Doc a -> () Source #
NFData a => NFData (AnnotDetails a)
Instance details Defined in Text.PrettyPrint.Annotated.HughesPJ Methods rnf :: AnnotDetails a -> () Source #
NFData a => NFData (Result a)
Instance details Defined in Data.Aeson.Types.Internal Methods rnf :: Result a -> () Source #
NFData a => NFData (IResult a)
Instance details Defined in Data.Aeson.Types.Internal Methods rnf :: IResult a -> () Source #
NFData v => NFData (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods rnf :: KeyMap v -> () Source #
NFData (Vector a)
Instance details Defined in Data.Vector.Unboxed.Base Methods rnf :: Vector a -> () Source #
NFData a => NFData (Vector a)
Instance details Defined in Data.Vector Methods rnf :: Vector a -> () Source #
NFData a => NFData (Hashed a)
Instance details Defined in Data.Hashable.Class Methods rnf :: Hashed a -> () Source #
NFData a => NFData (IntMap a)
Instance details Defined in Data.IntMap.Internal Methods rnf :: IntMap a -> () Source #
NFData a => NFData (Seq a)
Instance details Defined in Data.Sequence.Internal Methods rnf :: Seq a -> () Source #
NFData a => NFData (Set a)
Instance details Defined in Data.Set.Internal Methods rnf :: Set a -> () Source #
NFData a => NFData (Tree a)
Instance details Defined in Data.Tree Methods rnf :: Tree a -> () Source #
NFData a => NFData (Digit a)
Instance details Defined in Data.Sequence.Internal Methods rnf :: Digit a -> () Source #
NFData a => NFData (Elem a)
Instance details Defined in Data.Sequence.Internal Methods rnf :: Elem a -> () Source #
NFData a => NFData (FingerTree a)
Instance details Defined in Data.Sequence.Internal Methods rnf :: FingerTree a -> () Source #
NFData a => NFData (Node a)
Instance details Defined in Data.Sequence.Internal Methods rnf :: Node a -> () Source #
NFData1 f => NFData (Fix f)
Instance details Defined in Data.Fix Methods rnf :: Fix f -> () Source #
NFData a => NFData (DNonEmpty a)
Instance details Defined in Data.DList.DNonEmpty.Internal Methods rnf :: DNonEmpty a -> () Source #
NFData a => NFData (DList a)
Instance details Defined in Data.DList.Internal Methods rnf :: DList a -> () Source #
NFData a => NFData (Array a)
Instance details Defined in Data.Primitive.Array Methods rnf :: Array a -> () Source #
NFData (MutableByteArray s)
Instance details Defined in Data.Primitive.ByteArray Methods rnf :: MutableByteArray s -> () Source #
NFData (PrimArray a)
Instance details Defined in Data.Primitive.PrimArray Methods rnf :: PrimArray a -> () Source #
NFData a => NFData (SmallArray a)
Instance details Defined in Data.Primitive.SmallArray Methods rnf :: SmallArray a -> () Source #
NFData g => NFData (StateGen g)
Instance details Defined in System.Random.Internal Methods rnf :: StateGen g -> () Source #
NFData g => NFData (AtomicGen g)
Instance details Defined in System.Random.Stateful Methods rnf :: AtomicGen g -> () Source #
NFData g => NFData (IOGen g)
Instance details Defined in System.Random.Stateful Methods rnf :: IOGen g -> () Source #
NFData g => NFData (STGen g)
Instance details Defined in System.Random.Stateful Methods rnf :: STGen g -> () Source #
NFData g => NFData (TGen g)
Instance details Defined in System.Random.Stateful Methods rnf :: TGen g -> () Source #
NFData a => NFData (Maybe a)
Instance details Defined in Data.Strict.Maybe Methods rnf :: Maybe a -> () Source #
NFData a => NFData (HashSet a)
Instance details Defined in Data.HashSet.Internal Methods rnf :: HashSet a -> () Source #
NFData (Vector a)
Instance details Defined in Data.Vector.Primitive Methods rnf :: Vector a -> () Source #
NFData (Vector a)
Instance details Defined in Data.Vector.Storable Methods rnf :: Vector a -> () Source #
NFData (PackedBytes n)
Instance details Defined in Cardano.Crypto.PackedBytes Methods rnf :: PackedBytes n -> () Source #
NFData (Context a)
Instance details Defined in Crypto.Hash.Types Methods rnf :: Context a -> () Source #
NFData (Digest a)
Instance details Defined in Crypto.Hash.Types Methods rnf :: Digest a -> () Source #
NFData a => NFData (Only a)
Instance details Defined in Data.Tuple.Only Methods rnf :: Only a -> () Source #
NFData a => NFData (Doc a)
Instance details Defined in Text.PrettyPrint.Annotated.WL Methods rnf :: Doc a -> () Source #
NFData a => NFData (SimpleDoc a)
Instance details Defined in Text.PrettyPrint.Annotated.WL Methods rnf :: SimpleDoc a -> () Source #
Closed uni => NFData (SomeTypeIn uni) Source #
Instance details Defined in Universe.Core Methods rnf :: SomeTypeIn uni -> () Source #
NFData a => NFData (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods rnf :: EvaluationResult a -> () Source #
NFData (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf :: SigDSIGN EcdsaSecp256k1DSIGN -> () Source #
NFData (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf :: SigDSIGN SchnorrSecp256k1DSIGN -> () Source #
NFData (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf :: SignKeyDSIGN EcdsaSecp256k1DSIGN -> () Source #
NFData (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf :: SignKeyDSIGN SchnorrSecp256k1DSIGN -> () Source #
NFData (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods rnf :: VerKeyDSIGN EcdsaSecp256k1DSIGN -> () Source #
NFData (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods rnf :: VerKeyDSIGN SchnorrSecp256k1DSIGN -> () Source #
NFData (PinnedSizedBytes n)
Instance details Defined in Cardano.Crypto.PinnedSizedBytes Methods rnf :: PinnedSizedBytes n -> () Source #
NFData model => NFData (CostingFun model) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: CostingFun model -> () Source #
AllArgumentModels NFData f => NFData (BuiltinCostModelBase f) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel Methods rnf :: BuiltinCostModelBase f -> () Source #
NFData ann => NFData (Version ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods rnf :: Version ann -> () Source #
NFData ann => NFData (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods rnf :: Kind ann -> () Source #
NFData a => NFData (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type Methods rnf :: Normalized a -> () Source #
NFData fun => NFData (MachineError fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods rnf :: MachineError fun -> () Source #
NFData a => NFData (PostAligned a)
Instance details Defined in Flat.Filler Methods rnf :: PostAligned a -> () Source #
NFData a => NFData (PreAligned a)
Instance details Defined in Flat.Filler Methods rnf :: PreAligned a -> () Source #
NFData (Get a)
Instance details Defined in Flat.Decoder.Types Methods rnf :: Get a -> () Source #
NFData a => NFData (ErrorFancy a)
Instance details Defined in Text.Megaparsec.Error Methods rnf :: ErrorFancy a -> () Source #
NFData t => NFData (ErrorItem t)
Instance details Defined in Text.Megaparsec.Error Methods rnf :: ErrorItem t -> () Source #
NFData s => NFData (PosState s)
Instance details Defined in Text.Megaparsec.State Methods rnf :: PosState s -> () Source #
NFData ann => NFData (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf :: UniqueError ann -> () Source #
NFData (BuiltinRuntime val) Source #
Instance details Defined in PlutusCore.Builtin.Runtime Methods rnf :: BuiltinRuntime val -> () Source #
NFData (RuntimeScheme n) Source #
Instance details Defined in PlutusCore.Builtin.Runtime Methods rnf :: RuntimeScheme n -> () Source #
NFData a => NFData (RAList a)
Instance details Defined in Data.RAList.Internal Methods rnf :: RAList a -> () Source #
NFData a => NFData (Leaf a)
Instance details Defined in Data.RAList.Tree.Internal Methods rnf :: Leaf a -> () Source #
NFData fun => NFData (ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods rnf :: ExBudgetCategory fun -> () Source #
NFData fun => NFData (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods rnf :: TallyingSt fun -> () Source #
NFData fun => NFData (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods rnf :: CekExTally fun -> () Source #
NFData a => NFData (AdjacencyMap a)
Instance details Defined in Algebra.Graph.AdjacencyMap Methods rnf :: AdjacencyMap a -> () Source #
NFData a => NFData (AdjacencyMap a)
Instance details Defined in Algebra.Graph.NonEmpty.AdjacencyMap Methods rnf :: AdjacencyMap a -> () Source #
NFData a => NFData (Graph a)
Instance details Defined in Algebra.Graph Methods rnf :: Graph a -> () Source #
NFData a => NFData (Relation a)
Instance details Defined in Algebra.Graph.Relation.Symmetric Methods rnf :: Relation a -> () Source #
NFData a => NFData (Relation a)
Instance details Defined in Algebra.Graph.Relation Methods rnf :: Relation a -> () Source #
NFData a => NFData (SCC a)
Instance details Defined in Data.Graph Methods rnf :: SCC a -> () Source #
NFData a => NFData (Graph a)
Instance details Defined in Algebra.Graph.Undirected Methods rnf :: Graph a -> () Source #
NFData (a -> b)	This instance is for convenience and consistency with `seq`. This assumes that WHNF is equivalent to NF for functions. Since: deepseq-1.3.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: (a -> b) -> () Source #
(NFData a, NFData b) => NFData (Either a b)
Instance details Defined in Control.DeepSeq Methods rnf :: Either a b -> () Source #
(NFData a, NFData b) => NFData (a, b)
Instance details Defined in Control.DeepSeq Methods rnf :: (a, b) -> () Source #
(NFData a, NFData b) => NFData (Array a b)
Instance details Defined in Control.DeepSeq Methods rnf :: Array a b -> () Source #
NFData (Fixed a)	Since: deepseq-1.3.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Fixed a -> () Source #
(NFData a, NFData b) => NFData (Arg a b)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: Arg a b -> () Source #
NFData (Proxy a)	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Proxy a -> () Source #
NFData (STRef s a)	NOTE: Only strict in the reference and not the referenced value. Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: STRef s a -> () Source #
(NFData i, NFData r) => NFData (IResult i r)
Instance details Defined in Data.Attoparsec.Internal.Types Methods rnf :: IResult i r -> () Source #
(NFData k, NFData a) => NFData (Map k a)
Instance details Defined in Data.Map.Internal Methods rnf :: Map k a -> () Source #
(NFData a, NFData b) => NFData (These a b)
Instance details Defined in Data.These Methods rnf :: These a b -> () Source #
(NFData k, NFData v) => NFData (Leaf k v)
Instance details Defined in Data.HashMap.Internal Methods rnf :: Leaf k v -> () Source #
(NFData k, NFData v) => NFData (HashMap k v)
Instance details Defined in Data.HashMap.Internal Methods rnf :: HashMap k v -> () Source #
NFData (MVector s a)
Instance details Defined in Data.Vector.Unboxed.Base Methods rnf :: MVector s a -> () Source #
NFData (MutablePrimArray s a)
Instance details Defined in Data.Primitive.PrimArray Methods rnf :: MutablePrimArray s a -> () Source #
(NFData a, NFData b) => NFData (Either a b)
Instance details Defined in Data.Strict.Either Methods rnf :: Either a b -> () Source #
(NFData a, NFData b) => NFData (These a b)
Instance details Defined in Data.Strict.These Methods rnf :: These a b -> () Source #
(NFData a, NFData b) => NFData (Pair a b)
Instance details Defined in Data.Strict.Tuple Methods rnf :: Pair a b -> () Source #
NFData (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods rnf :: Hash h a -> () Source #
GNFData tag => NFData (Some tag)
Instance details Defined in Data.Some.Newtype Methods rnf :: Some tag -> () Source #
(Closed uni, Everywhere uni NFData) => NFData (ValueOf uni a) Source #
Instance details Defined in Universe.Core Methods rnf :: ValueOf uni a -> () Source #
NFData (SigDSIGN v) => NFData (SignedDSIGN v a)
Instance details Defined in Cardano.Crypto.DSIGN.Class Methods rnf :: SignedDSIGN v a -> () Source #
(NFData b, NFData a) => NFData (Annotated b a)
Instance details Defined in Cardano.Binary.Annotated Methods rnf :: Annotated b a -> () Source #
(NFData a, NFData b) => NFData (Bimap a b)
Instance details Defined in Data.Bimap Methods rnf :: Bimap a b -> () Source #
(NFData internal, NFData user) => NFData (EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods rnf :: EvaluationError user internal -> () Source #
(NFData err, NFData cause) => NFData (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods rnf :: ErrorWithCause err cause -> () Source #
(NFData (Token s), NFData e) => NFData (ParseError s e)
Instance details Defined in Text.Megaparsec.Error Methods rnf :: ParseError s e -> () Source #
(NFData s, NFData (Token s), NFData e) => NFData (ParseErrorBundle s e)
Instance details Defined in Text.Megaparsec.Error Methods rnf :: ParseErrorBundle s e -> () Source #
(NFData s, NFData (ParseError s e)) => NFData (State s e)
Instance details Defined in Text.Megaparsec.State Methods rnf :: State s e -> () Source #
GNFData tag => NFData (Some tag)
Instance details Defined in Data.Some.GADT Methods rnf :: Some tag -> () Source #
NFData fun => NFData (BuiltinsRuntime fun val) Source #
Instance details Defined in PlutusCore.Builtin.Runtime Methods rnf :: BuiltinsRuntime fun val -> () Source #
NFData (f a) => NFData (Node f a)
Instance details Defined in Data.RAList.Tree.Internal Methods rnf :: Node f a -> () Source #
(NFData k, NFData a) => NFData (MonoidalHashMap k a)
Instance details Defined in Data.HashMap.Monoidal Methods rnf :: MonoidalHashMap k a -> () Source #
(NFData ann, Closed uni) => NFData (TypeErrorExt uni ann) Source #
Instance details Defined in PlutusIR.Error Methods rnf :: TypeErrorExt uni ann -> () Source #
(NFData a, NFData e) => NFData (AdjacencyMap e a)
Instance details Defined in Algebra.Graph.Labelled.AdjacencyMap Methods rnf :: AdjacencyMap e a -> () Source #
(NFData e, NFData a) => NFData (Graph e a)
Instance details Defined in Algebra.Graph.Labelled Methods rnf :: Graph e a -> () Source #
(NFData k, NFData a) => NFData (MonoidalMap k a)
Instance details Defined in Data.Map.Monoidal Methods rnf :: MonoidalMap k a -> () Source #
(NFData a1, NFData a2, NFData a3) => NFData (a1, a2, a3)
Instance details Defined in Control.DeepSeq Methods rnf :: (a1, a2, a3) -> () Source #
NFData a => NFData (Const a b)	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Const a b -> () Source #
NFData (a :~: b)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods rnf :: (a :~: b) -> () Source #
NFData b => NFData (Tagged s b)
Instance details Defined in Data.Tagged Methods rnf :: Tagged s b -> () Source #
(NFData1 f, NFData1 g, NFData a) => NFData (These1 f g a)
Instance details Defined in Data.Functor.These Methods rnf :: These1 f g a -> () Source #
(NFData ann, NFData tyname, Closed uni) => NFData (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods rnf :: Type tyname uni ann -> () Source #
(Everywhere uni NFData, Closed uni, NFData ann, NFData fun) => NFData (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf :: Error uni fun ann -> () Source #
(NFData a1, NFData a2, NFData a3, NFData a4) => NFData (a1, a2, a3, a4)
Instance details Defined in Control.DeepSeq Methods rnf :: (a1, a2, a3, a4) -> () Source #
(NFData1 f, NFData1 g, NFData a) => NFData (Product f g a)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods rnf :: Product f g a -> () Source #
(NFData1 f, NFData1 g, NFData a) => NFData (Sum f g a)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods rnf :: Sum f g a -> () Source #
NFData (a :~~: b)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods rnf :: (a :~~: b) -> () Source #
(Closed uni, NFData ann, NFData term, NFData fun) => NFData (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf :: TypeError term uni fun ann -> () Source #
(NFData machinecosts, NFData fun) => NFData (MachineParameters machinecosts term uni fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.MachineParameters Methods rnf :: MachineParameters machinecosts term uni fun -> () Source #
(Everywhere uni NFData, Closed uni, NFData ann, NFData name, NFData fun) => NFData (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Methods rnf :: Program name uni fun ann -> () Source #
(Everywhere uni NFData, Closed uni, NFData ann, NFData name, NFData fun) => NFData (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Type Methods rnf :: Term name uni fun ann -> () Source #
(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5) => NFData (a1, a2, a3, a4, a5)
Instance details Defined in Control.DeepSeq Methods rnf :: (a1, a2, a3, a4, a5) -> () Source #
(NFData1 f, NFData1 g, NFData a) => NFData (Compose f g a)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods rnf :: Compose f g a -> () Source #
(Everywhere uni NFData, Closed uni, NFData ann, NFData name, NFData tyname, NFData fun) => NFData (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods rnf :: Program tyname name uni fun ann -> () Source #
(Everywhere uni NFData, Closed uni, NFData ann, NFData name, NFData tyname, NFData fun) => NFData (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods rnf :: Term tyname name uni fun ann -> () Source #
(Everywhere uni NFData, Closed uni, NFData ann, NFData tyname, NFData name, NFData fun) => NFData (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf :: NormCheckError tyname name uni fun ann -> () Source #
(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6) => NFData (a1, a2, a3, a4, a5, a6)
Instance details Defined in Control.DeepSeq Methods rnf :: (a1, a2, a3, a4, a5, a6) -> () Source #
(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6, NFData a7) => NFData (a1, a2, a3, a4, a5, a6, a7)
Instance details Defined in Control.DeepSeq Methods rnf :: (a1, a2, a3, a4, a5, a6, a7) -> () Source #
(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6, NFData a7, NFData a8) => NFData (a1, a2, a3, a4, a5, a6, a7, a8)
Instance details Defined in Control.DeepSeq Methods rnf :: (a1, a2, a3, a4, a5, a6, a7, a8) -> () Source #
(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6, NFData a7, NFData a8, NFData a9) => NFData (a1, a2, a3, a4, a5, a6, a7, a8, a9)
Instance details Defined in Control.DeepSeq Methods rnf :: (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> () Source #

data Natural Source #

Type representing arbitrary-precision non-negative integers.

>>> 2^100 :: Natural
1267650600228229401496703205376

Operations whose result would be negative throw (Underflow :: ArithException),

>>> -1 :: Natural
*** Exception: arithmetic underflow

Since: base-4.8.0.0

Instances

Instances details

Enum Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Enum Methods succ :: Natural -> Natural Source # pred :: Natural -> Natural Source # toEnum :: Int -> Natural Source # fromEnum :: Natural -> Int Source # enumFrom :: Natural -> [Natural] Source # enumFromThen :: Natural -> Natural -> [Natural] Source # enumFromTo :: Natural -> Natural -> [Natural] Source # enumFromThenTo :: Natural -> Natural -> Natural -> [Natural] Source #
Eq Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Natural Methods (==) :: Natural -> Natural -> Bool Source # (/=) :: Natural -> Natural -> Bool Source #
Integral Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Real Methods quot :: Natural -> Natural -> Natural Source # rem :: Natural -> Natural -> Natural Source # div :: Natural -> Natural -> Natural Source # mod :: Natural -> Natural -> Natural Source # quotRem :: Natural -> Natural -> (Natural, Natural) Source # divMod :: Natural -> Natural -> (Natural, Natural) Source # toInteger :: Natural -> Integer Source #
Data Natural	Since: base-4.8.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Natural -> c Natural Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Natural Source # toConstr :: Natural -> Constr Source # dataTypeOf :: Natural -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Natural) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Natural) Source # gmapT :: (forall b. Data b => b -> b) -> Natural -> Natural Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Natural -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Natural -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Natural -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Natural -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Natural -> m Natural Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Natural -> m Natural Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Natural -> m Natural Source #
Num Natural	Note that `Natural`'s `Num` instance isn't a ring: no element but 0 has an additive inverse. It is a semiring though. Since: base-4.8.0.0
Instance details Defined in GHC.Num Methods (+) :: Natural -> Natural -> Natural Source # (-) :: Natural -> Natural -> Natural Source # (*) :: Natural -> Natural -> Natural Source # negate :: Natural -> Natural Source # abs :: Natural -> Natural Source # signum :: Natural -> Natural Source # fromInteger :: Integer -> Natural Source #
Ord Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Natural Methods compare :: Natural -> Natural -> Ordering Source # (<) :: Natural -> Natural -> Bool Source # (<=) :: Natural -> Natural -> Bool Source # (>) :: Natural -> Natural -> Bool Source # (>=) :: Natural -> Natural -> Bool Source # max :: Natural -> Natural -> Natural Source # min :: Natural -> Natural -> Natural Source #
Read Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Natural Source # readList :: ReadS [Natural] Source # readPrec :: ReadPrec Natural Source # readListPrec :: ReadPrec [Natural] Source #
Real Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Real Methods toRational :: Natural -> Rational Source #
Show Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Show Methods showsPrec :: Int -> Natural -> ShowS Source # show :: Natural -> String Source # showList :: [Natural] -> ShowS Source #
Ix Natural	Since: base-4.8.0.0
Instance details Defined in GHC.Ix Methods range :: (Natural, Natural) -> [Natural] Source # index :: (Natural, Natural) -> Natural -> Int Source # unsafeIndex :: (Natural, Natural) -> Natural -> Int Source # inRange :: (Natural, Natural) -> Natural -> Bool Source # rangeSize :: (Natural, Natural) -> Int Source # unsafeRangeSize :: (Natural, Natural) -> Int Source #
PrintfArg Natural	Since: base-4.8.0.0
Instance details Defined in Text.Printf Methods formatArg :: Natural -> FieldFormatter Source # parseFormat :: Natural -> ModifierParser Source #
Bits Natural	Since: base-4.8.0
Instance details Defined in Data.Bits Methods (.&.) :: Natural -> Natural -> Natural Source # (.\|.) :: Natural -> Natural -> Natural Source # xor :: Natural -> Natural -> Natural Source # complement :: Natural -> Natural Source # shift :: Natural -> Int -> Natural Source # rotate :: Natural -> Int -> Natural Source # zeroBits :: Natural Source # bit :: Int -> Natural Source # setBit :: Natural -> Int -> Natural Source # clearBit :: Natural -> Int -> Natural Source # complementBit :: Natural -> Int -> Natural Source # testBit :: Natural -> Int -> Bool Source # bitSizeMaybe :: Natural -> Maybe Int Source # bitSize :: Natural -> Int Source # isSigned :: Natural -> Bool Source # shiftL :: Natural -> Int -> Natural Source # unsafeShiftL :: Natural -> Int -> Natural Source # shiftR :: Natural -> Int -> Natural Source # unsafeShiftR :: Natural -> Int -> Natural Source # rotateL :: Natural -> Int -> Natural Source # rotateR :: Natural -> Int -> Natural Source # popCount :: Natural -> Int Source #
NFData Natural	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf :: Natural -> () Source #
FromJSON Natural
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Natural parseJSONList :: Value -> Parser [Natural]
FromJSONKey Natural
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction Natural fromJSONKeyList :: FromJSONKeyFunction [Natural]
ToJSON Natural
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Natural -> Value toEncoding :: Natural -> Encoding toJSONList :: [Natural] -> Value toEncodingList :: [Natural] -> Encoding
ToJSONKey Natural
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction Natural toJSONKeyList :: ToJSONKeyFunction [Natural]
Hashable Natural
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Natural -> Int hash :: Natural -> Int
UniformRange Natural
Instance details Defined in System.Random.Internal Methods uniformRM :: StatefulGen g m => (Natural, Natural) -> g -> m Natural
NoThunks Natural
Instance details Defined in NoThunks.Class Methods noThunks :: Context -> Natural -> IO (Maybe ThunkInfo) wNoThunks :: Context -> Natural -> IO (Maybe ThunkInfo) showTypeOf :: Proxy Natural -> String
Subtractive Natural
Instance details Defined in Basement.Numerical.Subtractive Associated Types type Difference Natural Methods (-) :: Natural -> Natural -> Difference Natural
FromField Natural
Instance details Defined in Data.Csv.Conversion Methods parseField :: Field -> Parser Natural
ToField Natural
Instance details Defined in Data.Csv.Conversion Methods toField :: Natural -> Field
Pretty Natural
Instance details Defined in Prettyprinter.Internal Methods pretty :: Natural -> Doc ann # prettyList :: [Natural] -> Doc ann #
Serialise Natural
Instance details Defined in Codec.Serialise.Class Methods encode :: Natural -> Encoding decode :: Decoder s Natural encodeList :: [Natural] -> Encoding decodeList :: Decoder s [Natural]
Pretty Natural
Instance details Defined in Text.PrettyPrint.Annotated.WL Methods pretty :: Natural -> Doc b prettyList :: [Natural] -> Doc b
Corecursive Natural
Instance details Defined in Data.Functor.Foldable Methods embed :: Base Natural Natural -> Natural ana :: (a -> Base Natural a) -> a -> Natural apo :: (a -> Base Natural (Either Natural a)) -> a -> Natural postpro :: Recursive Natural => (forall b. Base Natural b -> Base Natural b) -> (a -> Base Natural a) -> a -> Natural gpostpro :: (Recursive Natural, Monad m) => (forall b. m (Base Natural b) -> Base Natural (m b)) -> (forall c. Base Natural c -> Base Natural c) -> (a -> Base Natural (m a)) -> a -> Natural
Recursive Natural
Instance details Defined in Data.Functor.Foldable Methods project :: Natural -> Base Natural Natural cata :: (Base Natural a -> a) -> Natural -> a para :: (Base Natural (Natural, a) -> a) -> Natural -> a gpara :: (Corecursive Natural, Comonad w) => (forall b. Base Natural (w b) -> w (Base Natural b)) -> (Base Natural (EnvT Natural w a) -> a) -> Natural -> a prepro :: Corecursive Natural => (forall b. Base Natural b -> Base Natural b) -> (Base Natural a -> a) -> Natural -> a gprepro :: (Corecursive Natural, Comonad w) => (forall b. Base Natural (w b) -> w (Base Natural b)) -> (forall c. Base Natural c -> Base Natural c) -> (Base Natural (w a) -> a) -> Natural -> a
Lift Natural
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Natural -> Q Exp Source # liftTyped :: Natural -> Q (TExp Natural) Source #
PrettyDefaultBy config Natural => PrettyBy config Natural
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Natural -> Doc ann # prettyListBy :: config -> [Natural] -> Doc ann #
DefaultPrettyBy config Natural
Instance details Defined in Text.PrettyBy.Internal Methods defaultPrettyBy :: config -> Natural -> Doc ann defaultPrettyListBy :: config -> [Natural] -> Doc ann
type Difference Natural
Instance details Defined in Basement.Numerical.Subtractive type Difference Natural = Maybe Natural
type IntBaseType Natural
Instance details Defined in Data.IntCast type IntBaseType Natural = 'BigWordTag
type Base Natural
Instance details Defined in Data.Functor.Foldable type Base Natural = Maybe

data NonEmpty a Source #

Non-empty (and non-strict) list type.

Since: base-4.9.0.0

Constructors

a :| [a] infixr 5

Instances

Instances details

Monad NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (>>=) :: NonEmpty a -> (a -> NonEmpty b) -> NonEmpty b Source # (>>) :: NonEmpty a -> NonEmpty b -> NonEmpty b Source # return :: a -> NonEmpty a Source #
Functor NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods fmap :: (a -> b) -> NonEmpty a -> NonEmpty b Source # (<$) :: a -> NonEmpty b -> NonEmpty a Source #
MonadFix NonEmpty	Since: base-4.9.0.0
Instance details Defined in Control.Monad.Fix Methods mfix :: (a -> NonEmpty a) -> NonEmpty a Source #
Applicative NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods pure :: a -> NonEmpty a Source # (<>) :: NonEmpty (a -> b) -> NonEmpty a -> NonEmpty b Source # liftA2 :: (a -> b -> c) -> NonEmpty a -> NonEmpty b -> NonEmpty c Source # (>) :: NonEmpty a -> NonEmpty b -> NonEmpty b Source # (<*) :: NonEmpty a -> NonEmpty b -> NonEmpty a Source #
Foldable NonEmpty	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => NonEmpty m -> m Source # foldMap :: Monoid m => (a -> m) -> NonEmpty a -> m Source # foldMap' :: Monoid m => (a -> m) -> NonEmpty a -> m Source # foldr :: (a -> b -> b) -> b -> NonEmpty a -> b Source # foldr' :: (a -> b -> b) -> b -> NonEmpty a -> b Source # foldl :: (b -> a -> b) -> b -> NonEmpty a -> b Source # foldl' :: (b -> a -> b) -> b -> NonEmpty a -> b Source # foldr1 :: (a -> a -> a) -> NonEmpty a -> a Source # foldl1 :: (a -> a -> a) -> NonEmpty a -> a Source # toList :: NonEmpty a -> [a] Source # null :: NonEmpty a -> Bool Source # length :: NonEmpty a -> Int Source # elem :: Eq a => a -> NonEmpty a -> Bool Source # maximum :: Ord a => NonEmpty a -> a Source # minimum :: Ord a => NonEmpty a -> a Source # sum :: Num a => NonEmpty a -> a Source # product :: Num a => NonEmpty a -> a Source #
Traversable NonEmpty	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> NonEmpty a -> f (NonEmpty b) Source # sequenceA :: Applicative f => NonEmpty (f a) -> f (NonEmpty a) Source # mapM :: Monad m => (a -> m b) -> NonEmpty a -> m (NonEmpty b) Source # sequence :: Monad m => NonEmpty (m a) -> m (NonEmpty a) Source #
Eq1 NonEmpty	Since: base-4.10.0.0
Instance details Defined in Data.Functor.Classes Methods liftEq :: (a -> b -> Bool) -> NonEmpty a -> NonEmpty b -> Bool Source #
Ord1 NonEmpty	Since: base-4.10.0.0
Instance details Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> NonEmpty a -> NonEmpty b -> Ordering Source #
Read1 NonEmpty	Since: base-4.10.0.0
Instance details Defined in Data.Functor.Classes Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (NonEmpty a) Source # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [NonEmpty a] Source # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (NonEmpty a) Source # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [NonEmpty a] Source #
Show1 NonEmpty	Since: base-4.10.0.0
Instance details Defined in Data.Functor.Classes Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> NonEmpty a -> ShowS Source # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [NonEmpty a] -> ShowS Source #
NFData1 NonEmpty	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods liftRnf :: (a -> ()) -> NonEmpty a -> () Source #
FromJSON1 NonEmpty
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser (NonEmpty a) liftParseJSONList :: (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [NonEmpty a]
ToJSON1 NonEmpty
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value) -> ([a] -> Value) -> NonEmpty a -> Value liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [NonEmpty a] -> Value liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> NonEmpty a -> Encoding liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [NonEmpty a] -> Encoding
Hashable1 NonEmpty
Instance details Defined in Data.Hashable.Class Methods liftHashWithSalt :: (Int -> a -> Int) -> Int -> NonEmpty a -> Int
Comonad NonEmpty
Instance details Defined in Control.Comonad Methods extract :: NonEmpty a -> a duplicate :: NonEmpty a -> NonEmpty (NonEmpty a) extend :: (NonEmpty a -> b) -> NonEmpty a -> NonEmpty b
Traversable1 NonEmpty
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverse1 :: Apply f => (a -> f b) -> NonEmpty a -> f (NonEmpty b) sequence1 :: Apply f => NonEmpty (f b) -> f (NonEmpty b)
Apply NonEmpty
Instance details Defined in Data.Functor.Bind.Class Methods (<.>) :: NonEmpty (a -> b) -> NonEmpty a -> NonEmpty b (.>) :: NonEmpty a -> NonEmpty b -> NonEmpty b (<.) :: NonEmpty a -> NonEmpty b -> NonEmpty a liftF2 :: (a -> b -> c) -> NonEmpty a -> NonEmpty b -> NonEmpty c
Bind NonEmpty
Instance details Defined in Data.Functor.Bind.Class Methods (>>-) :: NonEmpty a -> (a -> NonEmpty b) -> NonEmpty b join :: NonEmpty (NonEmpty a) -> NonEmpty a
ComonadApply NonEmpty
Instance details Defined in Control.Comonad Methods (<@>) :: NonEmpty (a -> b) -> NonEmpty a -> NonEmpty b (@>) :: NonEmpty a -> NonEmpty b -> NonEmpty b (<@) :: NonEmpty a -> NonEmpty b -> NonEmpty a
Foldable1 NonEmpty
Instance details Defined in Data.Semigroup.Foldable.Class Methods fold1 :: Semigroup m => NonEmpty m -> m foldMap1 :: Semigroup m => (a -> m) -> NonEmpty a -> m toNonEmpty :: NonEmpty a -> NonEmpty a
Alt NonEmpty
Instance details Defined in Data.Functor.Alt Methods (<!>) :: NonEmpty a -> NonEmpty a -> NonEmpty a some :: Applicative NonEmpty => NonEmpty a -> NonEmpty [a] many :: Applicative NonEmpty => NonEmpty a -> NonEmpty [a]
FoldableWithIndex Int NonEmpty
Instance details Defined in WithIndex Methods ifoldMap :: Monoid m => (Int -> a -> m) -> NonEmpty a -> m ifoldMap' :: Monoid m => (Int -> a -> m) -> NonEmpty a -> m ifoldr :: (Int -> a -> b -> b) -> b -> NonEmpty a -> b ifoldl :: (Int -> b -> a -> b) -> b -> NonEmpty a -> b ifoldr' :: (Int -> a -> b -> b) -> b -> NonEmpty a -> b ifoldl' :: (Int -> b -> a -> b) -> b -> NonEmpty a -> b
FunctorWithIndex Int NonEmpty
Instance details Defined in WithIndex Methods imap :: (Int -> a -> b) -> NonEmpty a -> NonEmpty b
TraversableWithIndex Int NonEmpty
Instance details Defined in WithIndex Methods itraverse :: Applicative f => (Int -> a -> f b) -> NonEmpty a -> f (NonEmpty b)
Lift a => Lift (NonEmpty a :: Type)	Since: template-haskell-2.15.0.0
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: NonEmpty a -> Q Exp Source # liftTyped :: NonEmpty a -> Q (TExp (NonEmpty a)) Source #
PrettyDefaultBy config (NonEmpty a) => PrettyBy config (NonEmpty a)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> NonEmpty a -> Doc ann # prettyListBy :: config -> [NonEmpty a] -> Doc ann #
PrettyBy config a => DefaultPrettyBy config (NonEmpty a)
Instance details Defined in Text.PrettyBy.Internal Methods defaultPrettyBy :: config -> NonEmpty a -> Doc ann defaultPrettyListBy :: config -> [NonEmpty a] -> Doc ann
IsList (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Exts Associated Types type Item (NonEmpty a) Source # Methods fromList :: [Item (NonEmpty a)] -> NonEmpty a Source # fromListN :: Int -> [Item (NonEmpty a)] -> NonEmpty a Source # toList :: NonEmpty a -> [Item (NonEmpty a)] Source #
Eq a => Eq (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (==) :: NonEmpty a -> NonEmpty a -> Bool Source # (/=) :: NonEmpty a -> NonEmpty a -> Bool Source #
Data a => Data (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NonEmpty a -> c (NonEmpty a) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (NonEmpty a) Source # toConstr :: NonEmpty a -> Constr Source # dataTypeOf :: NonEmpty a -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (NonEmpty a)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (NonEmpty a)) Source # gmapT :: (forall b. Data b => b -> b) -> NonEmpty a -> NonEmpty a Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NonEmpty a -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NonEmpty a -> r Source # gmapQ :: (forall d. Data d => d -> u) -> NonEmpty a -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> NonEmpty a -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NonEmpty a -> m (NonEmpty a) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NonEmpty a -> m (NonEmpty a) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NonEmpty a -> m (NonEmpty a) Source #
Ord a => Ord (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods compare :: NonEmpty a -> NonEmpty a -> Ordering Source # (<) :: NonEmpty a -> NonEmpty a -> Bool Source # (<=) :: NonEmpty a -> NonEmpty a -> Bool Source # (>) :: NonEmpty a -> NonEmpty a -> Bool Source # (>=) :: NonEmpty a -> NonEmpty a -> Bool Source # max :: NonEmpty a -> NonEmpty a -> NonEmpty a Source # min :: NonEmpty a -> NonEmpty a -> NonEmpty a Source #
Read a => Read (NonEmpty a)	Since: base-4.11.0.0
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (NonEmpty a) Source # readList :: ReadS [NonEmpty a] Source # readPrec :: ReadPrec (NonEmpty a) Source # readListPrec :: ReadPrec [NonEmpty a] Source #
Show a => Show (NonEmpty a)	Since: base-4.11.0.0
Instance details Defined in GHC.Show Methods showsPrec :: Int -> NonEmpty a -> ShowS Source # show :: NonEmpty a -> String Source # showList :: [NonEmpty a] -> ShowS Source #
Generic (NonEmpty a)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (NonEmpty a) :: Type -> Type Source # Methods from :: NonEmpty a -> Rep (NonEmpty a) x Source # to :: Rep (NonEmpty a) x -> NonEmpty a Source #
Semigroup (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (<>) :: NonEmpty a -> NonEmpty a -> NonEmpty a Source # sconcat :: NonEmpty (NonEmpty a) -> NonEmpty a Source # stimes :: Integral b => b -> NonEmpty a -> NonEmpty a Source #
NFData a => NFData (NonEmpty a)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf :: NonEmpty a -> () Source #
FromJSON a => FromJSON (NonEmpty a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (NonEmpty a) parseJSONList :: Value -> Parser [NonEmpty a]
ToJSON a => ToJSON (NonEmpty a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: NonEmpty a -> Value toEncoding :: NonEmpty a -> Encoding toJSONList :: [NonEmpty a] -> Value toEncodingList :: [NonEmpty a] -> Encoding
Hashable a => Hashable (NonEmpty a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> NonEmpty a -> Int hash :: NonEmpty a -> Int
NoThunks a => NoThunks (NonEmpty a)
Instance details Defined in NoThunks.Class Methods noThunks :: Context -> NonEmpty a -> IO (Maybe ThunkInfo) wNoThunks :: Context -> NonEmpty a -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (NonEmpty a) -> String
Pretty a => Pretty (NonEmpty a)
Instance details Defined in Prettyprinter.Internal Methods pretty :: NonEmpty a -> Doc ann # prettyList :: [NonEmpty a] -> Doc ann #
Serialise a => Serialise (NonEmpty a)
Instance details Defined in Codec.Serialise.Class Methods encode :: NonEmpty a -> Encoding decode :: Decoder s (NonEmpty a) encodeList :: [NonEmpty a] -> Encoding decodeList :: Decoder s [NonEmpty a]
Ixed (NonEmpty a)
Instance details Defined in Control.Lens.At Methods ix :: Index (NonEmpty a) -> Traversal' (NonEmpty a) (IxValue (NonEmpty a))
Reversing (NonEmpty a)
Instance details Defined in Control.Lens.Internal.Iso Methods reversing :: NonEmpty a -> NonEmpty a
Wrapped (NonEmpty a)
Instance details Defined in Control.Lens.Wrapped Associated Types type Unwrapped (NonEmpty a) Methods _Wrapped' :: Iso' (NonEmpty a) (Unwrapped (NonEmpty a))
Ixed (NonEmpty a)
Instance details Defined in Lens.Micro.Internal Methods ix :: Index (NonEmpty a) -> Traversal' (NonEmpty a) (IxValue (NonEmpty a))
Pretty a => Pretty (NonEmpty a)
Instance details Defined in Text.PrettyPrint.Annotated.WL Methods pretty :: NonEmpty a -> Doc b prettyList :: [NonEmpty a] -> Doc b
Corecursive (NonEmpty a)
Instance details Defined in Data.Functor.Foldable Methods embed :: Base (NonEmpty a) (NonEmpty a) -> NonEmpty a ana :: (a0 -> Base (NonEmpty a) a0) -> a0 -> NonEmpty a apo :: (a0 -> Base (NonEmpty a) (Either (NonEmpty a) a0)) -> a0 -> NonEmpty a postpro :: Recursive (NonEmpty a) => (forall b. Base (NonEmpty a) b -> Base (NonEmpty a) b) -> (a0 -> Base (NonEmpty a) a0) -> a0 -> NonEmpty a gpostpro :: (Recursive (NonEmpty a), Monad m) => (forall b. m (Base (NonEmpty a) b) -> Base (NonEmpty a) (m b)) -> (forall c. Base (NonEmpty a) c -> Base (NonEmpty a) c) -> (a0 -> Base (NonEmpty a) (m a0)) -> a0 -> NonEmpty a
Recursive (NonEmpty a)
Instance details Defined in Data.Functor.Foldable Methods project :: NonEmpty a -> Base (NonEmpty a) (NonEmpty a) cata :: (Base (NonEmpty a) a0 -> a0) -> NonEmpty a -> a0 para :: (Base (NonEmpty a) (NonEmpty a, a0) -> a0) -> NonEmpty a -> a0 gpara :: (Corecursive (NonEmpty a), Comonad w) => (forall b. Base (NonEmpty a) (w b) -> w (Base (NonEmpty a) b)) -> (Base (NonEmpty a) (EnvT (NonEmpty a) w a0) -> a0) -> NonEmpty a -> a0 prepro :: Corecursive (NonEmpty a) => (forall b. Base (NonEmpty a) b -> Base (NonEmpty a) b) -> (Base (NonEmpty a) a0 -> a0) -> NonEmpty a -> a0 gprepro :: (Corecursive (NonEmpty a), Comonad w) => (forall b. Base (NonEmpty a) (w b) -> w (Base (NonEmpty a) b)) -> (forall c. Base (NonEmpty a) c -> Base (NonEmpty a) c) -> (Base (NonEmpty a) (w a0) -> a0) -> NonEmpty a -> a0
MonoFoldable (NonEmpty a)
Instance details Defined in Data.MonoTraversable Methods ofoldMap :: Monoid m => (Element (NonEmpty a) -> m) -> NonEmpty a -> m ofoldr :: (Element (NonEmpty a) -> b -> b) -> b -> NonEmpty a -> b ofoldl' :: (a0 -> Element (NonEmpty a) -> a0) -> a0 -> NonEmpty a -> a0 otoList :: NonEmpty a -> [Element (NonEmpty a)] oall :: (Element (NonEmpty a) -> Bool) -> NonEmpty a -> Bool oany :: (Element (NonEmpty a) -> Bool) -> NonEmpty a -> Bool onull :: NonEmpty a -> Bool olength :: NonEmpty a -> Int olength64 :: NonEmpty a -> Int64 ocompareLength :: Integral i => NonEmpty a -> i -> Ordering otraverse_ :: Applicative f => (Element (NonEmpty a) -> f b) -> NonEmpty a -> f () ofor_ :: Applicative f => NonEmpty a -> (Element (NonEmpty a) -> f b) -> f () omapM_ :: Applicative m => (Element (NonEmpty a) -> m ()) -> NonEmpty a -> m () oforM_ :: Applicative m => NonEmpty a -> (Element (NonEmpty a) -> m ()) -> m () ofoldlM :: Monad m => (a0 -> Element (NonEmpty a) -> m a0) -> a0 -> NonEmpty a -> m a0 ofoldMap1Ex :: Semigroup m => (Element (NonEmpty a) -> m) -> NonEmpty a -> m ofoldr1Ex :: (Element (NonEmpty a) -> Element (NonEmpty a) -> Element (NonEmpty a)) -> NonEmpty a -> Element (NonEmpty a) ofoldl1Ex' :: (Element (NonEmpty a) -> Element (NonEmpty a) -> Element (NonEmpty a)) -> NonEmpty a -> Element (NonEmpty a) headEx :: NonEmpty a -> Element (NonEmpty a) lastEx :: NonEmpty a -> Element (NonEmpty a) unsafeHead :: NonEmpty a -> Element (NonEmpty a) unsafeLast :: NonEmpty a -> Element (NonEmpty a) maximumByEx :: (Element (NonEmpty a) -> Element (NonEmpty a) -> Ordering) -> NonEmpty a -> Element (NonEmpty a) minimumByEx :: (Element (NonEmpty a) -> Element (NonEmpty a) -> Ordering) -> NonEmpty a -> Element (NonEmpty a) oelem :: Element (NonEmpty a) -> NonEmpty a -> Bool onotElem :: Element (NonEmpty a) -> NonEmpty a -> Bool
MonoTraversable (NonEmpty a)
Instance details Defined in Data.MonoTraversable Methods otraverse :: Applicative f => (Element (NonEmpty a) -> f (Element (NonEmpty a))) -> NonEmpty a -> f (NonEmpty a) omapM :: Applicative m => (Element (NonEmpty a) -> m (Element (NonEmpty a))) -> NonEmpty a -> m (NonEmpty a)
MonoFunctor (NonEmpty a)
Instance details Defined in Data.MonoTraversable Methods omap :: (Element (NonEmpty a) -> Element (NonEmpty a)) -> NonEmpty a -> NonEmpty a
GrowingAppend (NonEmpty a)
Instance details Defined in Data.MonoTraversable
MonoPointed (NonEmpty a)
Instance details Defined in Data.MonoTraversable Methods opoint :: Element (NonEmpty a) -> NonEmpty a
SemiSequence (NonEmpty a)
Instance details Defined in Data.Sequences Associated Types type Index (NonEmpty a) Methods intersperse :: Element (NonEmpty a) -> NonEmpty a -> NonEmpty a reverse :: NonEmpty a -> NonEmpty a find :: (Element (NonEmpty a) -> Bool) -> NonEmpty a -> Maybe (Element (NonEmpty a)) sortBy :: (Element (NonEmpty a) -> Element (NonEmpty a) -> Ordering) -> NonEmpty a -> NonEmpty a cons :: Element (NonEmpty a) -> NonEmpty a -> NonEmpty a snoc :: NonEmpty a -> Element (NonEmpty a) -> NonEmpty a
Generic1 NonEmpty	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep1 NonEmpty :: k -> Type Source # Methods from1 :: forall (a :: k). NonEmpty a -> Rep1 NonEmpty a Source # to1 :: forall (a :: k). Rep1 NonEmpty a -> NonEmpty a Source #
t ~ NonEmpty b => Rewrapped (NonEmpty a) t
Instance details Defined in Control.Lens.Wrapped
Reference n t => Reference (NonEmpty n) t Source #
Instance details Defined in PlutusCore.Check.Scoping Methods referenceVia :: (forall name. ToScopedName name => name -> NameAnn) -> NonEmpty n -> t NameAnn -> t NameAnn Source #
Each (NonEmpty a) (NonEmpty b) a b
Instance details Defined in Control.Lens.Each Methods each :: Traversal (NonEmpty a) (NonEmpty b) a b
Each (NonEmpty a) (NonEmpty b) a b
Instance details Defined in Lens.Micro.Internal Methods each :: Traversal (NonEmpty a) (NonEmpty b) a b
type Rep (NonEmpty a)
Instance details Defined in GHC.Generics type Rep (NonEmpty a) = D1 ('MetaData "NonEmpty" "GHC.Base" "base" 'False) (C1 ('MetaCons ":\|" ('InfixI 'LeftAssociative 9) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))
type Item (NonEmpty a)
Instance details Defined in GHC.Exts type Item (NonEmpty a) = a
type Index (NonEmpty a)
Instance details Defined in Control.Lens.At type Index (NonEmpty a) = Int
type IxValue (NonEmpty a)
Instance details Defined in Control.Lens.At type IxValue (NonEmpty a) = a
type Unwrapped (NonEmpty a)
Instance details Defined in Control.Lens.Wrapped type Unwrapped (NonEmpty a) = (a, [a])
type Index (NonEmpty a)
Instance details Defined in Lens.Micro.Internal type Index (NonEmpty a) = Int
type IxValue (NonEmpty a)
Instance details Defined in Lens.Micro.Internal type IxValue (NonEmpty a) = a
type Base (NonEmpty a)
Instance details Defined in Data.Functor.Foldable type Base (NonEmpty a) = NonEmptyF a
type Element (NonEmpty a)
Instance details Defined in Data.MonoTraversable type Element (NonEmpty a) = a
type Index (NonEmpty a)
Instance details Defined in Data.Sequences type Index (NonEmpty a) = Int
type Rep1 NonEmpty
Instance details Defined in GHC.Generics type Rep1 NonEmpty = D1 ('MetaData "NonEmpty" "GHC.Base" "base" 'False) (C1 ('MetaCons ":\|" ('InfixI 'LeftAssociative 9) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])))

data Word8 Source #

8-bit unsigned integer type

Instances

Instances details

Bounded Word8	Since: base-2.1
Instance details Defined in GHC.Word Methods minBound :: Word8 Source # maxBound :: Word8 Source #
Enum Word8	Since: base-2.1
Instance details Defined in GHC.Word Methods succ :: Word8 -> Word8 Source # pred :: Word8 -> Word8 Source # toEnum :: Int -> Word8 Source # fromEnum :: Word8 -> Int Source # enumFrom :: Word8 -> [Word8] Source # enumFromThen :: Word8 -> Word8 -> [Word8] Source # enumFromTo :: Word8 -> Word8 -> [Word8] Source # enumFromThenTo :: Word8 -> Word8 -> Word8 -> [Word8] Source #
Eq Word8	Since: base-2.1
Instance details Defined in GHC.Word Methods (==) :: Word8 -> Word8 -> Bool Source # (/=) :: Word8 -> Word8 -> Bool Source #
Integral Word8	Since: base-2.1
Instance details Defined in GHC.Word Methods quot :: Word8 -> Word8 -> Word8 Source # rem :: Word8 -> Word8 -> Word8 Source # div :: Word8 -> Word8 -> Word8 Source # mod :: Word8 -> Word8 -> Word8 Source # quotRem :: Word8 -> Word8 -> (Word8, Word8) Source # divMod :: Word8 -> Word8 -> (Word8, Word8) Source # toInteger :: Word8 -> Integer Source #
Data Word8	Since: base-4.0.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word8 -> c Word8 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word8 Source # toConstr :: Word8 -> Constr Source # dataTypeOf :: Word8 -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word8) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word8) Source # gmapT :: (forall b. Data b => b -> b) -> Word8 -> Word8 Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word8 -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word8 -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Word8 -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Word8 -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 Source #
Num Word8	Since: base-2.1
Instance details Defined in GHC.Word Methods (+) :: Word8 -> Word8 -> Word8 Source # (-) :: Word8 -> Word8 -> Word8 Source # (*) :: Word8 -> Word8 -> Word8 Source # negate :: Word8 -> Word8 Source # abs :: Word8 -> Word8 Source # signum :: Word8 -> Word8 Source # fromInteger :: Integer -> Word8 Source #
Ord Word8	Since: base-2.1
Instance details Defined in GHC.Word Methods compare :: Word8 -> Word8 -> Ordering Source # (<) :: Word8 -> Word8 -> Bool Source # (<=) :: Word8 -> Word8 -> Bool Source # (>) :: Word8 -> Word8 -> Bool Source # (>=) :: Word8 -> Word8 -> Bool Source # max :: Word8 -> Word8 -> Word8 Source # min :: Word8 -> Word8 -> Word8 Source #
Read Word8	Since: base-2.1
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Word8 Source # readList :: ReadS [Word8] Source # readPrec :: ReadPrec Word8 Source # readListPrec :: ReadPrec [Word8] Source #
Real Word8	Since: base-2.1
Instance details Defined in GHC.Word Methods toRational :: Word8 -> Rational Source #
Show Word8	Since: base-2.1
Instance details Defined in GHC.Word Methods showsPrec :: Int -> Word8 -> ShowS Source # show :: Word8 -> String Source # showList :: [Word8] -> ShowS Source #
Ix Word8	Since: base-2.1
Instance details Defined in GHC.Word Methods range :: (Word8, Word8) -> [Word8] Source # index :: (Word8, Word8) -> Word8 -> Int Source # unsafeIndex :: (Word8, Word8) -> Word8 -> Int Source # inRange :: (Word8, Word8) -> Word8 -> Bool Source # rangeSize :: (Word8, Word8) -> Int Source # unsafeRangeSize :: (Word8, Word8) -> Int Source #
PrintfArg Word8	Since: base-2.1
Instance details Defined in Text.Printf Methods formatArg :: Word8 -> FieldFormatter Source # parseFormat :: Word8 -> ModifierParser Source #
Storable Word8	Since: base-2.1
Instance details Defined in Foreign.Storable Methods sizeOf :: Word8 -> Int Source # alignment :: Word8 -> Int Source # peekElemOff :: Ptr Word8 -> Int -> IO Word8 Source # pokeElemOff :: Ptr Word8 -> Int -> Word8 -> IO () Source # peekByteOff :: Ptr b -> Int -> IO Word8 Source # pokeByteOff :: Ptr b -> Int -> Word8 -> IO () Source # peek :: Ptr Word8 -> IO Word8 Source # poke :: Ptr Word8 -> Word8 -> IO () Source #
Bits Word8	Since: base-2.1
Instance details Defined in GHC.Word Methods (.&.) :: Word8 -> Word8 -> Word8 Source # (.\|.) :: Word8 -> Word8 -> Word8 Source # xor :: Word8 -> Word8 -> Word8 Source # complement :: Word8 -> Word8 Source # shift :: Word8 -> Int -> Word8 Source # rotate :: Word8 -> Int -> Word8 Source # zeroBits :: Word8 Source # bit :: Int -> Word8 Source # setBit :: Word8 -> Int -> Word8 Source # clearBit :: Word8 -> Int -> Word8 Source # complementBit :: Word8 -> Int -> Word8 Source # testBit :: Word8 -> Int -> Bool Source # bitSizeMaybe :: Word8 -> Maybe Int Source # bitSize :: Word8 -> Int Source # isSigned :: Word8 -> Bool Source # shiftL :: Word8 -> Int -> Word8 Source # unsafeShiftL :: Word8 -> Int -> Word8 Source # shiftR :: Word8 -> Int -> Word8 Source # unsafeShiftR :: Word8 -> Int -> Word8 Source # rotateL :: Word8 -> Int -> Word8 Source # rotateR :: Word8 -> Int -> Word8 Source # popCount :: Word8 -> Int Source #
FiniteBits Word8	Since: base-4.6.0.0
Instance details Defined in GHC.Word Methods finiteBitSize :: Word8 -> Int Source # countLeadingZeros :: Word8 -> Int Source # countTrailingZeros :: Word8 -> Int Source #
NFData Word8
Instance details Defined in Control.DeepSeq Methods rnf :: Word8 -> () Source #
FromJSON Word8
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Word8 parseJSONList :: Value -> Parser [Word8]
FromJSONKey Word8
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction Word8 fromJSONKeyList :: FromJSONKeyFunction [Word8]
ToJSON Word8
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Word8 -> Value toEncoding :: Word8 -> Encoding toJSONList :: [Word8] -> Value toEncodingList :: [Word8] -> Encoding
ToJSONKey Word8
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction Word8 toJSONKeyList :: ToJSONKeyFunction [Word8]
Hashable Word8
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word8 -> Int hash :: Word8 -> Int
Unbox Word8
Instance details Defined in Data.Vector.Unboxed.Base
Prim Word8
Instance details Defined in Data.Primitive.Types Methods sizeOf# :: Word8 -> Int# alignment# :: Word8 -> Int# indexByteArray# :: ByteArray# -> Int# -> Word8 readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Word8 #) writeByteArray# :: MutableByteArray# s -> Int# -> Word8 -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Word8 -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> Word8 readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Word8 #) writeOffAddr# :: Addr# -> Int# -> Word8 -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> Word8 -> State# s -> State# s
Uniform Word8
Instance details Defined in System.Random.Internal Methods uniformM :: StatefulGen g m => g -> m Word8
UniformRange Word8
Instance details Defined in System.Random.Internal Methods uniformRM :: StatefulGen g m => (Word8, Word8) -> g -> m Word8
ByteSource Word8
Instance details Defined in Data.UUID.Types.Internal.Builder Methods (/-/) :: ByteSink Word8 g -> Word8 -> g
NoThunks Word8
Instance details Defined in NoThunks.Class Methods noThunks :: Context -> Word8 -> IO (Maybe ThunkInfo) wNoThunks :: Context -> Word8 -> IO (Maybe ThunkInfo) showTypeOf :: Proxy Word8 -> String
PrimType Word8
Instance details Defined in Basement.PrimType Associated Types type PrimSize Word8 :: Nat Methods primSizeInBytes :: Proxy Word8 -> CountOf Word8 primShiftToBytes :: Proxy Word8 -> Int primBaUIndex :: ByteArray# -> Offset Word8 -> Word8 primMbaURead :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word8 -> prim Word8 primMbaUWrite :: PrimMonad prim => MutableByteArray# (PrimState prim) -> Offset Word8 -> Word8 -> prim () primAddrIndex :: Addr# -> Offset Word8 -> Word8 primAddrRead :: PrimMonad prim => Addr# -> Offset Word8 -> prim Word8 primAddrWrite :: PrimMonad prim => Addr# -> Offset Word8 -> Word8 -> prim ()
BitOps Word8
Instance details Defined in Basement.Bits Methods (.&.) :: Word8 -> Word8 -> Word8 (.\|.) :: Word8 -> Word8 -> Word8 (.^.) :: Word8 -> Word8 -> Word8 (.<<.) :: Word8 -> CountOf Bool -> Word8 (.>>.) :: Word8 -> CountOf Bool -> Word8 bit :: Offset Bool -> Word8 isBitSet :: Word8 -> Offset Bool -> Bool setBit :: Word8 -> Offset Bool -> Word8 clearBit :: Word8 -> Offset Bool -> Word8
FiniteBitsOps Word8
Instance details Defined in Basement.Bits Methods numberOfBits :: Word8 -> CountOf Bool rotateL :: Word8 -> CountOf Bool -> Word8 rotateR :: Word8 -> CountOf Bool -> Word8 popCount :: Word8 -> CountOf Bool bitFlip :: Word8 -> Word8 countLeadingZeros :: Word8 -> CountOf Bool countTrailingZeros :: Word8 -> CountOf Bool
Subtractive Word8
Instance details Defined in Basement.Numerical.Subtractive Associated Types type Difference Word8 Methods (-) :: Word8 -> Word8 -> Difference Word8
PrimMemoryComparable Word8
Instance details Defined in Basement.PrimType
FromField Word8
Instance details Defined in Data.Csv.Conversion Methods parseField :: Field -> Parser Word8
ToField Word8
Instance details Defined in Data.Csv.Conversion Methods toField :: Word8 -> Field
Pretty Word8
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word8 -> Doc ann # prettyList :: [Word8] -> Doc ann #
Serialise Word8
Instance details Defined in Codec.Serialise.Class Methods encode :: Word8 -> Encoding decode :: Decoder s Word8 encodeList :: [Word8] -> Encoding decodeList :: Decoder s [Word8]
Pretty Word8
Instance details Defined in Text.PrettyPrint.Annotated.WL Methods pretty :: Word8 -> Doc b prettyList :: [Word8] -> Doc b
Default Word8
Instance details Defined in Data.Default.Class Methods def :: Word8
Lift Word8
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Word8 -> Q Exp Source # liftTyped :: Word8 -> Q (TExp Word8) Source #
IArray UArray Word8
Instance details Defined in Data.Array.Base Methods bounds :: Ix i => UArray i Word8 -> (i, i) Source # numElements :: Ix i => UArray i Word8 -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Word8)] -> UArray i Word8 unsafeAt :: Ix i => UArray i Word8 -> Int -> Word8 unsafeReplace :: Ix i => UArray i Word8 -> [(Int, Word8)] -> UArray i Word8 unsafeAccum :: Ix i => (Word8 -> e' -> Word8) -> UArray i Word8 -> [(Int, e')] -> UArray i Word8 unsafeAccumArray :: Ix i => (Word8 -> e' -> Word8) -> Word8 -> (i, i) -> [(Int, e')] -> UArray i Word8
Vector Vector Word8
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Word8 -> m (Vector Word8) basicUnsafeThaw :: PrimMonad m => Vector Word8 -> m (Mutable Vector (PrimState m) Word8) basicLength :: Vector Word8 -> Int basicUnsafeSlice :: Int -> Int -> Vector Word8 -> Vector Word8 basicUnsafeIndexM :: Monad m => Vector Word8 -> Int -> m Word8 basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Word8 -> Vector Word8 -> m () elemseq :: Vector Word8 -> Word8 -> b -> b
MVector MVector Word8
Instance details Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Word8 -> Int basicUnsafeSlice :: Int -> Int -> MVector s Word8 -> MVector s Word8 basicOverlaps :: MVector s Word8 -> MVector s Word8 -> Bool basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Word8) basicInitialize :: PrimMonad m => MVector (PrimState m) Word8 -> m () basicUnsafeReplicate :: PrimMonad m => Int -> Word8 -> m (MVector (PrimState m) Word8) basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Word8 -> Int -> m Word8 basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Word8 -> Int -> Word8 -> m () basicClear :: PrimMonad m => MVector (PrimState m) Word8 -> m () basicSet :: PrimMonad m => MVector (PrimState m) Word8 -> Word8 -> m () basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Word8 -> MVector (PrimState m) Word8 -> m () basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Word8 -> MVector (PrimState m) Word8 -> m () basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Word8 -> Int -> m (MVector (PrimState m) Word8)
PrettyDefaultBy config Word8 => PrettyBy config Word8
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Word8 -> Doc ann # prettyListBy :: config -> [Word8] -> Doc ann #
DefaultPrettyBy config Word8
Instance details Defined in Text.PrettyBy.Internal Methods defaultPrettyBy :: config -> Word8 -> Doc ann defaultPrettyListBy :: config -> [Word8] -> Doc ann
Cons ByteString ByteString Word8 Word8
Instance details Defined in Control.Lens.Cons Methods _Cons :: Prism ByteString ByteString (Word8, ByteString) (Word8, ByteString)
Cons ByteString ByteString Word8 Word8
Instance details Defined in Control.Lens.Cons Methods _Cons :: Prism ByteString ByteString (Word8, ByteString) (Word8, ByteString)
Snoc ByteString ByteString Word8 Word8
Instance details Defined in Control.Lens.Cons Methods _Snoc :: Prism ByteString ByteString (ByteString, Word8) (ByteString, Word8)
Snoc ByteString ByteString Word8 Word8
Instance details Defined in Control.Lens.Cons Methods _Snoc :: Prism ByteString ByteString (ByteString, Word8) (ByteString, Word8)
MArray (STUArray s) Word8 (ST s)
Instance details Defined in Data.Array.Base Methods getBounds :: Ix i => STUArray s i Word8 -> ST s (i, i) Source # getNumElements :: Ix i => STUArray s i Word8 -> ST s Int newArray :: Ix i => (i, i) -> Word8 -> ST s (STUArray s i Word8) Source # newArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word8) Source # unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i Word8) unsafeRead :: Ix i => STUArray s i Word8 -> Int -> ST s Word8 unsafeWrite :: Ix i => STUArray s i Word8 -> Int -> Word8 -> ST s ()
newtype Vector Word8
Instance details Defined in Data.Vector.Unboxed.Base newtype Vector Word8 = V_Word8 (Vector Word8)
type Difference Word8
Instance details Defined in Basement.Numerical.Subtractive type Difference Word8 = Word8
type NatNumMaxBound Word8
Instance details Defined in Basement.Nat type NatNumMaxBound Word8 = 255
type PrimSize Word8
Instance details Defined in Basement.PrimType type PrimSize Word8 = 1
type IntBaseType Word8
Instance details Defined in Data.IntCast type IntBaseType Word8 = 'FixedWordTag 8
newtype MVector s Word8
Instance details Defined in Data.Vector.Unboxed.Base newtype MVector s Word8 = MV_Word8 (MVector s Word8)
type ByteSink Word8 g
Instance details Defined in Data.UUID.Types.Internal.Builder type ByteSink Word8 g = Takes1Byte g

class Applicative f => Alternative (f :: Type -> Type) where Source #

A monoid on applicative functors.

If defined, some and many should be the least solutions of the equations:

```
some v = (:) <$> v <*> many v
```
```
many v = some v <|> pure []
```

Minimal complete definition

empty, (<|>)

Methods

empty :: f a Source #

The identity of <|>

(<|>) :: f a -> f a -> f a infixl 3 Source #

An associative binary operation

some :: f a -> f [a] Source #

One or more.

many :: f a -> f [a] Source #

Zero or more.

Instances

Instances details

Alternative []	Since: base-2.1
Instance details Defined in GHC.Base Methods empty :: [a] Source # (<\|>) :: [a] -> [a] -> [a] Source # some :: [a] -> [[a]] Source # many :: [a] -> [[a]] Source #
Alternative Maybe	Since: base-2.1
Instance details Defined in GHC.Base Methods empty :: Maybe a Source # (<\|>) :: Maybe a -> Maybe a -> Maybe a Source # some :: Maybe a -> Maybe [a] Source # many :: Maybe a -> Maybe [a] Source #
Alternative IO	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods empty :: IO a Source # (<\|>) :: IO a -> IO a -> IO a Source # some :: IO a -> IO [a] Source # many :: IO a -> IO [a] Source #
Alternative Option	Since: base-4.9.0.0
Instance details Defined in Data.Semigroup Methods empty :: Option a Source # (<\|>) :: Option a -> Option a -> Option a Source # some :: Option a -> Option [a] Source # many :: Option a -> Option [a] Source #
Alternative ZipList	Since: base-4.11.0.0
Instance details Defined in Control.Applicative Methods empty :: ZipList a Source # (<\|>) :: ZipList a -> ZipList a -> ZipList a Source # some :: ZipList a -> ZipList [a] Source # many :: ZipList a -> ZipList [a] Source #
Alternative STM	Since: base-4.8.0.0
Instance details Defined in GHC.Conc.Sync Methods empty :: STM a Source # (<\|>) :: STM a -> STM a -> STM a Source # some :: STM a -> STM [a] Source # many :: STM a -> STM [a] Source #
Alternative ReadPrec	Since: base-4.6.0.0
Instance details Defined in Text.ParserCombinators.ReadPrec Methods empty :: ReadPrec a Source # (<\|>) :: ReadPrec a -> ReadPrec a -> ReadPrec a Source # some :: ReadPrec a -> ReadPrec [a] Source # many :: ReadPrec a -> ReadPrec [a] Source #
Alternative ReadP	Since: base-4.6.0.0
Instance details Defined in Text.ParserCombinators.ReadP Methods empty :: ReadP a Source # (<\|>) :: ReadP a -> ReadP a -> ReadP a Source # some :: ReadP a -> ReadP [a] Source # many :: ReadP a -> ReadP [a] Source #
Alternative Result
Instance details Defined in Data.Aeson.Types.Internal Methods empty :: Result a Source # (<\|>) :: Result a -> Result a -> Result a Source # some :: Result a -> Result [a] Source # many :: Result a -> Result [a] Source #
Alternative IResult
Instance details Defined in Data.Aeson.Types.Internal Methods empty :: IResult a Source # (<\|>) :: IResult a -> IResult a -> IResult a Source # some :: IResult a -> IResult [a] Source # many :: IResult a -> IResult [a] Source #
Alternative P	Since: base-4.5.0.0
Instance details Defined in Text.ParserCombinators.ReadP Methods empty :: P a Source # (<\|>) :: P a -> P a -> P a Source # some :: P a -> P [a] Source # many :: P a -> P [a] Source #
Alternative Vector
Instance details Defined in Data.Vector Methods empty :: Vector a Source # (<\|>) :: Vector a -> Vector a -> Vector a Source # some :: Vector a -> Vector [a] Source # many :: Vector a -> Vector [a] Source #
Alternative Parser
Instance details Defined in Data.Aeson.Types.Internal Methods empty :: Parser a Source # (<\|>) :: Parser a -> Parser a -> Parser a Source # some :: Parser a -> Parser [a] Source # many :: Parser a -> Parser [a] Source #
Alternative Seq
Instance details Defined in Data.Sequence.Internal Methods empty :: Seq a Source # (<\|>) :: Seq a -> Seq a -> Seq a Source # some :: Seq a -> Seq [a] Source # many :: Seq a -> Seq [a] Source #
Alternative DList
Instance details Defined in Data.DList.Internal Methods empty :: DList a Source # (<\|>) :: DList a -> DList a -> DList a Source # some :: DList a -> DList [a] Source # many :: DList a -> DList [a] Source #
Alternative Array
Instance details Defined in Data.Primitive.Array Methods empty :: Array a Source # (<\|>) :: Array a -> Array a -> Array a Source # some :: Array a -> Array [a] Source # many :: Array a -> Array [a] Source #
Alternative SmallArray
Instance details Defined in Data.Primitive.SmallArray Methods empty :: SmallArray a Source # (<\|>) :: SmallArray a -> SmallArray a -> SmallArray a Source # some :: SmallArray a -> SmallArray [a] Source # many :: SmallArray a -> SmallArray [a] Source #
Alternative Parser
Instance details Defined in Data.Csv.Conversion Methods empty :: Parser a Source # (<\|>) :: Parser a -> Parser a -> Parser a Source # some :: Parser a -> Parser [a] Source # many :: Parser a -> Parser [a] Source #
Alternative DecodeUniM Source #
Instance details Defined in Universe.Core Methods empty :: DecodeUniM a Source # (<\|>) :: DecodeUniM a -> DecodeUniM a -> DecodeUniM a Source # some :: DecodeUniM a -> DecodeUniM [a] Source # many :: DecodeUniM a -> DecodeUniM [a] Source #
Alternative EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods empty :: EvaluationResult a Source # (<\|>) :: EvaluationResult a -> EvaluationResult a -> EvaluationResult a Source # some :: EvaluationResult a -> EvaluationResult [a] Source # many :: EvaluationResult a -> EvaluationResult [a] Source #
Alternative Graph
Instance details Defined in Algebra.Graph Methods empty :: Graph a Source # (<\|>) :: Graph a -> Graph a -> Graph a Source # some :: Graph a -> Graph [a] Source # many :: Graph a -> Graph [a] Source #
Alternative Graph
Instance details Defined in Algebra.Graph.Undirected Methods empty :: Graph a Source # (<\|>) :: Graph a -> Graph a -> Graph a Source # some :: Graph a -> Graph [a] Source # many :: Graph a -> Graph [a] Source #
Alternative (U1 :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods empty :: U1 a Source # (<\|>) :: U1 a -> U1 a -> U1 a Source # some :: U1 a -> U1 [a] Source # many :: U1 a -> U1 [a] Source #
MonadPlus m => Alternative (WrappedMonad m)	Since: base-2.1
Instance details Defined in Control.Applicative Methods empty :: WrappedMonad m a Source # (<\|>) :: WrappedMonad m a -> WrappedMonad m a -> WrappedMonad m a Source # some :: WrappedMonad m a -> WrappedMonad m [a] Source # many :: WrappedMonad m a -> WrappedMonad m [a] Source #
ArrowPlus a => Alternative (ArrowMonad a)	Since: base-4.6.0.0
Instance details Defined in Control.Arrow Methods empty :: ArrowMonad a a0 Source # (<\|>) :: ArrowMonad a a0 -> ArrowMonad a a0 -> ArrowMonad a a0 Source # some :: ArrowMonad a a0 -> ArrowMonad a [a0] Source # many :: ArrowMonad a a0 -> ArrowMonad a [a0] Source #
Alternative (Proxy :: Type -> Type)	Since: base-4.9.0.0
Instance details Defined in Data.Proxy Methods empty :: Proxy a Source # (<\|>) :: Proxy a -> Proxy a -> Proxy a Source # some :: Proxy a -> Proxy [a] Source # many :: Proxy a -> Proxy [a] Source #
Alternative (Parser i)
Instance details Defined in Data.Attoparsec.Internal.Types Methods empty :: Parser i a Source # (<\|>) :: Parser i a -> Parser i a -> Parser i a Source # some :: Parser i a -> Parser i [a] Source # many :: Parser i a -> Parser i [a] Source #
Applicative m => Alternative (ListT m)
Instance details Defined in Control.Monad.Trans.List Methods empty :: ListT m a Source # (<\|>) :: ListT m a -> ListT m a -> ListT m a Source # some :: ListT m a -> ListT m [a] Source # many :: ListT m a -> ListT m [a] Source #
(Functor m, Monad m) => Alternative (MaybeT m)
Instance details Defined in Control.Monad.Trans.Maybe Methods empty :: MaybeT m a Source # (<\|>) :: MaybeT m a -> MaybeT m a -> MaybeT m a Source # some :: MaybeT m a -> MaybeT m [a] Source # many :: MaybeT m a -> MaybeT m [a] Source #
Alternative (ReifiedFold s)
Instance details Defined in Control.Lens.Reified Methods empty :: ReifiedFold s a Source # (<\|>) :: ReifiedFold s a -> ReifiedFold s a -> ReifiedFold s a Source # some :: ReifiedFold s a -> ReifiedFold s [a] Source # many :: ReifiedFold s a -> ReifiedFold s [a] Source #
Alternative v => Alternative (Free v)
Instance details Defined in Control.Monad.Free Methods empty :: Free v a Source # (<\|>) :: Free v a -> Free v a -> Free v a Source # some :: Free v a -> Free v [a] Source # many :: Free v a -> Free v [a] Source #
Alternative f => Alternative (Yoneda f)
Instance details Defined in Data.Functor.Yoneda Methods empty :: Yoneda f a Source # (<\|>) :: Yoneda f a -> Yoneda f a -> Yoneda f a Source # some :: Yoneda f a -> Yoneda f [a] Source # many :: Yoneda f a -> Yoneda f [a] Source #
Alternative (Alt f)
Instance details Defined in Control.Alternative.Free Methods empty :: Alt f a Source # (<\|>) :: Alt f a -> Alt f a -> Alt f a Source # some :: Alt f a -> Alt f [a] Source # many :: Alt f a -> Alt f [a] Source #
Monad m => Alternative (CatchT m)
Instance details Defined in Control.Monad.Catch.Pure Methods empty :: CatchT m a Source # (<\|>) :: CatchT m a -> CatchT m a -> CatchT m a Source # some :: CatchT m a -> CatchT m [a] Source # many :: CatchT m a -> CatchT m [a] Source #
Monad m => Alternative (IterT m)
Instance details Defined in Control.Monad.Trans.Iter Methods empty :: IterT m a Source # (<\|>) :: IterT m a -> IterT m a -> IterT m a Source # some :: IterT m a -> IterT m [a] Source # many :: IterT m a -> IterT m [a] Source #
Alternative f => Alternative (WrappedApplicative f)
Instance details Defined in Data.Functor.Bind.Class Methods empty :: WrappedApplicative f a Source # (<\|>) :: WrappedApplicative f a -> WrappedApplicative f a -> WrappedApplicative f a Source # some :: WrappedApplicative f a -> WrappedApplicative f [a] Source # many :: WrappedApplicative f a -> WrappedApplicative f [a] Source #
Alternative f => Alternative (Lift f)
Instance details Defined in Control.Applicative.Lift Methods empty :: Lift f a Source # (<\|>) :: Lift f a -> Lift f a -> Lift f a Source # some :: Lift f a -> Lift f [a] Source # many :: Lift f a -> Lift f [a] Source #
Monad m => Alternative (GenT m)
Instance details Defined in Hedgehog.Internal.Gen Methods empty :: GenT m a Source # (<\|>) :: GenT m a -> GenT m a -> GenT m a Source # some :: GenT m a -> GenT m [a] Source # many :: GenT m a -> GenT m [a] Source #
MonadPlus m => Alternative (PropertyT m)
Instance details Defined in Hedgehog.Internal.Property Methods empty :: PropertyT m a Source # (<\|>) :: PropertyT m a -> PropertyT m a -> PropertyT m a Source # some :: PropertyT m a -> PropertyT m [a] Source # many :: PropertyT m a -> PropertyT m [a] Source #
Alternative m => Alternative (TreeT m)
Instance details Defined in Hedgehog.Internal.Tree Methods empty :: TreeT m a Source # (<\|>) :: TreeT m a -> TreeT m a -> TreeT m a Source # some :: TreeT m a -> TreeT m [a] Source # many :: TreeT m a -> TreeT m [a] Source #
Alternative m => Alternative (ResourceT m)
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods empty :: ResourceT m a Source # (<\|>) :: ResourceT m a -> ResourceT m a -> ResourceT m a Source # some :: ResourceT m a -> ResourceT m [a] Source # many :: ResourceT m a -> ResourceT m [a] Source #
Alternative f => Alternative (F f)
Instance details Defined in Control.Monad.Free.Church Methods empty :: F f a Source # (<\|>) :: F f a -> F f a -> F f a Source # some :: F f a -> F f [a] Source # many :: F f a -> F f [a] Source #
(Monad m, Functor m) => Alternative (ListT m)
Instance details Defined in ListT Methods empty :: ListT m a Source # (<\|>) :: ListT m a -> ListT m a -> ListT m a Source # some :: ListT m a -> ListT m [a] Source # many :: ListT m a -> ListT m [a] Source #
(TypeError NoRegularlyAppliedHkVarsMsg :: Constraint) => Alternative (Opaque val) Source #
Instance details Defined in PlutusCore.Builtin.Polymorphism Methods empty :: Opaque val a Source # (<\|>) :: Opaque val a -> Opaque val a -> Opaque val a Source # some :: Opaque val a -> Opaque val [a] Source # many :: Opaque val a -> Opaque val [a] Source #
Alternative f => Alternative (WrappedFoldable f)
Instance details Defined in Witherable Methods empty :: WrappedFoldable f a Source # (<\|>) :: WrappedFoldable f a -> WrappedFoldable f a -> WrappedFoldable f a Source # some :: WrappedFoldable f a -> WrappedFoldable f [a] Source # many :: WrappedFoldable f a -> WrappedFoldable f [a] Source #
Alternative f => Alternative (Rec1 f)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods empty :: Rec1 f a Source # (<\|>) :: Rec1 f a -> Rec1 f a -> Rec1 f a Source # some :: Rec1 f a -> Rec1 f [a] Source # many :: Rec1 f a -> Rec1 f [a] Source #
(ArrowZero a, ArrowPlus a) => Alternative (WrappedArrow a b)	Since: base-2.1
Instance details Defined in Control.Applicative Methods empty :: WrappedArrow a b a0 Source # (<\|>) :: WrappedArrow a b a0 -> WrappedArrow a b a0 -> WrappedArrow a b a0 Source # some :: WrappedArrow a b a0 -> WrappedArrow a b [a0] Source # many :: WrappedArrow a b a0 -> WrappedArrow a b [a0] Source #
Alternative m => Alternative (Kleisli m a)	Since: base-4.14.0.0
Instance details Defined in Control.Arrow Methods empty :: Kleisli m a a0 Source # (<\|>) :: Kleisli m a a0 -> Kleisli m a a0 -> Kleisli m a a0 Source # some :: Kleisli m a a0 -> Kleisli m a [a0] Source # many :: Kleisli m a a0 -> Kleisli m a [a0] Source #
Alternative f => Alternative (Ap f)	Since: base-4.12.0.0
Instance details Defined in Data.Monoid Methods empty :: Ap f a Source # (<\|>) :: Ap f a -> Ap f a -> Ap f a Source # some :: Ap f a -> Ap f [a] Source # many :: Ap f a -> Ap f [a] Source #
Alternative f => Alternative (Alt f)	Since: base-4.8.0.0
Instance details Defined in Data.Semigroup.Internal Methods empty :: Alt f a Source # (<\|>) :: Alt f a -> Alt f a -> Alt f a Source # some :: Alt f a -> Alt f [a] Source # many :: Alt f a -> Alt f [a] Source #
(Functor m, Monad m, Error e) => Alternative (ErrorT e m)
Instance details Defined in Control.Monad.Trans.Error Methods empty :: ErrorT e m a Source # (<\|>) :: ErrorT e m a -> ErrorT e m a -> ErrorT e m a Source # some :: ErrorT e m a -> ErrorT e m [a] Source # many :: ErrorT e m a -> ErrorT e m [a] Source #
Alternative m => Alternative (IdentityT m)
Instance details Defined in Control.Monad.Trans.Identity Methods empty :: IdentityT m a Source # (<\|>) :: IdentityT m a -> IdentityT m a -> IdentityT m a Source # some :: IdentityT m a -> IdentityT m [a] Source # many :: IdentityT m a -> IdentityT m [a] Source #
(Monoid w, Functor m, MonadPlus m) => Alternative (AccumT w m)
Instance details Defined in Control.Monad.Trans.Accum Methods empty :: AccumT w m a Source # (<\|>) :: AccumT w m a -> AccumT w m a -> AccumT w m a Source # some :: AccumT w m a -> AccumT w m [a] Source # many :: AccumT w m a -> AccumT w m [a] Source #
(Functor m, Monad m, Monoid e) => Alternative (ExceptT e m)
Instance details Defined in Control.Monad.Trans.Except Methods empty :: ExceptT e m a Source # (<\|>) :: ExceptT e m a -> ExceptT e m a -> ExceptT e m a Source # some :: ExceptT e m a -> ExceptT e m [a] Source # many :: ExceptT e m a -> ExceptT e m [a] Source #
Alternative m => Alternative (ReaderT r m)
Instance details Defined in Control.Monad.Trans.Reader Methods empty :: ReaderT r m a Source # (<\|>) :: ReaderT r m a -> ReaderT r m a -> ReaderT r m a Source # some :: ReaderT r m a -> ReaderT r m [a] Source # many :: ReaderT r m a -> ReaderT r m [a] Source #
(Functor m, MonadPlus m) => Alternative (SelectT r m)
Instance details Defined in Control.Monad.Trans.Select Methods empty :: SelectT r m a Source # (<\|>) :: SelectT r m a -> SelectT r m a -> SelectT r m a Source # some :: SelectT r m a -> SelectT r m [a] Source # many :: SelectT r m a -> SelectT r m [a] Source #
(Functor m, MonadPlus m) => Alternative (StateT s m)
Instance details Defined in Control.Monad.Trans.State.Strict Methods empty :: StateT s m a Source # (<\|>) :: StateT s m a -> StateT s m a -> StateT s m a Source # some :: StateT s m a -> StateT s m [a] Source # many :: StateT s m a -> StateT s m [a] Source #
(Functor m, MonadPlus m) => Alternative (StateT s m)
Instance details Defined in Control.Monad.Trans.State.Lazy Methods empty :: StateT s m a Source # (<\|>) :: StateT s m a -> StateT s m a -> StateT s m a Source # some :: StateT s m a -> StateT s m [a] Source # many :: StateT s m a -> StateT s m [a] Source #
(Monoid w, Alternative m) => Alternative (WriterT w m)
Instance details Defined in Control.Monad.Trans.Writer.Strict Methods empty :: WriterT w m a Source # (<\|>) :: WriterT w m a -> WriterT w m a -> WriterT w m a Source # some :: WriterT w m a -> WriterT w m [a] Source # many :: WriterT w m a -> WriterT w m [a] Source #
(Functor m, MonadPlus m) => Alternative (WriterT w m)
Instance details Defined in Control.Monad.Trans.Writer.CPS Methods empty :: WriterT w m a Source # (<\|>) :: WriterT w m a -> WriterT w m a -> WriterT w m a Source # some :: WriterT w m a -> WriterT w m [a] Source # many :: WriterT w m a -> WriterT w m [a] Source #
(Monoid w, Alternative m) => Alternative (WriterT w m)
Instance details Defined in Control.Monad.Trans.Writer.Lazy Methods empty :: WriterT w m a Source # (<\|>) :: WriterT w m a -> WriterT w m a -> WriterT w m a Source # some :: WriterT w m a -> WriterT w m [a] Source # many :: WriterT w m a -> WriterT w m [a] Source #
Alternative f => Alternative (Backwards f)
Instance details Defined in Control.Applicative.Backwards Methods empty :: Backwards f a Source # (<\|>) :: Backwards f a -> Backwards f a -> Backwards f a Source # some :: Backwards f a -> Backwards f [a] Source # many :: Backwards f a -> Backwards f [a] Source #
Alternative f => Alternative (Reverse f)
Instance details Defined in Data.Functor.Reverse Methods empty :: Reverse f a Source # (<\|>) :: Reverse f a -> Reverse f a -> Reverse f a Source # some :: Reverse f a -> Reverse f [a] Source # many :: Reverse f a -> Reverse f [a] Source #
(Functor f, MonadPlus m) => Alternative (FreeT f m)
Instance details Defined in Control.Monad.Trans.Free Methods empty :: FreeT f m a Source # (<\|>) :: FreeT f m a -> FreeT f m a -> FreeT f m a Source # some :: FreeT f m a -> FreeT f m [a] Source # many :: FreeT f m a -> FreeT f m [a] Source #
Alternative g => Alternative (ApT f g)
Instance details Defined in Control.Applicative.Trans.Free Methods empty :: ApT f g a Source # (<\|>) :: ApT f g a -> ApT f g a -> ApT f g a Source # some :: ApT f g a -> ApT f g [a] Source # many :: ApT f g a -> ApT f g [a] Source #
Alternative m => Alternative (RenameT ren m) Source #
Instance details Defined in PlutusCore.Rename.Monad Methods empty :: RenameT ren m a Source # (<\|>) :: RenameT ren m a -> RenameT ren m a -> RenameT ren m a Source # some :: RenameT ren m a -> RenameT ren m [a] Source # many :: RenameT ren m a -> RenameT ren m [a] Source #
(Profunctor p, ArrowPlus p) => Alternative (Tambara p a)
Instance details Defined in Data.Profunctor.Strong Methods empty :: Tambara p a a0 Source # (<\|>) :: Tambara p a a0 -> Tambara p a a0 -> Tambara p a a0 Source # some :: Tambara p a a0 -> Tambara p a [a0] Source # many :: Tambara p a a0 -> Tambara p a [a0] Source #
(Alternative f, Alternative g) => Alternative (f :*: g)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods empty :: (f :: g) a Source # (<\|>) :: (f :: g) a -> (f :: g) a -> (f :: g) a Source # some :: (f :: g) a -> (f :: g) [a] Source # many :: (f :: g) a -> (f :: g) [a] Source #
(Alternative f, Alternative g) => Alternative (Product f g)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Product Methods empty :: Product f g a Source # (<\|>) :: Product f g a -> Product f g a -> Product f g a Source # some :: Product f g a -> Product f g [a] Source # many :: Product f g a -> Product f g [a] Source #
Alternative f => Alternative (Star f a)
Instance details Defined in Data.Profunctor.Types Methods empty :: Star f a a0 Source # (<\|>) :: Star f a a0 -> Star f a a0 -> Star f a a0 Source # some :: Star f a a0 -> Star f a [a0] Source # many :: Star f a a0 -> Star f a [a0] Source #
(Ord e, Stream s) => Alternative (ParsecT e s m)
Instance details Defined in Text.Megaparsec.Internal Methods empty :: ParsecT e s m a Source # (<\|>) :: ParsecT e s m a -> ParsecT e s m a -> ParsecT e s m a Source # some :: ParsecT e s m a -> ParsecT e s m [a] Source # many :: ParsecT e s m a -> ParsecT e s m [a] Source #
Alternative f => Alternative (M1 i c f)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods empty :: M1 i c f a Source # (<\|>) :: M1 i c f a -> M1 i c f a -> M1 i c f a Source # some :: M1 i c f a -> M1 i c f [a] Source # many :: M1 i c f a -> M1 i c f [a] Source #
(Alternative f, Applicative g) => Alternative (f :.: g)	Since: base-4.9.0.0
Instance details Defined in GHC.Generics Methods empty :: (f :.: g) a Source # (<\|>) :: (f :.: g) a -> (f :.: g) a -> (f :.: g) a Source # some :: (f :.: g) a -> (f :.: g) [a] Source # many :: (f :.: g) a -> (f :.: g) [a] Source #
(Alternative f, Applicative g) => Alternative (Compose f g)	Since: base-4.9.0.0
Instance details Defined in Data.Functor.Compose Methods empty :: Compose f g a Source # (<\|>) :: Compose f g a -> Compose f g a -> Compose f g a Source # some :: Compose f g a -> Compose f g [a] Source # many :: Compose f g a -> Compose f g [a] Source #
(Monoid w, Functor m, MonadPlus m) => Alternative (RWST r w s m)
Instance details Defined in Control.Monad.Trans.RWS.Strict Methods empty :: RWST r w s m a Source # (<\|>) :: RWST r w s m a -> RWST r w s m a -> RWST r w s m a Source # some :: RWST r w s m a -> RWST r w s m [a] Source # many :: RWST r w s m a -> RWST r w s m [a] Source #
(Functor m, MonadPlus m) => Alternative (RWST r w s m)
Instance details Defined in Control.Monad.Trans.RWS.CPS Methods empty :: RWST r w s m a Source # (<\|>) :: RWST r w s m a -> RWST r w s m a -> RWST r w s m a Source # some :: RWST r w s m a -> RWST r w s m [a] Source # many :: RWST r w s m a -> RWST r w s m [a] Source #
(Monoid w, Functor m, MonadPlus m) => Alternative (RWST r w s m)
Instance details Defined in Control.Monad.Trans.RWS.Lazy Methods empty :: RWST r w s m a Source # (<\|>) :: RWST r w s m a -> RWST r w s m a -> RWST r w s m a Source # some :: RWST r w s m a -> RWST r w s m [a] Source # many :: RWST r w s m a -> RWST r w s m [a] Source #
Alternative m => Alternative (NormalizeTypeT m tyname uni ann) Source #
Instance details Defined in PlutusCore.Normalize.Internal Methods empty :: NormalizeTypeT m tyname uni ann a Source # (<\|>) :: NormalizeTypeT m tyname uni ann a -> NormalizeTypeT m tyname uni ann a -> NormalizeTypeT m tyname uni ann a Source # some :: NormalizeTypeT m tyname uni ann a -> NormalizeTypeT m tyname uni ann [a] Source # many :: NormalizeTypeT m tyname uni ann a -> NormalizeTypeT m tyname uni ann [a] Source #

class (Typeable e, Show e) => Exception e Source #

Any type that you wish to throw or catch as an exception must be an instance of the Exception class. The simplest case is a new exception type directly below the root:

data MyException = ThisException | ThatException
    deriving Show

instance Exception MyException

The default method definitions in the Exception class do what we need in this case. You can now throw and catch ThisException and ThatException as exceptions:

*Main> throw ThisException `catch` \e -> putStrLn ("Caught " ++ show (e :: MyException))
Caught ThisException

In more complicated examples, you may wish to define a whole hierarchy of exceptions:

---------------------------------------------------------------------
-- Make the root exception type for all the exceptions in a compiler

data SomeCompilerException = forall e . Exception e => SomeCompilerException e

instance Show SomeCompilerException where
    show (SomeCompilerException e) = show e

instance Exception SomeCompilerException

compilerExceptionToException :: Exception e => e -> SomeException
compilerExceptionToException = toException . SomeCompilerException

compilerExceptionFromException :: Exception e => SomeException -> Maybe e
compilerExceptionFromException x = do
    SomeCompilerException a <- fromException x
    cast a

---------------------------------------------------------------------
-- Make a subhierarchy for exceptions in the frontend of the compiler

data SomeFrontendException = forall e . Exception e => SomeFrontendException e

instance Show SomeFrontendException where
    show (SomeFrontendException e) = show e

instance Exception SomeFrontendException where
    toException = compilerExceptionToException
    fromException = compilerExceptionFromException

frontendExceptionToException :: Exception e => e -> SomeException
frontendExceptionToException = toException . SomeFrontendException

frontendExceptionFromException :: Exception e => SomeException -> Maybe e
frontendExceptionFromException x = do
    SomeFrontendException a <- fromException x
    cast a

---------------------------------------------------------------------
-- Make an exception type for a particular frontend compiler exception

data MismatchedParentheses = MismatchedParentheses
    deriving Show

instance Exception MismatchedParentheses where
    toException   = frontendExceptionToException
    fromException = frontendExceptionFromException

We can now catch a MismatchedParentheses exception as MismatchedParentheses, SomeFrontendException or SomeCompilerException, but not other types, e.g. IOException:

*Main> throw MismatchedParentheses `catch` \e -> putStrLn ("Caught " ++ show (e :: MismatchedParentheses))
Caught MismatchedParentheses
*Main> throw MismatchedParentheses `catch` \e -> putStrLn ("Caught " ++ show (e :: SomeFrontendException))
Caught MismatchedParentheses
*Main> throw MismatchedParentheses `catch` \e -> putStrLn ("Caught " ++ show (e :: SomeCompilerException))
Caught MismatchedParentheses
*Main> throw MismatchedParentheses `catch` \e -> putStrLn ("Caught " ++ show (e :: IOException))
*** Exception: MismatchedParentheses

Instances

Instances details

Exception Void	Since: base-4.8.0.0
Instance details Defined in Data.Void Methods toException :: Void -> SomeException Source # fromException :: SomeException -> Maybe Void Source # displayException :: Void -> String Source #
Exception PatternMatchFail	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException :: PatternMatchFail -> SomeException Source # fromException :: SomeException -> Maybe PatternMatchFail Source # displayException :: PatternMatchFail -> String Source #
Exception RecSelError	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException :: RecSelError -> SomeException Source # fromException :: SomeException -> Maybe RecSelError Source # displayException :: RecSelError -> String Source #
Exception RecConError	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException :: RecConError -> SomeException Source # fromException :: SomeException -> Maybe RecConError Source # displayException :: RecConError -> String Source #
Exception RecUpdError	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException :: RecUpdError -> SomeException Source # fromException :: SomeException -> Maybe RecUpdError Source # displayException :: RecUpdError -> String Source #
Exception NoMethodError	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException :: NoMethodError -> SomeException Source # fromException :: SomeException -> Maybe NoMethodError Source # displayException :: NoMethodError -> String Source #
Exception TypeError	Since: base-4.9.0.0
Instance details Defined in Control.Exception.Base Methods toException :: TypeError -> SomeException Source # fromException :: SomeException -> Maybe TypeError Source # displayException :: TypeError -> String Source #
Exception NonTermination	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException :: NonTermination -> SomeException Source # fromException :: SomeException -> Maybe NonTermination Source # displayException :: NonTermination -> String Source #
Exception NestedAtomically	Since: base-4.0
Instance details Defined in Control.Exception.Base Methods toException :: NestedAtomically -> SomeException Source # fromException :: SomeException -> Maybe NestedAtomically Source # displayException :: NestedAtomically -> String Source #
Exception BlockedIndefinitelyOnMVar	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException :: BlockedIndefinitelyOnMVar -> SomeException Source # fromException :: SomeException -> Maybe BlockedIndefinitelyOnMVar Source # displayException :: BlockedIndefinitelyOnMVar -> String Source #
Exception BlockedIndefinitelyOnSTM	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException :: BlockedIndefinitelyOnSTM -> SomeException Source # fromException :: SomeException -> Maybe BlockedIndefinitelyOnSTM Source # displayException :: BlockedIndefinitelyOnSTM -> String Source #
Exception Deadlock	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException :: Deadlock -> SomeException Source # fromException :: SomeException -> Maybe Deadlock Source # displayException :: Deadlock -> String Source #
Exception AllocationLimitExceeded	Since: base-4.8.0.0
Instance details Defined in GHC.IO.Exception Methods toException :: AllocationLimitExceeded -> SomeException Source # fromException :: SomeException -> Maybe AllocationLimitExceeded Source # displayException :: AllocationLimitExceeded -> String Source #
Exception CompactionFailed	Since: base-4.10.0.0
Instance details Defined in GHC.IO.Exception Methods toException :: CompactionFailed -> SomeException Source # fromException :: SomeException -> Maybe CompactionFailed Source # displayException :: CompactionFailed -> String Source #
Exception AssertionFailed	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException :: AssertionFailed -> SomeException Source # fromException :: SomeException -> Maybe AssertionFailed Source # displayException :: AssertionFailed -> String Source #
Exception SomeAsyncException	Since: base-4.7.0.0
Instance details Defined in GHC.IO.Exception Methods toException :: SomeAsyncException -> SomeException Source # fromException :: SomeException -> Maybe SomeAsyncException Source # displayException :: SomeAsyncException -> String Source #
Exception AsyncException	Since: base-4.7.0.0
Instance details Defined in GHC.IO.Exception Methods toException :: AsyncException -> SomeException Source # fromException :: SomeException -> Maybe AsyncException Source # displayException :: AsyncException -> String Source #
Exception ArrayException	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException :: ArrayException -> SomeException Source # fromException :: SomeException -> Maybe ArrayException Source # displayException :: ArrayException -> String Source #
Exception FixIOException	Since: base-4.11.0.0
Instance details Defined in GHC.IO.Exception Methods toException :: FixIOException -> SomeException Source # fromException :: SomeException -> Maybe FixIOException Source # displayException :: FixIOException -> String Source #
Exception ExitCode	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException :: ExitCode -> SomeException Source # fromException :: SomeException -> Maybe ExitCode Source # displayException :: ExitCode -> String Source #
Exception IOException	Since: base-4.1.0.0
Instance details Defined in GHC.IO.Exception Methods toException :: IOException -> SomeException Source # fromException :: SomeException -> Maybe IOException Source # displayException :: IOException -> String Source #
Exception ErrorCall	Since: base-4.0.0.0
Instance details Defined in GHC.Exception Methods toException :: ErrorCall -> SomeException Source # fromException :: SomeException -> Maybe ErrorCall Source # displayException :: ErrorCall -> String Source #
Exception ArithException	Since: base-4.0.0.0
Instance details Defined in GHC.Exception.Type Methods toException :: ArithException -> SomeException Source # fromException :: SomeException -> Maybe ArithException Source # displayException :: ArithException -> String Source #
Exception SomeException	Since: base-3.0
Instance details Defined in GHC.Exception.Type Methods toException :: SomeException -> SomeException Source # fromException :: SomeException -> Maybe SomeException Source # displayException :: SomeException -> String Source #
Exception UnicodeException
Instance details Defined in Data.Text.Encoding.Error Methods toException :: UnicodeException -> SomeException Source # fromException :: SomeException -> Maybe UnicodeException Source # displayException :: UnicodeException -> String Source #
Exception ASCII7_Invalid
Instance details Defined in Basement.String.Encoding.ASCII7 Methods toException :: ASCII7_Invalid -> SomeException Source # fromException :: SomeException -> Maybe ASCII7_Invalid Source # displayException :: ASCII7_Invalid -> String Source #
Exception ISO_8859_1_Invalid
Instance details Defined in Basement.String.Encoding.ISO_8859_1 Methods toException :: ISO_8859_1_Invalid -> SomeException Source # fromException :: SomeException -> Maybe ISO_8859_1_Invalid Source # displayException :: ISO_8859_1_Invalid -> String Source #
Exception UTF16_Invalid
Instance details Defined in Basement.String.Encoding.UTF16 Methods toException :: UTF16_Invalid -> SomeException Source # fromException :: SomeException -> Maybe UTF16_Invalid Source # displayException :: UTF16_Invalid -> String Source #
Exception UTF32_Invalid
Instance details Defined in Basement.String.Encoding.UTF32 Methods toException :: UTF32_Invalid -> SomeException Source # fromException :: SomeException -> Maybe UTF32_Invalid Source # displayException :: UTF32_Invalid -> String Source #
Exception DeserialiseFailure
Instance details Defined in Codec.CBOR.Read Methods toException :: DeserialiseFailure -> SomeException Source # fromException :: SomeException -> Maybe DeserialiseFailure Source # displayException :: DeserialiseFailure -> String Source #
Exception InvalidAccess
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods toException :: InvalidAccess -> SomeException Source # fromException :: SomeException -> Maybe InvalidAccess Source # displayException :: InvalidAccess -> String Source #
Exception ResourceCleanupException
Instance details Defined in Control.Monad.Trans.Resource.Internal Methods toException :: ResourceCleanupException -> SomeException Source # fromException :: SomeException -> Maybe ResourceCleanupException Source # displayException :: ResourceCleanupException -> String Source #
Exception CryptoError
Instance details Defined in Crypto.Error.Types Methods toException :: CryptoError -> SomeException Source # fromException :: SomeException -> Maybe CryptoError Source # displayException :: CryptoError -> String Source #
Exception BimapException
Instance details Defined in Data.Bimap Methods toException :: BimapException -> SomeException Source # fromException :: SomeException -> Maybe BimapException Source # displayException :: BimapException -> String Source #
Exception FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods toException :: FreeVariableError -> SomeException Source # fromException :: SomeException -> Maybe FreeVariableError Source # displayException :: FreeVariableError -> String Source #
Exception DecodeException
Instance details Defined in Flat.Decoder.Types Methods toException :: DecodeException -> SomeException Source # fromException :: SomeException -> Maybe DecodeException Source # displayException :: DecodeException -> String Source #
Exception InvalidPosException
Instance details Defined in Text.Megaparsec.Pos Methods toException :: InvalidPosException -> SomeException Source # fromException :: SomeException -> Maybe InvalidPosException Source # displayException :: InvalidPosException -> String Source #
Exception CostModelApplyError Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods toException :: CostModelApplyError -> SomeException Source # fromException :: SomeException -> Maybe CostModelApplyError Source # displayException :: CostModelApplyError -> String Source #
Exception BuiltinErrorCall Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods toException :: BuiltinErrorCall -> SomeException Source # fromException :: SomeException -> Maybe BuiltinErrorCall Source # displayException :: BuiltinErrorCall -> String Source #
Exception HandlingException
Instance details Defined in Control.Lens.Internal.Exception Methods toException :: HandlingException -> SomeException Source # fromException :: SomeException -> Maybe HandlingException Source # displayException :: HandlingException -> String Source #
(PrettyPlc cause, PrettyPlc err, Typeable cause, Typeable err) => Exception (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods toException :: ErrorWithCause err cause -> SomeException Source # fromException :: SomeException -> Maybe (ErrorWithCause err cause) Source # displayException :: ErrorWithCause err cause -> String Source #
(Show s, Show (Token s), Show e, ShowErrorComponent e, VisualStream s, Typeable s, Typeable e) => Exception (ParseError s e)
Instance details Defined in Text.Megaparsec.Error Methods toException :: ParseError s e -> SomeException Source # fromException :: SomeException -> Maybe (ParseError s e) Source # displayException :: ParseError s e -> String Source #
(Show s, Show (Token s), Show e, ShowErrorComponent e, VisualStream s, TraversableStream s, Typeable s, Typeable e) => Exception (ParseErrorBundle s e)
Instance details Defined in Text.Megaparsec.Error Methods toException :: ParseErrorBundle s e -> SomeException Source # fromException :: SomeException -> Maybe (ParseErrorBundle s e) Source # displayException :: ParseErrorBundle s e -> String Source #
(PrettyUni uni ann, Typeable uni, Typeable fun, Typeable ann, Pretty fun) => Exception (Error uni fun ann) Source #
Instance details Defined in PlutusIR.Error Methods toException :: Error uni fun ann -> SomeException Source # fromException :: SomeException -> Maybe (Error uni fun ann) Source # displayException :: Error uni fun ann -> String Source #
(Reifies s (SomeException -> Maybe a), Typeable a, Typeable s, Typeable m) => Exception (Handling a s m)
Instance details Defined in Control.Lens.Internal.Exception Methods toException :: Handling a s m -> SomeException Source # fromException :: SomeException -> Maybe (Handling a s m) Source # displayException :: Handling a s m -> String Source #

newtype PairT b f a Source #

Constructors

PairT
Fields unPairT :: f (b, a)

Instances

Instances details

Functor f => Functor (PairT b f) Source #
Instance details Defined in PlutusPrelude Methods fmap :: (a -> b0) -> PairT b f a -> PairT b f b0 Source # (<$) :: a -> PairT b f b0 -> PairT b f a Source #

class a ~R# b => Coercible (a :: k) (b :: k) Source #

Coercible is a two-parameter class that has instances for types a and b if the compiler can infer that they have the same representation. This class does not have regular instances; instead they are created on-the-fly during type-checking. Trying to manually declare an instance of Coercible is an error.

Nevertheless one can pretend that the following three kinds of instances exist. First, as a trivial base-case:

instance Coercible a a

Furthermore, for every type constructor there is an instance that allows to coerce under the type constructor. For example, let D be a prototypical type constructor (data or newtype) with three type arguments, which have roles nominal, representational resp. phantom. Then there is an instance of the form

instance Coercible b b' => Coercible (D a b c) (D a b' c')

Note that the nominal type arguments are equal, the representational type arguments can differ, but need to have a Coercible instance themself, and the phantom type arguments can be changed arbitrarily.

The third kind of instance exists for every newtype NT = MkNT T and comes in two variants, namely

instance Coercible a T => Coercible a NT

instance Coercible T b => Coercible NT b

This instance is only usable if the constructor MkNT is in scope.

If, as a library author of a type constructor like Set a, you want to prevent a user of your module to write coerce :: Set T -> Set NT, you need to set the role of Set's type parameter to nominal, by writing

type role Set nominal

For more details about this feature, please refer to Safe Coercions by Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones and Stephanie Weirich.

Since: ghc-prim-4.7.0.0

class Typeable (a :: k) Source #

The class Typeable allows a concrete representation of a type to be calculated.

Minimal complete definition

typeRep#

Lens

type Lens' s a = Lens s s a a #

lens :: (s -> a) -> (s -> b -> t) -> Lens s t a b #

(^.) :: s -> Getting a s a -> a #

view :: MonadReader s m => Getting a s a -> m a #

(.~) :: ASetter s t a b -> b -> s -> t #

set :: ASetter s t a b -> b -> s -> t #

(%~) :: ASetter s t a b -> (a -> b) -> s -> t #

over :: ASetter s t a b -> (a -> b) -> s -> t #

Debugging

traceShowId :: Show a => a -> a Source #

Like traceShow but returns the shown value instead of a third value.

>>> traceShowId (1+2+3, "hello" ++ "world")
(6,"helloworld")
(6,"helloworld")

Since: base-4.7.0.0

trace :: String -> a -> a Source #

The trace function outputs the trace message given as its first argument, before returning the second argument as its result.

For example, this returns the value of f x but first outputs the message.

>>> let x = 123; f = show
>>> trace ("calling f with x = " ++ show x) (f x)
"calling f with x = 123
123"

The trace function should only be used for debugging, or for monitoring execution. The function is not referentially transparent: its type indicates that it is a pure function but it has the side effect of outputting the trace message.

Reexports from Control.Composition

(.*) :: (c -> d) -> (a -> b -> c) -> a -> b -> d #

Custom functions

(<<$>>) :: (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) infixl 4 Source #

(<<*>>) :: (Applicative f1, Applicative f2) => f1 (f2 (a -> b)) -> f1 (f2 a) -> f1 (f2 b) infixl 4 Source #

mtraverse :: (Monad m, Traversable m, Applicative f) => (a -> f (m b)) -> m a -> f (m b) Source #

foldMapM :: (Foldable f, Monad m, Monoid b) => (a -> m b) -> f a -> m b Source #

Fold a monadic function over a Foldable. The monadic version of foldMap.

reoption :: (Foldable f, Alternative g) => f a -> g a Source #

This function generalizes eitherToMaybe, eitherToList, listToMaybe and other such functions.

enumeration :: (Bounded a, Enum a) => [a] Source #

tabulateArray :: (Bounded i, Enum i, Ix i) => (i -> a) -> Array i a Source #

Basically a Data.Functor.Representable instance for Array. We can't provide an actual instance because of the Distributive superclass: Array i is not Distributive unless we assume that indices in an array range over the entirety of i.

(?) :: Alternative f => Bool -> a -> f a infixr 2 Source #

b ? x is equal to pure x whenever b holds and is empty otherwise.

ensure :: Alternative f => (a -> Bool) -> a -> f a Source #

ensure p x is equal to pure x whenever p x holds and is empty otherwise.

asksM :: MonadReader r m => (r -> m a) -> m a Source #

A monadic version of asks.

Pretty-printing

data Doc ann #

Instances

Instances details

Functor Doc
Instance details Defined in Prettyprinter.Internal Methods fmap :: (a -> b) -> Doc a -> Doc b Source # (<$) :: a -> Doc b -> Doc a Source #
Show (Doc ann)
Instance details Defined in Prettyprinter.Internal Methods showsPrec :: Int -> Doc ann -> ShowS Source # show :: Doc ann -> String Source # showList :: [Doc ann] -> ShowS Source #
IsString (Doc ann)
Instance details Defined in Prettyprinter.Internal Methods fromString :: String -> Doc ann Source #
Generic (Doc ann)
Instance details Defined in Prettyprinter.Internal Associated Types type Rep (Doc ann) :: Type -> Type Source # Methods from :: Doc ann -> Rep (Doc ann) x Source # to :: Rep (Doc ann) x -> Doc ann Source #
Semigroup (Doc ann)
Instance details Defined in Prettyprinter.Internal Methods (<>) :: Doc ann -> Doc ann -> Doc ann Source # sconcat :: NonEmpty (Doc ann) -> Doc ann Source # stimes :: Integral b => b -> Doc ann -> Doc ann Source #
Monoid (Doc ann)
Instance details Defined in Prettyprinter.Internal Methods mempty :: Doc ann Source # mappend :: Doc ann -> Doc ann -> Doc ann Source # mconcat :: [Doc ann] -> Doc ann Source #
type Rep (Doc ann)
Instance details Defined in Prettyprinter.Internal type Rep (Doc ann) = D1 ('MetaData "Doc" "Prettyprinter.Internal" "prettyprinter-1.7.1-4IgD8s5wquO6FIO1jHqEQF" 'False) (((C1 ('MetaCons "Fail" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Empty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Char" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Char)))) :+: (C1 ('MetaCons "Text" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "Line" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlatAlt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)))))) :+: ((C1 ('MetaCons "Cat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))) :+: (C1 ('MetaCons "Nest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))) :+: C1 ('MetaCons "Union" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))))) :+: ((C1 ('MetaCons "Column" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int -> Doc ann))) :+: C1 ('MetaCons "WithPageWidth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PageWidth -> Doc ann)))) :+: (C1 ('MetaCons "Nesting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int -> Doc ann))) :+: C1 ('MetaCons "Annotated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)))))))

newtype ShowPretty a Source #

A newtype wrapper around a whose point is to provide a Show instance for anything that has a Pretty instance.

Constructors

ShowPretty
Fields unShowPretty :: a

Instances

Instances details

Eq a => Eq (ShowPretty a) Source #
Instance details Defined in PlutusPrelude Methods (==) :: ShowPretty a -> ShowPretty a -> Bool Source # (/=) :: ShowPretty a -> ShowPretty a -> Bool Source #
Pretty a => Show (ShowPretty a) Source #
Instance details Defined in PlutusPrelude Methods showsPrec :: Int -> ShowPretty a -> ShowS Source # show :: ShowPretty a -> String Source # showList :: [ShowPretty a] -> ShowS Source #

class Pretty a where #

Minimal complete definition

pretty

Methods

pretty :: a -> Doc ann #

prettyList :: [a] -> Doc ann #

Instances

Instances details

Pretty Bool
Instance details Defined in Prettyprinter.Internal Methods pretty :: Bool -> Doc ann # prettyList :: [Bool] -> Doc ann #
Pretty Char
Instance details Defined in Prettyprinter.Internal Methods pretty :: Char -> Doc ann # prettyList :: [Char] -> Doc ann #
Pretty Double
Instance details Defined in Prettyprinter.Internal Methods pretty :: Double -> Doc ann # prettyList :: [Double] -> Doc ann #
Pretty Float
Instance details Defined in Prettyprinter.Internal Methods pretty :: Float -> Doc ann # prettyList :: [Float] -> Doc ann #
Pretty Int
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int -> Doc ann # prettyList :: [Int] -> Doc ann #
Pretty Int8
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int8 -> Doc ann # prettyList :: [Int8] -> Doc ann #
Pretty Int16
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int16 -> Doc ann # prettyList :: [Int16] -> Doc ann #
Pretty Int32
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int32 -> Doc ann # prettyList :: [Int32] -> Doc ann #
Pretty Int64
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int64 -> Doc ann # prettyList :: [Int64] -> Doc ann #
Pretty Integer
Instance details Defined in Prettyprinter.Internal Methods pretty :: Integer -> Doc ann # prettyList :: [Integer] -> Doc ann #
Pretty Natural
Instance details Defined in Prettyprinter.Internal Methods pretty :: Natural -> Doc ann # prettyList :: [Natural] -> Doc ann #
Pretty Word
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word -> Doc ann # prettyList :: [Word] -> Doc ann #
Pretty Word8
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word8 -> Doc ann # prettyList :: [Word8] -> Doc ann #
Pretty Word16
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word16 -> Doc ann # prettyList :: [Word16] -> Doc ann #
Pretty Word32
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word32 -> Doc ann # prettyList :: [Word32] -> Doc ann #
Pretty Word64
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word64 -> Doc ann # prettyList :: [Word64] -> Doc ann #
Pretty ()
Instance details Defined in Prettyprinter.Internal Methods pretty :: () -> Doc ann # prettyList :: [()] -> Doc ann #
Pretty Void
Instance details Defined in Prettyprinter.Internal Methods pretty :: Void -> Doc ann # prettyList :: [Void] -> Doc ann #
Pretty Text
Instance details Defined in Prettyprinter.Internal Methods pretty :: Text -> Doc ann # prettyList :: [Text] -> Doc ann #
Pretty Text
Instance details Defined in Prettyprinter.Internal Methods pretty :: Text -> Doc ann # prettyList :: [Text] -> Doc ann #
Pretty ErrorCode Source #
Instance details Defined in ErrorCode Methods pretty :: ErrorCode -> Doc ann # prettyList :: [ErrorCode] -> Doc ann #
Pretty Data Source #
Instance details Defined in PlutusCore.Data Methods pretty :: Data -> Doc ann # prettyList :: [Data] -> Doc ann #
Pretty Unique Source #
Instance details Defined in PlutusCore.Name Methods pretty :: Unique -> Doc ann # prettyList :: [Unique] -> Doc ann #
Pretty FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods pretty :: FreeVariableError -> Doc ann # prettyList :: [FreeVariableError] -> Doc ann #
Pretty Index Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods pretty :: Index -> Doc ann # prettyList :: [Index] -> Doc ann #
Pretty ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty :: ExCPU -> Doc ann # prettyList :: [ExCPU] -> Doc ann #
Pretty ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty :: ExMemory -> Doc ann # prettyList :: [ExMemory] -> Doc ann #
Pretty ExRestrictingBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty :: ExRestrictingBudget -> Doc ann # prettyList :: [ExRestrictingBudget] -> Doc ann #
Pretty ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty :: ExBudget -> Doc ann # prettyList :: [ExBudget] -> Doc ann #
Pretty UnliftingError Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods pretty :: UnliftingError -> Doc ann # prettyList :: [UnliftingError] -> Doc ann #
Pretty Size Source #
Instance details Defined in PlutusCore.Size Methods pretty :: Size -> Doc ann # prettyList :: [Size] -> Doc ann #
Pretty SourcePos Source #
Instance details Defined in PlutusCore.Error Methods pretty :: SourcePos -> Doc ann # prettyList :: [SourcePos] -> Doc ann #
Pretty ParseError Source #
Instance details Defined in PlutusCore.Error Methods pretty :: ParseError -> Doc ann # prettyList :: [ParseError] -> Doc ann #
Pretty DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods pretty :: DefaultFun -> Doc ann # prettyList :: [DefaultFun] -> Doc ann #
Pretty CostModelApplyError Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods pretty :: CostModelApplyError -> Doc ann # prettyList :: [CostModelApplyError] -> Doc ann #
Pretty CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods pretty :: CekUserError -> Doc ann # prettyList :: [CekUserError] -> Doc ann #
Pretty RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty :: RestrictingSt -> Doc ann # prettyList :: [RestrictingSt] -> Doc ann #
Pretty CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty :: CountingSt -> Doc ann # prettyList :: [CountingSt] -> Doc ann #
Pretty DatatypeComponent Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods pretty :: DatatypeComponent -> Doc ann # prettyList :: [DatatypeComponent] -> Doc ann #
Pretty RetainedSize Source #
Instance details Defined in PlutusIR.Analysis.RetainedSize Methods pretty :: RetainedSize -> Doc ann # prettyList :: [RetainedSize] -> Doc ann #
Pretty ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods pretty :: ExtensionFun -> Doc ann # prettyList :: [ExtensionFun] -> Doc ann #
Pretty a => Pretty [a]
Instance details Defined in Prettyprinter.Internal Methods pretty :: [a] -> Doc ann # prettyList :: [[a]] -> Doc ann #
Pretty a => Pretty (Maybe a)
Instance details Defined in Prettyprinter.Internal Methods pretty :: Maybe a -> Doc ann # prettyList :: [Maybe a] -> Doc ann #
Pretty a => Pretty (Identity a)
Instance details Defined in Prettyprinter.Internal Methods pretty :: Identity a -> Doc ann # prettyList :: [Identity a] -> Doc ann #
Pretty a => Pretty (NonEmpty a)
Instance details Defined in Prettyprinter.Internal Methods pretty :: NonEmpty a -> Doc ann # prettyList :: [NonEmpty a] -> Doc ann #
GShow uni => Pretty (SomeTypeIn uni) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods pretty :: SomeTypeIn uni -> Doc ann # prettyList :: [SomeTypeIn uni] -> Doc ann #
PrettyClassic a => Pretty (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods pretty :: EvaluationResult a -> Doc ann # prettyList :: [EvaluationResult a] -> Doc ann #
Pretty (Version ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Common Methods pretty :: Version ann -> Doc ann0 # prettyList :: [Version ann] -> Doc ann0 #
Pretty ann => Pretty (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Kind ann -> Doc ann0 # prettyList :: [Kind ann] -> Doc ann0 #
Pretty a => Pretty (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type Methods pretty :: Normalized a -> Doc ann # prettyList :: [Normalized a] -> Doc ann #
Pretty ann => Pretty (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods pretty :: UniqueError ann -> Doc ann0 # prettyList :: [UniqueError ann] -> Doc ann0 #
Show fun => Pretty (ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods pretty :: ExBudgetCategory fun -> Doc ann # prettyList :: [ExBudgetCategory fun] -> Doc ann #
(Show fun, Ord fun) => Pretty (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty :: TallyingSt fun -> Doc ann # prettyList :: [TallyingSt fun] -> Doc ann #
(Show fun, Ord fun) => Pretty (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty :: CekExTally fun -> Doc ann # prettyList :: [CekExTally fun] -> Doc ann #
Pretty a => Pretty (Provenance a) Source #
Instance details Defined in PlutusIR.Compiler.Provenance Methods pretty :: Provenance a -> Doc ann # prettyList :: [Provenance a] -> Doc ann #
(Pretty a, Pretty b) => Pretty (Either a b) Source #
Instance details Defined in PlutusPrelude Methods pretty :: Either a b -> Doc ann # prettyList :: [Either a b] -> Doc ann #
(Pretty a1, Pretty a2) => Pretty (a1, a2)
Instance details Defined in Prettyprinter.Internal Methods pretty :: (a1, a2) -> Doc ann # prettyList :: [(a1, a2)] -> Doc ann #
DefaultPrettyBy config a => Pretty (AttachDefaultPrettyConfig config a)
Instance details Defined in Text.PrettyBy.Internal Methods pretty :: AttachDefaultPrettyConfig config a -> Doc ann # prettyList :: [AttachDefaultPrettyConfig config a] -> Doc ann #
PrettyBy config a => Pretty (AttachPrettyConfig config a)
Instance details Defined in Text.PrettyBy.Internal Methods pretty :: AttachPrettyConfig config a -> Doc ann # prettyList :: [AttachPrettyConfig config a] -> Doc ann #
(Closed uni, Everywhere uni PrettyConst) => Pretty (Some (ValueOf uni)) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods pretty :: Some (ValueOf uni) -> Doc ann # prettyList :: [Some (ValueOf uni)] -> Doc ann #
(Closed uni, Everywhere uni PrettyConst) => Pretty (ValueOf uni a) Source #	Special treatment for built-in constants: see the Note in PlutusCore.Pretty.PrettyConst.
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods pretty :: ValueOf uni a -> Doc ann # prettyList :: [ValueOf uni a] -> Doc ann #
(PrettyClassic tyname, Pretty ann) => Pretty (TyVarDecl tyname ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods pretty :: TyVarDecl tyname ann -> Doc ann0 # prettyList :: [TyVarDecl tyname ann] -> Doc ann0 #
(Pretty err, Pretty cause) => Pretty (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods pretty :: ErrorWithCause err cause -> Doc ann # prettyList :: [ErrorWithCause err cause] -> Doc ann #
Pretty val => Pretty (Opaque val rep) Source #
Instance details Defined in PlutusCore.Builtin.Polymorphism Methods pretty :: Opaque val rep -> Doc ann # prettyList :: [Opaque val rep] -> Doc ann #
(Pretty a1, Pretty a2, Pretty a3) => Pretty (a1, a2, a3)
Instance details Defined in Prettyprinter.Internal Methods pretty :: (a1, a2, a3) -> Doc ann # prettyList :: [(a1, a2, a3)] -> Doc ann #
Pretty a => Pretty (Const a b)
Instance details Defined in Prettyprinter.Internal Methods pretty :: Const a b -> Doc ann # prettyList :: [Const a b] -> Doc ann #
(PrettyClassic tyname, GShow uni, Pretty ann) => Pretty (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Type tyname uni ann -> Doc ann0 # prettyList :: [Type tyname uni ann] -> Doc ann0 #
(Pretty ann, Pretty fun, GShow uni, Closed uni, Everywhere uni PrettyConst) => Pretty (Error uni fun ann) Source #
Instance details Defined in PlutusIR.Error Methods pretty :: Error uni fun ann -> Doc ann0 # prettyList :: [Error uni fun ann] -> Doc ann0 #
(PrettyClassic name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => Pretty (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Default Methods pretty :: Program name uni fun ann -> Doc ann0 # prettyList :: [Program name uni fun ann] -> Doc ann0 #
(PrettyClassic name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => Pretty (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Default Methods pretty :: Term name uni fun ann -> Doc ann0 # prettyList :: [Term name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => Pretty (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Program tyname name uni fun ann -> Doc ann0 # prettyList :: [Program tyname name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => Pretty (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Term tyname name uni fun ann -> Doc ann0 # prettyList :: [Term tyname name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => Pretty (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods pretty :: Program tyname name uni fun ann -> Doc ann0 # prettyList :: [Program tyname name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => Pretty (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods pretty :: Term tyname name uni fun ann -> Doc ann0 # prettyList :: [Term tyname name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => Pretty (Binding tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods pretty :: Binding tyname name uni fun ann -> Doc ann0 # prettyList :: [Binding tyname name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Everywhere uni PrettyConst, Pretty ann) => Pretty (Datatype tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods pretty :: Datatype tyname name uni fun ann -> Doc ann0 # prettyList :: [Datatype tyname name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Everywhere uni PrettyConst, Pretty ann) => Pretty (VarDecl tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods pretty :: VarDecl tyname name uni fun ann -> Doc ann0 # prettyList :: [VarDecl tyname name uni fun ann] -> Doc ann0 #

class PrettyBy config a where #

Minimal complete definition

Nothing

Methods

prettyBy :: config -> a -> Doc ann #

prettyListBy :: config -> [a] -> Doc ann #

Instances

Instances details

PrettyDefaultBy config Word8 => PrettyBy config Word8
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Word8 -> Doc ann # prettyListBy :: config -> [Word8] -> Doc ann #
PrettyDefaultBy config Word64 => PrettyBy config Word64
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Word64 -> Doc ann # prettyListBy :: config -> [Word64] -> Doc ann #
PrettyDefaultBy config Word32 => PrettyBy config Word32
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Word32 -> Doc ann # prettyListBy :: config -> [Word32] -> Doc ann #
PrettyDefaultBy config Word16 => PrettyBy config Word16
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Word16 -> Doc ann # prettyListBy :: config -> [Word16] -> Doc ann #
PrettyDefaultBy config Word => PrettyBy config Word
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Word -> Doc ann # prettyListBy :: config -> [Word] -> Doc ann #
PrettyDefaultBy config Void => PrettyBy config Void
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Void -> Doc ann # prettyListBy :: config -> [Void] -> Doc ann #
PrettyDefaultBy config Text => PrettyBy config Text
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Text -> Doc ann # prettyListBy :: config -> [Text] -> Doc ann #
PrettyDefaultBy config Text => PrettyBy config Text
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Text -> Doc ann # prettyListBy :: config -> [Text] -> Doc ann #
PrettyDefaultBy config Natural => PrettyBy config Natural
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Natural -> Doc ann # prettyListBy :: config -> [Natural] -> Doc ann #
PrettyDefaultBy config Integer => PrettyBy config Integer
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Integer -> Doc ann # prettyListBy :: config -> [Integer] -> Doc ann #
PrettyDefaultBy config Int8 => PrettyBy config Int8
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Int8 -> Doc ann # prettyListBy :: config -> [Int8] -> Doc ann #
PrettyDefaultBy config Int64 => PrettyBy config Int64
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Int64 -> Doc ann # prettyListBy :: config -> [Int64] -> Doc ann #
PrettyDefaultBy config Int32 => PrettyBy config Int32
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Int32 -> Doc ann # prettyListBy :: config -> [Int32] -> Doc ann #
PrettyDefaultBy config Int16 => PrettyBy config Int16
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Int16 -> Doc ann # prettyListBy :: config -> [Int16] -> Doc ann #
PrettyDefaultBy config Int => PrettyBy config Int
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Int -> Doc ann # prettyListBy :: config -> [Int] -> Doc ann #
PrettyDefaultBy config Float => PrettyBy config Float
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Float -> Doc ann # prettyListBy :: config -> [Float] -> Doc ann #
PrettyDefaultBy config Double => PrettyBy config Double
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Double -> Doc ann # prettyListBy :: config -> [Double] -> Doc ann #
PrettyDefaultBy config Char => PrettyBy config Char
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Char -> Doc ann # prettyListBy :: config -> [Char] -> Doc ann #
PrettyDefaultBy config Bool => PrettyBy config Bool
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Bool -> Doc ann # prettyListBy :: config -> [Bool] -> Doc ann #
PrettyDefaultBy config () => PrettyBy config ()
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> () -> Doc ann # prettyListBy :: config -> [()] -> Doc ann #
HasPrettyConfigName config => PrettyBy config TyName Source #
Instance details Defined in PlutusCore.Name Methods prettyBy :: config -> TyName -> Doc ann # prettyListBy :: config -> [TyName] -> Doc ann #
HasPrettyConfigName config => PrettyBy config Name Source #
Instance details Defined in PlutusCore.Name Methods prettyBy :: config -> Name -> Doc ann # prettyListBy :: config -> [Name] -> Doc ann #
HasPrettyConfigName config => PrettyBy config TyDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods prettyBy :: config -> TyDeBruijn -> Doc ann # prettyListBy :: config -> [TyDeBruijn] -> Doc ann #
HasPrettyConfigName config => PrettyBy config NamedTyDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods prettyBy :: config -> NamedTyDeBruijn -> Doc ann # prettyListBy :: config -> [NamedTyDeBruijn] -> Doc ann #
HasPrettyConfigName config => PrettyBy config FakeNamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods prettyBy :: config -> FakeNamedDeBruijn -> Doc ann # prettyListBy :: config -> [FakeNamedDeBruijn] -> Doc ann #
HasPrettyConfigName config => PrettyBy config DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods prettyBy :: config -> DeBruijn -> Doc ann # prettyListBy :: config -> [DeBruijn] -> Doc ann #
HasPrettyConfigName config => PrettyBy config NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods prettyBy :: config -> NamedDeBruijn -> Doc ann # prettyListBy :: config -> [NamedDeBruijn] -> Doc ann #
PrettyBy config ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy :: config -> ExCPU -> Doc ann # prettyListBy :: config -> [ExCPU] -> Doc ann #
PrettyBy config ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy :: config -> ExMemory -> Doc ann # prettyListBy :: config -> [ExMemory] -> Doc ann #
PrettyBy config ExRestrictingBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods prettyBy :: config -> ExRestrictingBudget -> Doc ann # prettyListBy :: config -> [ExRestrictingBudget] -> Doc ann #
PrettyBy config ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods prettyBy :: config -> ExBudget -> Doc ann # prettyListBy :: config -> [ExBudget] -> Doc ann #
PrettyBy config RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods prettyBy :: config -> RestrictingSt -> Doc ann # prettyListBy :: config -> [RestrictingSt] -> Doc ann #
PrettyBy config CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods prettyBy :: config -> CountingSt -> Doc ann # prettyListBy :: config -> [CountingSt] -> Doc ann #
PrettyBy PrettyConfigPlc DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods prettyBy :: PrettyConfigPlc -> DefaultFun -> Doc ann # prettyListBy :: PrettyConfigPlc -> [DefaultFun] -> Doc ann #
PrettyBy ConstConfig ByteString Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> ByteString -> Doc ann # prettyListBy :: ConstConfig -> [ByteString] -> Doc ann #
PrettyBy ConstConfig Data Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> Data -> Doc ann # prettyListBy :: ConstConfig -> [Data] -> Doc ann #
PrettyDefaultBy config a => PrettyBy config (PrettyCommon a)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> PrettyCommon a -> Doc ann # prettyListBy :: config -> [PrettyCommon a] -> Doc ann #
PrettyDefaultBy config [a] => PrettyBy config [a]
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> [a] -> Doc ann # prettyListBy :: config -> [[a]] -> Doc ann #
PrettyDefaultBy config (NonEmpty a) => PrettyBy config (NonEmpty a)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> NonEmpty a -> Doc ann # prettyListBy :: config -> [NonEmpty a] -> Doc ann #
PrettyDefaultBy config (Maybe a) => PrettyBy config (Maybe a)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Maybe a -> Doc ann # prettyListBy :: config -> [Maybe a] -> Doc ann #
Pretty a => PrettyBy config (IgnorePrettyConfig a)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> IgnorePrettyConfig a -> Doc ann # prettyListBy :: config -> [IgnorePrettyConfig a] -> Doc ann #
PrettyDefaultBy config (Identity a) => PrettyBy config (Identity a)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Identity a -> Doc ann # prettyListBy :: config -> [Identity a] -> Doc ann #
PrettyBy config a => PrettyBy config (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods prettyBy :: config -> EvaluationResult a -> Doc ann # prettyListBy :: config -> [EvaluationResult a] -> Doc ann #
PrettyBy config a => PrettyBy config (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type Methods prettyBy :: config -> Normalized a -> Doc ann # prettyListBy :: config -> [Normalized a] -> Doc ann #
(HasPrettyDefaults config ~ 'True, Pretty fun) => PrettyBy config (MachineError fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods prettyBy :: config -> MachineError fun -> Doc ann # prettyListBy :: config -> [MachineError fun] -> Doc ann #
(Show fun, Ord fun) => PrettyBy config (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods prettyBy :: config -> TallyingSt fun -> Doc ann # prettyListBy :: config -> [TallyingSt fun] -> Doc ann #
(Show fun, Ord fun) => PrettyBy config (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods prettyBy :: config -> CekExTally fun -> Doc ann # prettyListBy :: config -> [CekExTally fun] -> Doc ann #
DefaultPrettyPlcStrategy a => PrettyBy PrettyConfigPlc (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> PrettyAny a -> Doc ann # prettyListBy :: PrettyConfigPlc -> [PrettyAny a] -> Doc ann #
DefaultPrettyPlcStrategy (Kind ann) => PrettyBy PrettyConfigPlc (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Kind ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Kind ann] -> Doc ann0 #
DefaultPrettyPlcStrategy a => PrettyBy PrettyConfigPlcStrategy (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods prettyBy :: PrettyConfigPlcStrategy -> PrettyAny a -> Doc ann # prettyListBy :: PrettyConfigPlcStrategy -> [PrettyAny a] -> Doc ann #
DefaultPrettyBy ConstConfig (PrettyAny a) => PrettyBy ConstConfig (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> PrettyAny a -> Doc ann # prettyListBy :: ConstConfig -> [PrettyAny a] -> Doc ann #
PrettyDefaultBy config (Either a b) => PrettyBy config (Either a b) Source #	An instance extending the set of types supporting default pretty-printing with `Either`.
Instance details Defined in PlutusPrelude Methods prettyBy :: config -> Either a b -> Doc ann # prettyListBy :: config -> [Either a b] -> Doc ann #
PrettyDefaultBy config (a, b) => PrettyBy config (a, b)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> (a, b) -> Doc ann # prettyListBy :: config -> [(a, b)] -> Doc ann #
(PrettyBy config cause, PrettyBy config err) => PrettyBy config (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods prettyBy :: config -> ErrorWithCause err cause -> Doc ann # prettyListBy :: config -> [ErrorWithCause err cause] -> Doc ann #
(HasPrettyDefaults config ~ 'True, PrettyBy config internal, Pretty user) => PrettyBy config (EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods prettyBy :: config -> EvaluationError user internal -> Doc ann # prettyListBy :: config -> [EvaluationError user internal] -> Doc ann #
(Closed uni, GShow uni, Everywhere uni PrettyConst, Pretty fun) => PrettyBy PrettyConfigPlc (CkValue uni fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Ck Methods prettyBy :: PrettyConfigPlc -> CkValue uni fun -> Doc ann # prettyListBy :: PrettyConfigPlc -> [CkValue uni fun] -> Doc ann #
(Closed uni, GShow uni, Everywhere uni PrettyConst, Pretty fun) => PrettyBy PrettyConfigPlc (CekValue uni fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods prettyBy :: PrettyConfigPlc -> CekValue uni fun -> Doc ann # prettyListBy :: PrettyConfigPlc -> [CekValue uni fun] -> Doc ann #
PrettyUni uni ann => PrettyBy PrettyConfigPlc (TypeErrorExt uni ann) Source #
Instance details Defined in PlutusIR.Error Methods prettyBy :: PrettyConfigPlc -> TypeErrorExt uni ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [TypeErrorExt uni ann] -> Doc ann0 #
PrettyDefaultBy config (Const a b) => PrettyBy config (Const a b)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Const a b -> Doc ann # prettyListBy :: config -> [Const a b] -> Doc ann #
PrettyDefaultBy config (a, b, c) => PrettyBy config (a, b, c)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> (a, b, c) -> Doc ann # prettyListBy :: config -> [(a, b, c)] -> Doc ann #
DefaultPrettyPlcStrategy (Type tyname uni ann) => PrettyBy PrettyConfigPlc (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Type tyname uni ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Type tyname uni ann] -> Doc ann0 #
(GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: PrettyConfigPlc -> Error uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Error uni fun ann] -> Doc ann0 #
(GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (Error uni fun ann) Source #
Instance details Defined in PlutusIR.Error Methods prettyBy :: PrettyConfigPlc -> Error uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Error uni fun ann] -> Doc ann0 #
(GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty ann, Pretty fun, Pretty term) => PrettyBy PrettyConfigPlc (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: PrettyConfigPlc -> TypeError term uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [TypeError term uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (Program name uni fun ann) => PrettyBy PrettyConfigPlc (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Program name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Program name uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (Term name uni fun ann) => PrettyBy PrettyConfigPlc (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Term name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Term name uni fun ann] -> Doc ann0 #
(Pretty ann, PrettyBy config (Type tyname uni ann), PrettyBy config (Term tyname name uni fun ann)) => PrettyBy config (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: config -> NormCheckError tyname name uni fun ann -> Doc ann0 # prettyListBy :: config -> [NormCheckError tyname name uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (Program tyname name uni fun ann) => PrettyBy PrettyConfigPlc (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Program tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Program tyname name uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (Term tyname name uni fun ann) => PrettyBy PrettyConfigPlc (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Term tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Term tyname name uni fun ann] -> Doc ann0 #
PrettyBy (PrettyConfigClassic configName) Strictness Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods prettyBy :: PrettyConfigClassic configName -> Strictness -> Doc ann # prettyListBy :: PrettyConfigClassic configName -> [Strictness] -> Doc ann #
PrettyBy (PrettyConfigClassic configName) Recursivity Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods prettyBy :: PrettyConfigClassic configName -> Recursivity -> Doc ann # prettyListBy :: PrettyConfigClassic configName -> [Recursivity] -> Doc ann #
PrettyBy (PrettyConfigReadable configName) (Kind a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Kind a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Kind a] -> Doc ann #
Pretty ann => PrettyBy (PrettyConfigClassic configName) (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Kind ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Kind ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (TyVarDecl tyname ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods prettyBy :: PrettyConfigClassic configName -> TyVarDecl tyname ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [TyVarDecl tyname ann] -> Doc ann0 #
(PrettyReadableBy configName tyname, GShow uni) => PrettyBy (PrettyConfigReadable configName) (Type tyname uni a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Type tyname uni a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Type tyname uni a] -> Doc ann #
(PrettyClassicBy configName tyname, GShow uni, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Type tyname uni ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Type tyname uni ann] -> Doc ann0 #
PrettyReadableBy configName (Term name uni fun a) => PrettyBy (PrettyConfigReadable configName) (Program name uni fun a) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Program name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Program name uni fun a] -> Doc ann #
(PrettyReadableBy configName name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun) => PrettyBy (PrettyConfigReadable configName) (Term name uni fun a) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Term name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Term name uni fun a] -> Doc ann #
(PrettyClassicBy configName (Term name uni fun ann), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Program name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Program name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Term name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Term name uni fun ann] -> Doc ann0 #
PrettyReadableBy configName (Term tyname name uni fun a) => PrettyBy (PrettyConfigReadable configName) (Program tyname name uni fun a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Program tyname name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Program tyname name uni fun a] -> Doc ann #
(PrettyReadableBy configName tyname, PrettyReadableBy configName name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun) => PrettyBy (PrettyConfigReadable configName) (Term tyname name uni fun a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Term tyname name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Term tyname name uni fun a] -> Doc ann #
(PrettyClassicBy configName (Term tyname name uni fun ann), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Program tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Program tyname name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Term tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Term tyname name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods prettyBy :: PrettyConfigClassic configName -> Program tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Program tyname name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods prettyBy :: PrettyConfigClassic configName -> Term tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Term tyname name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Binding tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods prettyBy :: PrettyConfigClassic configName -> Binding tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Binding tyname name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, GShow uni, Everywhere uni PrettyConst, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Datatype tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods prettyBy :: PrettyConfigClassic configName -> Datatype tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Datatype tyname name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, GShow uni, Everywhere uni PrettyConst, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (VarDecl tyname name uni fun ann) Source #
Instance details Defined in PlutusIR.Core.Instance.Pretty Methods prettyBy :: PrettyConfigClassic configName -> VarDecl tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [VarDecl tyname name uni fun ann] -> Doc ann0 #

type family HasPrettyDefaults config :: Bool #

Instances

Instances details

type HasPrettyDefaults ()
Instance details Defined in Text.PrettyBy.Internal type HasPrettyDefaults () = 'True
type HasPrettyDefaults PrettyConfigPlc Source #
Instance details Defined in PlutusCore.Pretty.Plc type HasPrettyDefaults PrettyConfigPlc = 'True
type HasPrettyDefaults ConstConfig Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst type HasPrettyDefaults ConstConfig = 'False
type HasPrettyDefaults (PrettyConfigReadable _1) Source #
Instance details Defined in PlutusCore.Pretty.Readable type HasPrettyDefaults (PrettyConfigReadable _1) = 'True
type HasPrettyDefaults (PrettyConfigClassic _1) Source #
Instance details Defined in PlutusCore.Pretty.Classic type HasPrettyDefaults (PrettyConfigClassic _1) = 'True

type PrettyDefaultBy config = DispatchPrettyDefaultBy (NonStuckHasPrettyDefaults config) config #

newtype PrettyAny a #

Constructors

PrettyAny
Fields unPrettyAny :: a

Instances

Instances details

DefaultPrettyPlcStrategy a => PrettyBy PrettyConfigPlc (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> PrettyAny a -> Doc ann # prettyListBy :: PrettyConfigPlc -> [PrettyAny a] -> Doc ann #
DefaultPrettyPlcStrategy a => PrettyBy PrettyConfigPlcStrategy (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods prettyBy :: PrettyConfigPlcStrategy -> PrettyAny a -> Doc ann # prettyListBy :: PrettyConfigPlcStrategy -> [PrettyAny a] -> Doc ann #
DefaultPrettyBy ConstConfig (PrettyAny a) => PrettyBy ConstConfig (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> PrettyAny a -> Doc ann # prettyListBy :: ConstConfig -> [PrettyAny a] -> Doc ann #
Show a => DefaultPrettyBy ConstConfig (PrettyAny a)
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods defaultPrettyBy :: ConstConfig -> PrettyAny a -> Doc ann defaultPrettyListBy :: ConstConfig -> [PrettyAny a] -> Doc ann
DefaultPrettyBy ConstConfig (PrettyAny a) => NonDefaultPrettyBy ConstConfig (PrettyAny a)
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods nonDefaultPrettyBy :: ConstConfig -> PrettyAny a -> Doc ann nonDefaultPrettyListBy :: ConstConfig -> [PrettyAny a] -> Doc ann

class Render str where #

Methods

render :: Doc ann -> str #

Instances

Instances details

Render Text
Instance details Defined in Text.PrettyBy.Default Methods render :: Doc ann -> Text #
Render Text
Instance details Defined in Text.PrettyBy.Default Methods render :: Doc ann -> Text #
a ~ Char => Render [a]
Instance details Defined in Text.PrettyBy.Default Methods render :: Doc ann -> [a] #

display :: forall str a. (Pretty a, Render str) => a -> str #

GHCi

printPretty :: Pretty a => a -> IO () Source #

A command suitable for use in GHCi as an interactive printer.

Text

showText :: Show a => a -> Text Source #

Orphan instances

PrettyDefaultBy config (Either a b) => PrettyBy config (Either a b) Source #	An instance extending the set of types supporting default pretty-printing with `Either`.
Instance details Methods prettyBy :: config -> Either a b -> Doc ann # prettyListBy :: config -> [Either a b] -> Doc ann #
(PrettyBy config a, PrettyBy config b) => DefaultPrettyBy config (Either a b) Source #	Default pretty-printing for the spine of `Either` (elements are pretty-printed the way `PrettyBy config` constraints specify it).
Instance details Methods defaultPrettyBy :: config -> Either a b -> Doc ann defaultPrettyListBy :: config -> [Either a b] -> Doc ann
(Pretty a, Pretty b) => Pretty (Either a b) Source #
Instance details Methods pretty :: Either a b -> Doc ann # prettyList :: [Either a b] -> Doc ann #