atlas-cardano-0.6.3: Application backend for Plutus smart contracts on Cardano
Copyright(c) 2023 GYELD GMBH
LicenseApache 2.0
Maintainer[email protected]
Stabilitydevelop
Safe HaskellSafe-Inferred
LanguageGHC2021

GeniusYield.Imports

Description

 
Synopsis

Documentation

data Natural #

Natural number

Invariant: numbers <= 0xffffffffffffffff use the NS constructor

Instances

Instances details
FromJSON Natural 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSONKey Natural 
Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON Natural 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSONKey Natural 
Instance details

Defined in Data.Aeson.Types.ToJSON

Data Natural

Since: base-4.8.0.0

Instance details

Defined in Data.Data

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Natural → c Natural #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Natural #

toConstrNaturalConstr #

dataTypeOfNaturalDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Natural) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Natural) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → NaturalNatural #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Natural → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Natural → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Natural → [u] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → Natural → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → Natural → m Natural #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Natural → m Natural #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Natural → m Natural #

Bits Natural

Since: base-4.8.0

Instance details

Defined in GHC.Bits

Enum Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Enum

Ix Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Ix

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

Read Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Read

Integral Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Real

Real Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Real

Methods

toRationalNaturalRational #

Show Natural

Since: base-4.8.0.0

Instance details

Defined in GHC.Show

Methods

showsPrecIntNaturalShowS #

showNaturalString #

showList ∷ [Natural] → ShowS #

PrintfArg Natural

Since: base-4.8.0.0

Instance details

Defined in Text.Printf

Subtractive Natural 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Natural #

Methods

(-)NaturalNaturalDifference Natural #

FromCBOR Natural 
Instance details

Defined in Cardano.Binary.FromCBOR

ToCBOR Natural 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBORNaturalEncoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy NaturalSize #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Natural] → Size #

DecCBOR Natural 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

EncCBOR Natural 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBORNaturalEncoding #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy NaturalSize #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Natural] → Size #

FromField Natural

Accepts an unsigned decimal number. Ignores whitespace.

Since: cassava-0.5.1.0

Instance details

Defined in Data.Csv.Conversion

ToField Natural

Uses decimal encoding.

Since: cassava-0.5.1.0

Instance details

Defined in Data.Csv.Conversion

Methods

toFieldNaturalField #

NFData Natural

Since: deepseq-1.4.0.0

Instance details

Defined in Control.DeepSeq

Methods

rnfNatural → () #

Eq Natural 
Instance details

Defined in GHC.Num.Natural

Methods

(==)NaturalNaturalBool #

(/=)NaturalNaturalBool #

Ord Natural 
Instance details

Defined in GHC.Num.Natural

Methods

compareNaturalNaturalOrdering #

(<)NaturalNaturalBool #

(<=)NaturalNaturalBool #

(>)NaturalNaturalBool #

(>=)NaturalNaturalBool #

maxNaturalNaturalNatural #

minNaturalNaturalNatural #

Hashable Natural 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntNaturalInt #

hashNaturalInt #

FromFormKey Natural 
Instance details

Defined in Web.Internal.FormUrlEncoded

ToFormKey Natural 
Instance details

Defined in Web.Internal.FormUrlEncoded

Methods

toFormKeyNaturalText #

FromHttpApiData Natural 
Instance details

Defined in Web.Internal.HttpApiData

ToHttpApiData Natural 
Instance details

Defined in Web.Internal.HttpApiData

NoThunks Natural 
Instance details

Defined in NoThunks.Class

ToParamSchema Natural 
Instance details

Defined in Data.OpenApi.Internal.ParamSchema

ToSchema Natural 
Instance details

Defined in Data.OpenApi.Internal.Schema

Pretty Natural 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyNaturalDoc ann #

prettyList ∷ [Natural] → Doc ann #

UniformRange Natural 
Instance details

Defined in System.Random.Internal

Methods

uniformRMStatefulGen g m ⇒ (Natural, Natural) → g → m Natural #

Corecursive Natural 
Instance details

Defined in Data.Functor.Foldable

Methods

embedBase Natural NaturalNatural #

ana ∷ (a → Base Natural a) → a → Natural #

apo ∷ (a → Base Natural (Either Natural a)) → a → Natural #

postproRecursive Natural ⇒ (∀ b. Base Natural b → Base Natural b) → (a → Base Natural a) → a → Natural #

gpostpro ∷ (Recursive Natural, Monad m) ⇒ (∀ b. m (Base Natural b) → Base Natural (m b)) → (∀ c. Base Natural c → Base Natural c) → (a → Base Natural (m a)) → a → Natural #

Recursive Natural 
Instance details

Defined in Data.Functor.Foldable

Methods

projectNaturalBase Natural Natural #

cata ∷ (Base Natural a → a) → Natural → a #

para ∷ (Base Natural (Natural, a) → a) → Natural → a #

gpara ∷ (Corecursive Natural, Comonad w) ⇒ (∀ b. Base Natural (w b) → w (Base Natural b)) → (Base Natural (EnvT Natural w a) → a) → Natural → a #

preproCorecursive Natural ⇒ (∀ b. Base Natural b → Base Natural b) → (Base Natural a → a) → Natural → a #

gprepro ∷ (Corecursive Natural, Comonad w) ⇒ (∀ b. Base Natural (w b) → w (Base Natural b)) → (∀ c. Base Natural c → Base Natural c) → (Base Natural (w a) → a) → Natural → a #

ToParamSchema Natural 
Instance details

Defined in Data.Swagger.Internal.ParamSchema

Methods

toParamSchema ∷ ∀ (t ∷ SwaggerKind Type). Proxy NaturalParamSchema t #

ToSchema Natural 
Instance details

Defined in Data.Swagger.Internal.Schema

FromText Natural 
Instance details

Defined in Data.Text.Class

ToText Natural 
Instance details

Defined in Data.Text.Class

Methods

toTextNaturalText #

Pretty Natural 
Instance details

Defined in Text.PrettyPrint.Annotated.WL

Methods

prettyNaturalDoc b #

prettyList ∷ [Natural] → Doc b #

KnownNat n ⇒ HasResolution (n ∷ Nat)

For example, Fixed 1000 will give you a Fixed with a resolution of 1000.

Instance details

Defined in Data.Fixed

Methods

resolution ∷ p n → Integer #

TestCoercion SNat

Since: base-4.18.0.0

Instance details

Defined in GHC.TypeNats

Methods

testCoercion ∷ ∀ (a ∷ k) (b ∷ k). SNat a → SNat b → Maybe (Coercion a b) #

TestEquality SNat

Since: base-4.18.0.0

Instance details

Defined in GHC.TypeNats

Methods

testEquality ∷ ∀ (a ∷ k) (b ∷ k). SNat a → SNat b → Maybe (a :~: b) #

DefaultPrettyBy config Natural 
Instance details

Defined in Text.PrettyBy.Internal

Methods

defaultPrettyBy ∷ config → NaturalDoc ann #

defaultPrettyListBy ∷ config → [Natural] → Doc ann #

PrettyDefaultBy config NaturalPrettyBy config Natural
>>> prettyBy () (123 :: Natural)
123
Instance details

Defined in Text.PrettyBy.Internal

Methods

prettyBy ∷ config → NaturalDoc ann #

prettyListBy ∷ config → [Natural] → Doc ann #

GCompare SNat 
Instance details

Defined in Data.GADT.Internal

Methods

gcompare ∷ ∀ (a ∷ k) (b ∷ k). SNat a → SNat b → GOrdering a b #

GEq SNat 
Instance details

Defined in Data.GADT.Internal

Methods

geq ∷ ∀ (a ∷ k) (b ∷ k). SNat a → SNat b → Maybe (a :~: b) #

GShow SNat 
Instance details

Defined in Data.GADT.Internal

Methods

gshowsPrec ∷ ∀ (a ∷ k). IntSNat a → ShowS #

Lift Natural 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

liftQuote m ⇒ Natural → m Exp #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ NaturalCode m Natural #

KnownNat n ⇒ Reifies (n ∷ Nat) Integer 
Instance details

Defined in Data.Reflection

Methods

reflect ∷ proxy n → Integer #

NatVals ('[] ∷ [Nat]) 
Instance details

Defined in Cardano.Mnemonic

Methods

natValsProxy '[] → [Integer] #

Buildable (Range Natural) 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

buildRange NaturalBuilder #

Buildable (Range Natural) 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

buildRange NaturalBuilder #

(n ~ EntropySize mw, csz ~ CheckSumBits n, ConsistentEntropy n mw csz) ⇒ MkSomeMnemonic '[mw] 
Instance details

Defined in Cardano.Mnemonic

(n ~ EntropySize mw, csz ~ CheckSumBits n, ConsistentEntropy n mw csz, MkSomeMnemonic rest, NatVals rest) ⇒ MkSomeMnemonic (mw ': rest) 
Instance details

Defined in Cardano.Mnemonic

(KnownNat n, NatVals rest) ⇒ NatVals (n ': rest) 
Instance details

Defined in Cardano.Mnemonic

Methods

natValsProxy (n ': rest) → [Integer] #

type Difference Natural 
Instance details

Defined in Basement.Numerical.Subtractive

type IntBaseType Natural 
Instance details

Defined in Data.IntCast

type Base Natural 
Instance details

Defined in Data.Functor.Foldable

type Compare (a ∷ Natural) (b ∷ Natural) 
Instance details

Defined in Data.Type.Ord

type Compare (a ∷ Natural) (b ∷ Natural) = CmpNat a b

data Void #

Uninhabited data type

Since: base-4.8.0.0

Instances

Instances details
HasTrie Void 
Instance details

Defined in Data.MemoTrie

Associated Types

data (:->:) VoidTypeType #

Methods

trie ∷ (Void → b) → Void :->: b #

untrie ∷ (Void :->: b) → Void → b #

enumerate ∷ (Void :->: b) → [(Void, b)] #

FromJSON Void 
Instance details

Defined in Data.Aeson.Types.FromJSON

FromJSONKey Void

Since: aeson-2.1.2.0

Instance details

Defined in Data.Aeson.Types.FromJSON

ToJSON Void 
Instance details

Defined in Data.Aeson.Types.ToJSON

ToJSONKey Void

Since: aeson-2.1.2.0

Instance details

Defined in Data.Aeson.Types.ToJSON

Data Void

Since: base-4.8.0.0

Instance details

Defined in Data.Data

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Void → c Void #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Void #

toConstrVoidConstr #

dataTypeOfVoidDataType #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Void) #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Void) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → VoidVoid #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Void → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Void → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Void → [u] #

gmapQiInt → (∀ d. Data d ⇒ d → u) → Void → u #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → Void → m Void #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Void → m Void #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Void → m Void #

Semigroup Void

Since: base-4.9.0.0

Instance details

Defined in GHC.Base

Methods

(<>)VoidVoidVoid #

sconcatNonEmpty VoidVoid #

stimesIntegral b ⇒ b → VoidVoid #

Exception Void

Since: base-4.8.0.0

Instance details

Defined in GHC.Exception.Type

Generic Void 
Instance details

Defined in GHC.Generics

Associated Types

type Rep VoidTypeType #

Methods

fromVoidRep Void x #

toRep Void x → Void #

Ix Void

Since: base-4.8.0.0

Instance details

Defined in GHC.Ix

Methods

range ∷ (Void, Void) → [Void] #

index ∷ (Void, Void) → VoidInt #

unsafeIndex ∷ (Void, Void) → VoidInt #

inRange ∷ (Void, Void) → VoidBool #

rangeSize ∷ (Void, Void) → Int #

unsafeRangeSize ∷ (Void, Void) → Int #

Read Void

Reading a Void value is always a parse error, considering Void as a data type with no constructors.

Since: base-4.8.0.0

Instance details

Defined in GHC.Read

Show Void

Since: base-4.8.0.0

Instance details

Defined in GHC.Show

Methods

showsPrecIntVoidShowS #

showVoidString #

showList ∷ [Void] → ShowS #

FromCBOR Void 
Instance details

Defined in Cardano.Binary.FromCBOR

Methods

fromCBORDecoder s Void #

labelProxy VoidText #

ToCBOR Void 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBORVoidEncoding #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy VoidSize #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Void] → Size #

DecCBOR Void 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s Void #

dropCBORProxy VoidDecoder s () #

labelProxy VoidText #

EncCBOR Void 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBORVoidEncoding #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy VoidSize #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Void] → Size #

NFData Void

Defined as rnf = absurd.

Since: deepseq-1.4.0.0

Instance details

Defined in Control.DeepSeq

Methods

rnfVoid → () #

Eq Void

Since: base-4.8.0.0

Instance details

Defined in GHC.Base

Methods

(==)VoidVoidBool #

(/=)VoidVoidBool #

Ord Void

Since: base-4.8.0.0

Instance details

Defined in GHC.Base

Methods

compareVoidVoidOrdering #

(<)VoidVoidBool #

(<=)VoidVoidBool #

(>)VoidVoidBool #

(>=)VoidVoidBool #

maxVoidVoidVoid #

minVoidVoidVoid #

Hashable Void 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntVoidInt #

hashVoidInt #

FromFormKey Void 
Instance details

Defined in Web.Internal.FormUrlEncoded

ToFormKey Void 
Instance details

Defined in Web.Internal.FormUrlEncoded

Methods

toFormKeyVoidText #

FromHttpApiData Void

Parsing a Void value is always an error, considering Void as a data type with no constructors.

Instance details

Defined in Web.Internal.HttpApiData

ToHttpApiData Void 
Instance details

Defined in Web.Internal.HttpApiData

ShowErrorComponent Void 
Instance details

Defined in Text.Megaparsec.Error

NoThunks Void 
Instance details

Defined in NoThunks.Class

FromData Void 
Instance details

Defined in PlutusTx.IsData.Class

ToData Void 
Instance details

Defined in PlutusTx.IsData.Class

UnsafeFromData Void 
Instance details

Defined in PlutusTx.IsData.Class

Pretty Void

Finding a good example for printing something that does not exist is hard, so here is an example of printing a list full of nothing.

>>> pretty ([] :: [Void])
[]
Instance details

Defined in Prettyprinter.Internal

Methods

prettyVoidDoc ann #

prettyList ∷ [Void] → Doc ann #

Finite Void 
Instance details

Defined in System.Random.GFinite

Methods

cardinalityProxy# Void → Cardinality

toFiniteIntegerVoid

fromFiniteVoidInteger

DefaultPrettyBy config Void 
Instance details

Defined in Text.PrettyBy.Internal

Methods

defaultPrettyBy ∷ config → VoidDoc ann #

defaultPrettyListBy ∷ config → [Void] → Doc ann #

PrettyDefaultBy config VoidPrettyBy config Void
>>> prettyBy () ([] :: [Void])
[]
Instance details

Defined in Text.PrettyBy.Internal

Methods

prettyBy ∷ config → VoidDoc ann #

prettyListBy ∷ config → [Void] → Doc ann #

Lift Void

Since: template-haskell-2.15.0.0

Instance details

Defined in Language.Haskell.TH.Syntax

Methods

liftQuote m ⇒ Void → m Exp #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ VoidCode m Void #

FoldableWithIndex Void (ProxyTypeType) 
Instance details

Defined in WithIndex

Methods

ifoldMapMonoid m ⇒ (Void → a → m) → Proxy a → m #

ifoldMap'Monoid m ⇒ (Void → a → m) → Proxy a → m #

ifoldr ∷ (Void → a → b → b) → b → Proxy a → b #

ifoldl ∷ (Void → b → a → b) → b → Proxy a → b #

ifoldr' ∷ (Void → a → b → b) → b → Proxy a → b #

ifoldl' ∷ (Void → b → a → b) → b → Proxy a → b #

FoldableWithIndex Void (U1TypeType) 
Instance details

Defined in WithIndex

Methods

ifoldMapMonoid m ⇒ (Void → a → m) → U1 a → m #

ifoldMap'Monoid m ⇒ (Void → a → m) → U1 a → m #

ifoldr ∷ (Void → a → b → b) → b → U1 a → b #

ifoldl ∷ (Void → b → a → b) → b → U1 a → b #

ifoldr' ∷ (Void → a → b → b) → b → U1 a → b #

ifoldl' ∷ (Void → b → a → b) → b → U1 a → b #

FoldableWithIndex Void (V1TypeType) 
Instance details

Defined in WithIndex

Methods

ifoldMapMonoid m ⇒ (Void → a → m) → V1 a → m #

ifoldMap'Monoid m ⇒ (Void → a → m) → V1 a → m #

ifoldr ∷ (Void → a → b → b) → b → V1 a → b #

ifoldl ∷ (Void → b → a → b) → b → V1 a → b #

ifoldr' ∷ (Void → a → b → b) → b → V1 a → b #

ifoldl' ∷ (Void → b → a → b) → b → V1 a → b #

FunctorWithIndex Void (ProxyTypeType) 
Instance details

Defined in WithIndex

Methods

imap ∷ (Void → a → b) → Proxy a → Proxy b #

FunctorWithIndex Void (U1TypeType) 
Instance details

Defined in WithIndex

Methods

imap ∷ (Void → a → b) → U1 a → U1 b #

FunctorWithIndex Void (V1TypeType) 
Instance details

Defined in WithIndex

Methods

imap ∷ (Void → a → b) → V1 a → V1 b #

TraversableWithIndex Void (ProxyTypeType) 
Instance details

Defined in WithIndex

Methods

itraverseApplicative f ⇒ (Void → a → f b) → Proxy a → f (Proxy b) #

TraversableWithIndex Void (U1TypeType) 
Instance details

Defined in WithIndex

Methods

itraverseApplicative f ⇒ (Void → a → f b) → U1 a → f (U1 b) #

TraversableWithIndex Void (V1TypeType) 
Instance details

Defined in WithIndex

Methods

itraverseApplicative f ⇒ (Void → a → f b) → V1 a → f (V1 b) #

FilterableWithIndex Void (ProxyTypeType) 
Instance details

Defined in Witherable

Methods

imapMaybe ∷ (Void → a → Maybe b) → Proxy a → Proxy b #

ifilter ∷ (Void → a → Bool) → Proxy a → Proxy a #

WitherableWithIndex Void (ProxyTypeType) 
Instance details

Defined in Witherable

Methods

iwitherApplicative f ⇒ (Void → a → f (Maybe b)) → Proxy a → f (Proxy b) #

iwitherMMonad m ⇒ (Void → a → m (Maybe b)) → Proxy a → m (Proxy b) #

ifilterAApplicative f ⇒ (Void → a → f Bool) → Proxy a → f (Proxy a) #

FoldableWithIndex Void (Const e ∷ TypeType) 
Instance details

Defined in WithIndex

Methods

ifoldMapMonoid m ⇒ (Void → a → m) → Const e a → m #

ifoldMap'Monoid m ⇒ (Void → a → m) → Const e a → m #

ifoldr ∷ (Void → a → b → b) → b → Const e a → b #

ifoldl ∷ (Void → b → a → b) → b → Const e a → b #

ifoldr' ∷ (Void → a → b → b) → b → Const e a → b #

ifoldl' ∷ (Void → b → a → b) → b → Const e a → b #

FoldableWithIndex Void (Constant e ∷ TypeType) 
Instance details

Defined in WithIndex

Methods

ifoldMapMonoid m ⇒ (Void → a → m) → Constant e a → m #

ifoldMap'Monoid m ⇒ (Void → a → m) → Constant e a → m #

ifoldr ∷ (Void → a → b → b) → b → Constant e a → b #

ifoldl ∷ (Void → b → a → b) → b → Constant e a → b #

ifoldr' ∷ (Void → a → b → b) → b → Constant e a → b #

ifoldl' ∷ (Void → b → a → b) → b → Constant e a → b #

FunctorWithIndex Void (Const e ∷ TypeType) 
Instance details

Defined in WithIndex

Methods

imap ∷ (Void → a → b) → Const e a → Const e b #

FunctorWithIndex Void (Constant e ∷ TypeType) 
Instance details

Defined in WithIndex

Methods

imap ∷ (Void → a → b) → Constant e a → Constant e b #

TraversableWithIndex Void (Const e ∷ TypeType) 
Instance details

Defined in WithIndex

Methods

itraverseApplicative f ⇒ (Void → a → f b) → Const e a → f (Const e b) #

TraversableWithIndex Void (Constant e ∷ TypeType) 
Instance details

Defined in WithIndex

Methods

itraverseApplicative f ⇒ (Void → a → f b) → Constant e a → f (Constant e b) #

FoldableWithIndex Void (K1 i c ∷ TypeType) 
Instance details

Defined in WithIndex

Methods

ifoldMapMonoid m ⇒ (Void → a → m) → K1 i c a → m #

ifoldMap'Monoid m ⇒ (Void → a → m) → K1 i c a → m #

ifoldr ∷ (Void → a → b → b) → b → K1 i c a → b #

ifoldl ∷ (Void → b → a → b) → b → K1 i c a → b #

ifoldr' ∷ (Void → a → b → b) → b → K1 i c a → b #

ifoldl' ∷ (Void → b → a → b) → b → K1 i c a → b #

FunctorWithIndex Void (K1 i c ∷ TypeType) 
Instance details

Defined in WithIndex

Methods

imap ∷ (Void → a → b) → K1 i c a → K1 i c b #

TraversableWithIndex Void (K1 i c ∷ TypeType) 
Instance details

Defined in WithIndex

Methods

itraverseApplicative f ⇒ (Void → a → f b) → K1 i c a → f (K1 i c b) #

Newtype (Void :->: a) 
Instance details

Defined in Data.MemoTrie

Associated Types

type O (Void :->: a) #

Methods

packO (Void :->: a) → Void :->: a #

unpack ∷ (Void :->: a) → O (Void :->: a) #

data Void :->: a 
Instance details

Defined in Data.MemoTrie

data Void :->: a = VoidTrie
type Rep Void

Since: base-4.8.0.0

Instance details

Defined in GHC.Generics

type Rep Void = D1 ('MetaData "Void" "GHC.Base" "base" 'False) (V1TypeType)
type Code Void 
Instance details

Defined in Generics.SOP.Instances

type Code Void = '[] ∷ [[Type]]
type DatatypeInfoOf Void 
Instance details

Defined in Generics.SOP.Instances

type DatatypeInfoOf Void = 'ADT "GHC.Base" "Void" ('[] ∷ [ConstructorInfo]) ('[] ∷ [[StrictnessInfo]])
type O (Void :->: a) 
Instance details

Defined in Data.MemoTrie

type O (Void :->: a) = ()

type Type = TYPE LiftedRep #

The kind of types with lifted values. For example Int :: Type.

data CallStack #

CallStacks are a lightweight method of obtaining a partial call-stack at any point in the program.

A function can request its call-site with the HasCallStack constraint. For example, we can define

putStrLnWithCallStack :: HasCallStack => String -> IO ()

as a variant of putStrLn that will get its call-site and print it, along with the string given as argument. We can access the call-stack inside putStrLnWithCallStack with callStack.

>>> :{
putStrLnWithCallStack :: HasCallStack => String -> IO ()
putStrLnWithCallStack msg = do
  putStrLn msg
  putStrLn (prettyCallStack callStack)
:}

Thus, if we call putStrLnWithCallStack we will get a formatted call-stack alongside our string.

>>> putStrLnWithCallStack "hello"
hello
CallStack (from HasCallStack):
  putStrLnWithCallStack, called at <interactive>:... in interactive:Ghci...

GHC solves HasCallStack constraints in three steps:

  1. If there is a CallStack in scope -- i.e. the enclosing function has a HasCallStack constraint -- GHC will append the new call-site to the existing CallStack.
  2. If there is no CallStack in scope -- e.g. in the GHCi session above -- and the enclosing definition does not have an explicit type signature, GHC will infer a HasCallStack constraint for the enclosing definition (subject to the monomorphism restriction).
  3. If there is no CallStack in scope and the enclosing definition has an explicit type signature, GHC will solve the HasCallStack constraint for the singleton CallStack containing just the current call-site.

CallStacks do not interact with the RTS and do not require compilation with -prof. On the other hand, as they are built up explicitly via the HasCallStack constraints, they will generally not contain as much information as the simulated call-stacks maintained by the RTS.

A CallStack is a [(String, SrcLoc)]. The String is the name of function that was called, the SrcLoc is the call-site. The list is ordered with the most recently called function at the head.

NOTE: The intrepid user may notice that HasCallStack is just an alias for an implicit parameter ?callStack :: CallStack. This is an implementation detail and should not be considered part of the CallStack API, we may decide to change the implementation in the future.

Since: base-4.8.1.0

Instances

Instances details
IsList CallStack

Be aware that 'fromList . toList = id' only for unfrozen CallStacks, since toList removes frozenness information.

Since: base-4.9.0.0

Instance details

Defined in GHC.IsList

Associated Types

type Item CallStack #

Show CallStack

Since: base-4.9.0.0

Instance details

Defined in GHC.Show

Methods

showsPrecIntCallStackShowS #

showCallStackString #

showList ∷ [CallStack] → ShowS #

NFData CallStack

Since: deepseq-1.4.2.0

Instance details

Defined in Control.DeepSeq

Methods

rnfCallStack → () #

NoThunks CallStack

Since CallStacks can't retain application data, we don't want to check them for thunks at all

Instance details

Defined in NoThunks.Class

type Item CallStack 
Instance details

Defined in GHC.IsList

type Code CallStack 
Instance details

Defined in Generics.SOP.Instances

type Code CallStack = '['[] ∷ [Type], '[[Char], SrcLoc, CallStack], '[CallStack]]
type DatatypeInfoOf CallStack 
Instance details

Defined in Generics.SOP.Instances

class Generic a #

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

A Generic instance must satisfy the following laws:

from . toid
to . fromid

Minimal complete definition

from, to

Instances

Instances details
Generic CabalSpecVersion 
Instance details

Defined in Distribution.CabalSpecVersion

Associated Types

type Rep CabalSpecVersionTypeType #

Generic PError 
Instance details

Defined in Distribution.Parsec.Error

Associated Types

type Rep PErrorTypeType #

Methods

fromPErrorRep PError x #

toRep PError x → PError #

Generic Position 
Instance details

Defined in Distribution.Parsec.Position

Associated Types

type Rep PositionTypeType #

Methods

fromPositionRep Position x #

toRep Position x → Position #

Generic PWarnType 
Instance details

Defined in Distribution.Parsec.Warning

Associated Types

type Rep PWarnTypeTypeType #

Methods

fromPWarnTypeRep PWarnType x #

toRep PWarnType x → PWarnType #

Generic PWarning 
Instance details

Defined in Distribution.Parsec.Warning

Associated Types

type Rep PWarningTypeType #

Methods

fromPWarningRep PWarning x #

toRep PWarning x → PWarning #

Generic Arch 
Instance details

Defined in Distribution.System

Associated Types

type Rep ArchTypeType #

Methods

fromArchRep Arch x #

toRep Arch x → Arch #

Generic OS 
Instance details

Defined in Distribution.System

Associated Types

type Rep OSTypeType #

Methods

fromOSRep OS x #

toRep OS x → OS #

Generic Platform 
Instance details

Defined in Distribution.System

Associated Types

type Rep PlatformTypeType #

Methods

fromPlatformRep Platform x #

toRep Platform x → Platform #

Generic Structure 
Instance details

Defined in Distribution.Utils.Structured

Associated Types

type Rep StructureTypeType #

Methods

fromStructureRep Structure x #

toRep Structure x → Structure #

Generic Value 
Instance details

Defined in Data.Aeson.Types.Internal

Associated Types

type Rep ValueTypeType #

Methods

fromValueRep Value x #

toRep Value x → Value #

Generic AdjacencyIntMap 
Instance details

Defined in Algebra.Graph.AdjacencyIntMap

Associated Types

type Rep AdjacencyIntMapTypeType #

Generic GYAddress # 
Instance details

Defined in GeniusYield.Types.Address

Associated Types

type Rep GYAddressTypeType #

Methods

fromGYAddressRep GYAddress x #

toRep GYAddress x → GYAddress #

Generic GYStakeAddress # 
Instance details

Defined in GeniusYield.Types.Address

Associated Types

type Rep GYStakeAddressTypeType #

Generic ContractBlueprint # 
Instance details

Defined in GeniusYield.Types.Blueprint.Contract

Associated Types

type Rep ContractBlueprintTypeType #

Generic ParameterBlueprint # 
Instance details

Defined in GeniusYield.Types.Blueprint.Parameter

Associated Types

type Rep ParameterBlueprintTypeType #

Generic Purpose # 
Instance details

Defined in GeniusYield.Types.Blueprint.Purpose

Associated Types

type Rep PurposeTypeType #

Methods

fromPurposeRep Purpose x #

toRep Purpose x → Purpose #

Generic ConstructorSchema # 
Instance details

Defined in GeniusYield.Types.Blueprint.Schema

Associated Types

type Rep ConstructorSchemaTypeType #

Generic IntegerSchema # 
Instance details

Defined in GeniusYield.Types.Blueprint.Schema

Associated Types

type Rep IntegerSchemaTypeType #

Generic MapSchema # 
Instance details

Defined in GeniusYield.Types.Blueprint.Schema

Associated Types

type Rep MapSchemaTypeType #

Methods

fromMapSchemaRep MapSchema x #

toRep MapSchema x → MapSchema #

Generic PairSchema # 
Instance details

Defined in GeniusYield.Types.Blueprint.Schema

Associated Types

type Rep PairSchemaTypeType #

Generic GYNatural # 
Instance details

Defined in GeniusYield.Types.Natural

Associated Types

type Rep GYNaturalTypeType #

Methods

fromGYNaturalRep GYNatural x #

toRep GYNatural x → GYNatural #

Generic GYNetworkInfo # 
Instance details

Defined in GeniusYield.Types.NetworkId

Associated Types

type Rep GYNetworkInfoTypeType #

Generic GYRational # 
Instance details

Defined in GeniusYield.Types.Rational

Associated Types

type Rep GYRationalTypeType #

Generic GYAssetClass # 
Instance details

Defined in GeniusYield.Types.Value

Associated Types

type Rep GYAssetClassTypeType #

Generic All 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep AllTypeType #

Methods

fromAllRep All x #

toRep All x → All #

Generic Any 
Instance details

Defined in Data.Semigroup.Internal

Associated Types

type Rep AnyTypeType #

Methods

fromAnyRep Any x #

toRep Any x → Any #

Generic Version 
Instance details

Defined in Data.Version

Associated Types

type Rep VersionTypeType #

Methods

fromVersionRep Version x #

toRep Version x → Version #

Generic Void 
Instance details

Defined in GHC.Generics

Associated Types

type Rep VoidTypeType #

Methods

fromVoidRep Void x #

toRep Void x → Void #

Generic ByteOrder 
Instance details

Defined in GHC.ByteOrder

Associated Types

type Rep ByteOrderTypeType #

Methods

fromByteOrderRep ByteOrder x #

toRep ByteOrder x → ByteOrder #

Generic Fingerprint 
Instance details

Defined in GHC.Generics

Associated Types

type Rep FingerprintTypeType #

Generic Associativity 
Instance details

Defined in GHC.Generics

Associated Types

type Rep AssociativityTypeType #

Generic DecidedStrictness 
Instance details

Defined in GHC.Generics

Associated Types

type Rep DecidedStrictnessTypeType #

Generic Fixity 
Instance details

Defined in GHC.Generics

Associated Types

type Rep FixityTypeType #

Methods

fromFixityRep Fixity x #

toRep Fixity x → Fixity #

Generic SourceStrictness 
Instance details

Defined in GHC.Generics

Associated Types

type Rep SourceStrictnessTypeType #

Generic SourceUnpackedness 
Instance details

Defined in GHC.Generics

Associated Types

type Rep SourceUnpackednessTypeType #

Generic ExitCode 
Instance details

Defined in GHC.IO.Exception

Associated Types

type Rep ExitCodeTypeType #

Methods

fromExitCodeRep ExitCode x #

toRep ExitCode x → ExitCode #

Generic CCFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep CCFlagsTypeType #

Methods

fromCCFlagsRep CCFlags x #

toRep CCFlags x → CCFlags #

Generic ConcFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep ConcFlagsTypeType #

Methods

fromConcFlagsRep ConcFlags x #

toRep ConcFlags x → ConcFlags #

Generic DebugFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep DebugFlagsTypeType #

Generic DoCostCentres 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep DoCostCentresTypeType #

Generic DoHeapProfile 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep DoHeapProfileTypeType #

Generic DoTrace 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep DoTraceTypeType #

Methods

fromDoTraceRep DoTrace x #

toRep DoTrace x → DoTrace #

Generic GCFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep GCFlagsTypeType #

Methods

fromGCFlagsRep GCFlags x #

toRep GCFlags x → GCFlags #

Generic GiveGCStats 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep GiveGCStatsTypeType #

Generic MiscFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep MiscFlagsTypeType #

Methods

fromMiscFlagsRep MiscFlags x #

toRep MiscFlags x → MiscFlags #

Generic ParFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep ParFlagsTypeType #

Methods

fromParFlagsRep ParFlags x #

toRep ParFlags x → ParFlags #

Generic ProfFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep ProfFlagsTypeType #

Methods

fromProfFlagsRep ProfFlags x #

toRep ProfFlags x → ProfFlags #

Generic RTSFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep RTSFlagsTypeType #

Methods

fromRTSFlagsRep RTSFlags x #

toRep RTSFlags x → RTSFlags #

Generic TickyFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep TickyFlagsTypeType #

Generic TraceFlags 
Instance details

Defined in GHC.RTS.Flags

Associated Types

type Rep TraceFlagsTypeType #

Generic SrcLoc 
Instance details

Defined in GHC.Generics

Associated Types

type Rep SrcLocTypeType #

Methods

fromSrcLocRep SrcLoc x #

toRep SrcLoc x → SrcLoc #

Generic GCDetails 
Instance details

Defined in GHC.Stats

Associated Types

type Rep GCDetailsTypeType #

Methods

fromGCDetailsRep GCDetails x #

toRep GCDetails x → GCDetails #

Generic RTSStats 
Instance details

Defined in GHC.Stats

Associated Types

type Rep RTSStatsTypeType #

Methods

fromRTSStatsRep RTSStats x #

toRep RTSStats x → RTSStats #

Generic GeneralCategory 
Instance details

Defined in GHC.Generics

Associated Types

type Rep GeneralCategoryTypeType #

Generic Alphabet 
Instance details

Defined in Data.ByteString.Base58.Internal

Associated Types

type Rep AlphabetTypeType #

Methods

fromAlphabetRep Alphabet x #

toRep Alphabet x → Alphabet #

Generic ByteString64 
Instance details

Defined in Data.ByteString.Base64.Type

Associated Types

type Rep ByteString64TypeType #

Generic Project 
Instance details

Defined in Blockfrost.Auth

Associated Types

type Rep ProjectTypeType #

Methods

fromProjectRep Project x #

toRep Project x → Project #

Generic Env 
Instance details

Defined in Blockfrost.Env

Associated Types

type Rep EnvTypeType #

Methods

fromEnvRep Env x #

toRep Env x → Env #

Generic ApiError 
Instance details

Defined in Blockfrost.Types.ApiError

Associated Types

type Rep ApiErrorTypeType #

Methods

fromApiErrorRep ApiError x #

toRep ApiError x → ApiError #

Generic AccountDelegation 
Instance details

Defined in Blockfrost.Types.Cardano.Accounts

Associated Types

type Rep AccountDelegationTypeType #

Generic AccountHistory 
Instance details

Defined in Blockfrost.Types.Cardano.Accounts

Associated Types

type Rep AccountHistoryTypeType #

Generic AccountInfo 
Instance details

Defined in Blockfrost.Types.Cardano.Accounts

Associated Types

type Rep AccountInfoTypeType #

Generic AccountMir 
Instance details

Defined in Blockfrost.Types.Cardano.Accounts

Associated Types

type Rep AccountMirTypeType #

Generic AccountRegistration 
Instance details

Defined in Blockfrost.Types.Cardano.Accounts

Associated Types

type Rep AccountRegistrationTypeType #

Generic AccountRegistrationAction 
Instance details

Defined in Blockfrost.Types.Cardano.Accounts

Associated Types

type Rep AccountRegistrationActionTypeType #

Generic AccountReward 
Instance details

Defined in Blockfrost.Types.Cardano.Accounts

Associated Types

type Rep AccountRewardTypeType #

Generic AccountWithdrawal 
Instance details

Defined in Blockfrost.Types.Cardano.Accounts

Associated Types

type Rep AccountWithdrawalTypeType #

Generic AddressAssociated 
Instance details

Defined in Blockfrost.Types.Cardano.Accounts

Associated Types

type Rep AddressAssociatedTypeType #

Generic AddressAssociatedTotal 
Instance details

Defined in Blockfrost.Types.Cardano.Accounts

Associated Types

type Rep AddressAssociatedTotalTypeType #

Generic RewardType 
Instance details

Defined in Blockfrost.Types.Cardano.Accounts

Associated Types

type Rep RewardTypeTypeType #

Generic AddressDetails 
Instance details

Defined in Blockfrost.Types.Cardano.Addresses

Associated Types

type Rep AddressDetailsTypeType #

Generic AddressInfo 
Instance details

Defined in Blockfrost.Types.Cardano.Addresses

Associated Types

type Rep AddressInfoTypeType #

Generic AddressInfoExtended 
Instance details

Defined in Blockfrost.Types.Cardano.Addresses

Associated Types

type Rep AddressInfoExtendedTypeType #

Generic AddressTransaction 
Instance details

Defined in Blockfrost.Types.Cardano.Addresses

Associated Types

type Rep AddressTransactionTypeType #

Generic AddressType 
Instance details

Defined in Blockfrost.Types.Cardano.Addresses

Associated Types

type Rep AddressTypeTypeType #

Generic AddressUtxo 
Instance details

Defined in Blockfrost.Types.Cardano.Addresses

Associated Types

type Rep AddressUtxoTypeType #

Generic AssetAction 
Instance details

Defined in Blockfrost.Types.Cardano.Assets

Associated Types

type Rep AssetActionTypeType #

Generic AssetAddress 
Instance details

Defined in Blockfrost.Types.Cardano.Assets

Associated Types

type Rep AssetAddressTypeType #

Generic AssetDetails 
Instance details

Defined in Blockfrost.Types.Cardano.Assets

Associated Types

type Rep AssetDetailsTypeType #

Generic AssetHistory 
Instance details

Defined in Blockfrost.Types.Cardano.Assets

Associated Types

type Rep AssetHistoryTypeType #

Generic AssetInfo 
Instance details

Defined in Blockfrost.Types.Cardano.Assets

Associated Types

type Rep AssetInfoTypeType #

Methods

fromAssetInfoRep AssetInfo x #

toRep AssetInfo x → AssetInfo #

Generic AssetMetadata 
Instance details

Defined in Blockfrost.Types.Cardano.Assets

Associated Types

type Rep AssetMetadataTypeType #

Generic AssetOnChainMetadata 
Instance details

Defined in Blockfrost.Types.Cardano.Assets

Associated Types

type Rep AssetOnChainMetadataTypeType #

Generic AssetTransaction 
Instance details

Defined in Blockfrost.Types.Cardano.Assets

Associated Types

type Rep AssetTransactionTypeType #

Generic MetadataMediaFile 
Instance details

Defined in Blockfrost.Types.Cardano.Assets

Associated Types

type Rep MetadataMediaFileTypeType #

Generic Block 
Instance details

Defined in Blockfrost.Types.Cardano.Blocks

Associated Types

type Rep BlockTypeType #

Methods

fromBlockRep Block x #

toRep Block x → Block #

Generic CostModels 
Instance details

Defined in Blockfrost.Types.Cardano.Epochs

Associated Types

type Rep CostModelsTypeType #

Generic CostModelsRaw 
Instance details

Defined in Blockfrost.Types.Cardano.Epochs

Associated Types

type Rep CostModelsRawTypeType #

Generic EpochInfo 
Instance details

Defined in Blockfrost.Types.Cardano.Epochs

Associated Types

type Rep EpochInfoTypeType #

Methods

fromEpochInfoRep EpochInfo x #

toRep EpochInfo x → EpochInfo #

Generic PoolStakeDistribution 
Instance details

Defined in Blockfrost.Types.Cardano.Epochs

Associated Types

type Rep PoolStakeDistributionTypeType #

Generic ProtocolParams 
Instance details

Defined in Blockfrost.Types.Cardano.Epochs

Associated Types

type Rep ProtocolParamsTypeType #

Generic StakeDistribution 
Instance details

Defined in Blockfrost.Types.Cardano.Epochs

Associated Types

type Rep StakeDistributionTypeType #

Generic Genesis 
Instance details

Defined in Blockfrost.Types.Cardano.Genesis

Associated Types

type Rep GenesisTypeType #

Methods

fromGenesisRep Genesis x #

toRep Genesis x → Genesis #

Generic TxMeta 
Instance details

Defined in Blockfrost.Types.Cardano.Metadata

Associated Types

type Rep TxMetaTypeType #

Methods

fromTxMetaRep TxMeta x #

toRep TxMeta x → TxMeta #

Generic TxMetaCBOR 
Instance details

Defined in Blockfrost.Types.Cardano.Metadata

Associated Types

type Rep TxMetaCBORTypeType #

Generic TxMetaJSON 
Instance details

Defined in Blockfrost.Types.Cardano.Metadata

Associated Types

type Rep TxMetaJSONTypeType #

Generic Network 
Instance details

Defined in Blockfrost.Types.Cardano.Network

Associated Types

type Rep NetworkTypeType #

Methods

fromNetworkRep Network x #

toRep Network x → Network #

Generic NetworkEraBound 
Instance details

Defined in Blockfrost.Types.Cardano.Network

Associated Types

type Rep NetworkEraBoundTypeType #

Generic NetworkEraParameters 
Instance details

Defined in Blockfrost.Types.Cardano.Network

Associated Types

type Rep NetworkEraParametersTypeType #

Generic NetworkEraSummary 
Instance details

Defined in Blockfrost.Types.Cardano.Network

Associated Types

type Rep NetworkEraSummaryTypeType #

Generic NetworkStake 
Instance details

Defined in Blockfrost.Types.Cardano.Network

Associated Types

type Rep NetworkStakeTypeType #

Generic NetworkSupply 
Instance details

Defined in Blockfrost.Types.Cardano.Network

Associated Types

type Rep NetworkSupplyTypeType #

Generic Pool 
Instance details

Defined in Blockfrost.Types.Cardano.Pools

Associated Types

type Rep PoolTypeType #

Methods

fromPoolRep Pool x #

toRep Pool x → Pool #

Generic PoolDelegator 
Instance details

Defined in Blockfrost.Types.Cardano.Pools

Associated Types

type Rep PoolDelegatorTypeType #

Generic PoolEpoch 
Instance details

Defined in Blockfrost.Types.Cardano.Pools

Associated Types

type Rep PoolEpochTypeType #

Methods

fromPoolEpochRep PoolEpoch x #

toRep PoolEpoch x → PoolEpoch #

Generic PoolHistory 
Instance details

Defined in Blockfrost.Types.Cardano.Pools

Associated Types

type Rep PoolHistoryTypeType #

Generic PoolInfo 
Instance details

Defined in Blockfrost.Types.Cardano.Pools

Associated Types

type Rep PoolInfoTypeType #

Methods

fromPoolInfoRep PoolInfo x #

toRep PoolInfo x → PoolInfo #

Generic PoolMetadata 
Instance details

Defined in Blockfrost.Types.Cardano.Pools

Associated Types

type Rep PoolMetadataTypeType #

Generic PoolRegistrationAction 
Instance details

Defined in Blockfrost.Types.Cardano.Pools

Associated Types

type Rep PoolRegistrationActionTypeType #

Generic PoolRelay 
Instance details

Defined in Blockfrost.Types.Cardano.Pools

Associated Types

type Rep PoolRelayTypeType #

Methods

fromPoolRelayRep PoolRelay x #

toRep PoolRelay x → PoolRelay #

Generic PoolUpdate 
Instance details

Defined in Blockfrost.Types.Cardano.Pools

Associated Types

type Rep PoolUpdateTypeType #

Generic InlineDatum 
Instance details

Defined in Blockfrost.Types.Cardano.Scripts

Associated Types

type Rep InlineDatumTypeType #

Generic Script 
Instance details

Defined in Blockfrost.Types.Cardano.Scripts

Associated Types

type Rep ScriptTypeType #

Methods

fromScriptRep Script x #

toRep Script x → Script #

Generic ScriptCBOR 
Instance details

Defined in Blockfrost.Types.Cardano.Scripts

Associated Types

type Rep ScriptCBORTypeType #

Generic ScriptDatum 
Instance details

Defined in Blockfrost.Types.Cardano.Scripts

Associated Types

type Rep ScriptDatumTypeType #

Generic ScriptDatumCBOR 
Instance details

Defined in Blockfrost.Types.Cardano.Scripts

Associated Types

type Rep ScriptDatumCBORTypeType #

Generic ScriptJSON 
Instance details

Defined in Blockfrost.Types.Cardano.Scripts

Associated Types

type Rep ScriptJSONTypeType #

Generic ScriptRedeemer 
Instance details

Defined in Blockfrost.Types.Cardano.Scripts

Associated Types

type Rep ScriptRedeemerTypeType #

Generic ScriptType 
Instance details

Defined in Blockfrost.Types.Cardano.Scripts

Associated Types

type Rep ScriptTypeTypeType #

Generic PoolUpdateMetadata 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep PoolUpdateMetadataTypeType #

Generic Pot 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep PotTypeType #

Methods

fromPotRep Pot x #

toRep Pot x → Pot #

Generic Transaction 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep TransactionTypeType #

Generic TransactionDelegation 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep TransactionDelegationTypeType #

Generic TransactionMetaCBOR 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep TransactionMetaCBORTypeType #

Generic TransactionMetaJSON 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep TransactionMetaJSONTypeType #

Generic TransactionMir 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep TransactionMirTypeType #

Generic TransactionPoolRetiring 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep TransactionPoolRetiringTypeType #

Generic TransactionPoolUpdate 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep TransactionPoolUpdateTypeType #

Generic TransactionRedeemer 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep TransactionRedeemerTypeType #

Generic TransactionStake 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep TransactionStakeTypeType #

Generic TransactionUtxos 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep TransactionUtxosTypeType #

Generic TransactionWithdrawal 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep TransactionWithdrawalTypeType #

Generic UtxoInput 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep UtxoInputTypeType #

Methods

fromUtxoInputRep UtxoInput x #

toRep UtxoInput x → UtxoInput #

Generic UtxoOutput 
Instance details

Defined in Blockfrost.Types.Cardano.Transactions

Associated Types

type Rep UtxoOutputTypeType #

Generic DerivedAddress 
Instance details

Defined in Blockfrost.Types.Cardano.Utils

Associated Types

type Rep DerivedAddressTypeType #

Generic TxEval 
Instance details

Defined in Blockfrost.Types.Cardano.Utils

Associated Types

type Rep TxEvalTypeType #

Methods

fromTxEvalRep TxEval x #

toRep TxEval x → TxEval #

Generic TxEvalBudget 
Instance details

Defined in Blockfrost.Types.Cardano.Utils

Associated Types

type Rep TxEvalBudgetTypeType #

Generic TxEvalFailure 
Instance details

Defined in Blockfrost.Types.Cardano.Utils

Associated Types

type Rep TxEvalFailure ∷ TypeType #

Methods

from ∷ TxEvalFailure → Rep TxEvalFailure x #

toRep TxEvalFailure x → TxEvalFailure #

Generic TxEvalInput 
Instance details

Defined in Blockfrost.Types.Cardano.Utils

Associated Types

type Rep TxEvalInputTypeType #

Generic TxEvalValidator 
Instance details

Defined in Blockfrost.Types.Cardano.Utils

Associated Types

type Rep TxEvalValidatorTypeType #

Generic Healthy 
Instance details

Defined in Blockfrost.Types.Common

Associated Types

type Rep HealthyTypeType #

Methods

fromHealthyRep Healthy x #

toRep Healthy x → Healthy #

Generic Metric 
Instance details

Defined in Blockfrost.Types.Common

Associated Types

type Rep MetricTypeType #

Methods

fromMetricRep Metric x #

toRep Metric x → Metric #

Generic ServerTime 
Instance details

Defined in Blockfrost.Types.Common

Associated Types

type Rep ServerTimeTypeType #

Generic URLVersion 
Instance details

Defined in Blockfrost.Types.Common

Associated Types

type Rep URLVersionTypeType #

Generic IPFSAdd 
Instance details

Defined in Blockfrost.Types.IPFS

Associated Types

type Rep IPFSAddTypeType #

Methods

fromIPFSAddRep IPFSAdd x #

toRep IPFSAdd x → IPFSAdd #

Generic IPFSData 
Instance details

Defined in Blockfrost.Types.IPFS

Associated Types

type Rep IPFSDataTypeType #

Methods

fromIPFSDataRep IPFSData x #

toRep IPFSData x → IPFSData #

Generic IPFSPin 
Instance details

Defined in Blockfrost.Types.IPFS

Associated Types

type Rep IPFSPinTypeType #

Methods

fromIPFSPinRep IPFSPin x #

toRep IPFSPin x → IPFSPin #

Generic IPFSPinChange 
Instance details

Defined in Blockfrost.Types.IPFS

Associated Types

type Rep IPFSPinChangeTypeType #

Generic PinState 
Instance details

Defined in Blockfrost.Types.IPFS

Associated Types

type Rep PinStateTypeType #

Methods

fromPinStateRep PinState x #

toRep PinState x → PinState #

Generic NutlinkAddress 
Instance details

Defined in Blockfrost.Types.NutLink

Associated Types

type Rep NutlinkAddressTypeType #

Generic NutlinkAddressTicker 
Instance details

Defined in Blockfrost.Types.NutLink

Associated Types

type Rep NutlinkAddressTickerTypeType #

Generic NutlinkTicker 
Instance details

Defined in Blockfrost.Types.NutLink

Associated Types

type Rep NutlinkTickerTypeType #

Generic Address 
Instance details

Defined in Blockfrost.Types.Shared.Address

Associated Types

type Rep AddressTypeType #

Methods

fromAddressRep Address x #

toRep Address x → Address #

Generic Amount 
Instance details

Defined in Blockfrost.Types.Shared.Amount

Associated Types

type Rep AmountTypeType #

Methods

fromAmountRep Amount x #

toRep Amount x → Amount #

Generic AmountExtended 
Instance details

Defined in Blockfrost.Types.Shared.Amount

Associated Types

type Rep AmountExtendedTypeType #

Generic AssetId 
Instance details

Defined in Blockfrost.Types.Shared.AssetId

Associated Types

type Rep AssetIdTypeType #

Methods

fromAssetIdRep AssetId x #

toRep AssetId x → AssetId #

Generic BlockHash 
Instance details

Defined in Blockfrost.Types.Shared.BlockHash

Associated Types

type Rep BlockHashTypeType #

Methods

fromBlockHashRep BlockHash x #

toRep BlockHash x → BlockHash #

Generic BlockIndex 
Instance details

Defined in Blockfrost.Types.Shared.BlockIndex

Associated Types

type Rep BlockIndexTypeType #

Generic DatumHash 
Instance details

Defined in Blockfrost.Types.Shared.DatumHash

Associated Types

type Rep DatumHashTypeType #

Methods

fromDatumHashRep DatumHash x #

toRep DatumHash x → DatumHash #

Generic Epoch 
Instance details

Defined in Blockfrost.Types.Shared.Epoch

Associated Types

type Rep EpochTypeType #

Methods

fromEpochRep Epoch x #

toRep Epoch x → Epoch #

Generic EpochLength 
Instance details

Defined in Blockfrost.Types.Shared.Epoch

Associated Types

type Rep EpochLengthTypeType #

Generic POSIXMillis 
Instance details

Defined in Blockfrost.Types.Shared.POSIXMillis

Associated Types

type Rep POSIXMillisTypeType #

Generic PolicyId 
Instance details

Defined in Blockfrost.Types.Shared.PolicyId

Associated Types

type Rep PolicyIdTypeType #

Methods

fromPolicyIdRep PolicyId x #

toRep PolicyId x → PolicyId #

Generic PoolId 
Instance details

Defined in Blockfrost.Types.Shared.PoolId

Associated Types

type Rep PoolIdTypeType #

Methods

fromPoolIdRep PoolId x #

toRep PoolId x → PoolId #

Generic Quantity 
Instance details

Defined in Blockfrost.Types.Shared.Quantity

Associated Types

type Rep QuantityTypeType #

Methods

fromQuantityRep Quantity x #

toRep Quantity x → Quantity #

Generic ScriptHash 
Instance details

Defined in Blockfrost.Types.Shared.ScriptHash

Associated Types

type Rep ScriptHashTypeType #

Generic ScriptHashList 
Instance details

Defined in Blockfrost.Types.Shared.ScriptHash

Associated Types

type Rep ScriptHashListTypeType #

Generic Slot 
Instance details

Defined in Blockfrost.Types.Shared.Slot

Associated Types

type Rep SlotTypeType #

Methods

fromSlotRep Slot x #

toRep Slot x → Slot #

Generic TxHash 
Instance details

Defined in Blockfrost.Types.Shared.TxHash

Associated Types

type Rep TxHashTypeType #

Methods

fromTxHashRep TxHash x #

toRep TxHash x → TxHash #

Generic ValidationPurpose 
Instance details

Defined in Blockfrost.Types.Shared.ValidationPurpose

Associated Types

type Rep ValidationPurposeTypeType #

Generic Address 
Instance details

Defined in Cardano.Address

Associated Types

type Rep AddressTypeType #

Methods

fromAddressRep Address x #

toRep Address x → Address #

Generic AddressDiscrimination 
Instance details

Defined in Cardano.Address

Associated Types

type Rep AddressDiscriminationTypeType #

Generic ChainPointer 
Instance details

Defined in Cardano.Address

Associated Types

type Rep ChainPointerTypeType #

Generic NetworkTag 
Instance details

Defined in Cardano.Address

Associated Types

type Rep NetworkTagTypeType #

Generic Cosigner 
Instance details

Defined in Cardano.Address.Script

Associated Types

type Rep CosignerTypeType #

Methods

fromCosignerRep Cosigner x #

toRep Cosigner x → Cosigner #

Generic KeyHash 
Instance details

Defined in Cardano.Address.Script

Associated Types

type Rep KeyHashTypeType #

Methods

fromKeyHashRep KeyHash x #

toRep KeyHash x → KeyHash #

Generic KeyRole 
Instance details

Defined in Cardano.Address.Script

Associated Types

type Rep KeyRoleTypeType #

Methods

fromKeyRoleRep KeyRole x #

toRep KeyRole x → KeyRole #

Generic ScriptHash 
Instance details

Defined in Cardano.Address.Script

Associated Types

type Rep ScriptHashTypeType #

Generic ScriptTemplate 
Instance details

Defined in Cardano.Address.Script

Associated Types

type Rep ScriptTemplateTypeType #

Generic ValidationLevel 
Instance details

Defined in Cardano.Address.Script

Associated Types

type Rep ValidationLevelTypeType #

Generic AddressInfo 
Instance details

Defined in Cardano.Address.Style.Byron

Associated Types

type Rep AddressInfoTypeType #

Generic ErrInspectAddress 
Instance details

Defined in Cardano.Address.Style.Byron

Associated Types

type Rep ErrInspectAddressTypeType #

Generic PayloadInfo 
Instance details

Defined in Cardano.Address.Style.Byron

Associated Types

type Rep PayloadInfo ∷ TypeType #

Methods

from ∷ PayloadInfo → Rep PayloadInfo x #

toRep PayloadInfo x → PayloadInfo #

Generic AddressInfo 
Instance details

Defined in Cardano.Address.Style.Icarus

Associated Types

type Rep AddressInfoTypeType #

Generic ErrInspectAddress 
Instance details

Defined in Cardano.Address.Style.Icarus

Associated Types

type Rep ErrInspectAddressTypeType #

Generic Role 
Instance details

Defined in Cardano.Address.Style.Icarus

Associated Types

type Rep RoleTypeType #

Methods

fromRoleRep Role x #

toRep Role x → Role #

Generic AddressInfo 
Instance details

Defined in Cardano.Address.Style.Shelley

Associated Types

type Rep AddressInfoTypeType #

Generic ErrInspectAddress 
Instance details

Defined in Cardano.Address.Style.Shelley

Associated Types

type Rep ErrInspectAddressTypeType #

Generic ErrInspectAddressOnlyShelley 
Instance details

Defined in Cardano.Address.Style.Shelley

Associated Types

type Rep ErrInspectAddressOnlyShelleyTypeType #

Generic ErrInvalidStakeAddress 
Instance details

Defined in Cardano.Address.Style.Shelley

Associated Types

type Rep ErrInvalidStakeAddress ∷ TypeType #

Methods

from ∷ ErrInvalidStakeAddress → Rep ErrInvalidStakeAddress x #

toRep ErrInvalidStakeAddress x → ErrInvalidStakeAddress #

Generic InspectAddress 
Instance details

Defined in Cardano.Address.Style.Shelley

Associated Types

type Rep InspectAddressTypeType #

Generic ReferenceInfo 
Instance details

Defined in Cardano.Address.Style.Shelley

Associated Types

type Rep ReferenceInfoTypeType #

Generic Role 
Instance details

Defined in Cardano.Address.Style.Shelley

Associated Types

type Rep RoleTypeType #

Methods

fromRoleRep Role x #

toRep Role x → Role #

Generic PraosNonce 
Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

type Rep PraosNonceTypeType #

Generic ProtocolParameters 
Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

type Rep ProtocolParametersTypeType #

Generic BalanceInsufficientError 
Instance details

Defined in Cardano.CoinSelection.Balance

Associated Types

type Rep BalanceInsufficientErrorTypeType #

Generic UTxOBalanceSufficiencyInfo 
Instance details

Defined in Cardano.CoinSelection.Balance

Associated Types

type Rep UTxOBalanceSufficiencyInfoTypeType #

Generic UnableToConstructChangeError 
Instance details

Defined in Cardano.CoinSelection.Balance

Associated Types

type Rep UnableToConstructChangeErrorTypeType #

Generic TokenBundleSizeAssessment 
Instance details

Defined in Cardano.CoinSelection.Size

Associated Types

type Rep TokenBundleSizeAssessmentTypeType #

Generic TokenBundleSizeAssessor 
Instance details

Defined in Cardano.CoinSelection.Size

Associated Types

type Rep TokenBundleSizeAssessorTypeType #

Generic Asset 
Instance details

Defined in Cardano.CoinSelection.UTxOIndex.Internal

Associated Types

type Rep AssetTypeType #

Methods

fromAssetRep Asset x #

toRep Asset x → Asset #

Generic XPub 
Instance details

Defined in Cardano.Crypto.Wallet

Associated Types

type Rep XPubTypeType #

Methods

fromXPubRep XPub x #

toRep XPub x → XPub #

Generic XPub 
Instance details

Defined in Cardano.Crypto.Wallet.Pure

Associated Types

type Rep XPubTypeType #

Methods

fromXPubRep XPub x #

toRep XPub x → XPub #

Generic Point 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type Rep Point ∷ TypeType #

Methods

from ∷ Point → Rep Point x #

toRep Point x → Point #

Generic Output 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Associated Types

type Rep OutputTypeType #

Methods

fromOutputRep Output x #

toRep Output x → Output #

Generic Proof 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Associated Types

type Rep ProofTypeType #

Methods

fromProofRep Proof x #

toRep Proof x → Proof #

Generic SignKey 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Associated Types

type Rep SignKeyTypeType #

Methods

fromSignKeyRep SignKey x #

toRep SignKey x → SignKey #

Generic VerKey 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Associated Types

type Rep VerKeyTypeType #

Methods

fromVerKeyRep VerKey x #

toRep VerKey x → VerKey #

Generic Output 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Associated Types

type Rep Output ∷ TypeType #

Methods

from ∷ Output → Rep Output x #

toRep Output x → Output #

Generic Proof 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Associated Types

type Rep Proof ∷ TypeType #

Methods

from ∷ Proof → Rep Proof x #

toRep Proof x → Proof #

Generic SignKey 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Associated Types

type Rep SignKey ∷ TypeType #

Methods

from ∷ SignKey → Rep SignKey x #

toRep SignKey x → SignKey #

Generic VerKey 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Associated Types

type Rep VerKey ∷ TypeType #

Methods

from ∷ VerKey → Rep VerKey x #

toRep VerKey x → VerKey #

Generic ProtocolMagicId 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Associated Types

type Rep ProtocolMagicIdTypeType #

Generic RequiresNetworkMagic 
Instance details

Defined in Cardano.Crypto.ProtocolMagic

Associated Types

type Rep RequiresNetworkMagicTypeType #

Generic CompactRedeemVerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.Compact

Associated Types

type Rep CompactRedeemVerificationKeyTypeType #

Generic RedeemSigningKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.SigningKey

Associated Types

type Rep RedeemSigningKeyTypeType #

Generic RedeemVerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.Redeem.VerificationKey

Associated Types

type Rep RedeemVerificationKeyTypeType #

Generic SignTag 
Instance details

Defined in Cardano.Crypto.Signing.Tag

Associated Types

type Rep SignTagTypeType #

Methods

fromSignTagRep SignTag x #

toRep SignTag x → SignTag #

Generic VerificationKey 
Instance details

Defined in Cardano.Crypto.Signing.VerificationKey

Associated Types

type Rep VerificationKeyTypeType #

Generic ValidityInterval 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Rep ValidityIntervalTypeType #

Generic AlonzoGenesis 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Associated Types

type Rep AlonzoGenesisTypeType #

Generic LangDepView 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

type Rep LangDepViewTypeType #

Generic FailureDescription 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type Rep FailureDescriptionTypeType #

Generic TagMismatchDescription 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Associated Types

type Rep TagMismatchDescriptionTypeType #

Generic IsValid 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep IsValidTypeType #

Methods

fromIsValidRep IsValid x #

toRep IsValid x → IsValid #

Generic Addr28Extra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep Addr28ExtraTypeType #

Generic DataHash32 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep DataHash32TypeType #

Generic MemberStatus 
Instance details

Defined in Cardano.Ledger.Api.State.Query.CommitteeMembersState

Associated Types

type Rep MemberStatusTypeType #

Methods

from