cardano-api-1.36.0: The cardano api
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Api.HasTypeProxy

Synopsis

Documentation

class HasTypeProxy t where Source #

Associated Types

data AsType t Source #

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.

Methods

proxyToAsType ∷ Proxy t → AsType t Source #

Instances

Instances details
HasTypeProxy AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType AddressAny Source #

Methods

proxyToAsType ∷ Proxy AddressAny → AsType AddressAny Source #

HasTypeProxy ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType ByronAddr Source #

Methods

proxyToAsType ∷ Proxy ByronAddr → AsType ByronAddr Source #

HasTypeProxy ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType ShelleyAddr Source #

Methods

proxyToAsType ∷ Proxy ShelleyAddr → AsType ShelleyAddr Source #

HasTypeProxy StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType StakeAddress Source #

Methods

proxyToAsType ∷ Proxy StakeAddress → AsType StakeAddress Source #

HasTypeProxy BlockHeader Source # 
Instance details

Defined in Cardano.Api.Block

Associated Types

data AsType BlockHeader Source #

Methods

proxyToAsType ∷ Proxy BlockHeader → AsType BlockHeader Source #

HasTypeProxy Certificate Source # 
Instance details

Defined in Cardano.Api.Certificate

Associated Types

data AsType Certificate Source #

Methods

proxyToAsType ∷ Proxy Certificate → AsType Certificate Source #

HasTypeProxy AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras

Associated Types

data AsType AllegraEra Source #

Methods

proxyToAsType ∷ Proxy AllegraEra → AsType AllegraEra Source #

HasTypeProxy AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras

Associated Types

data AsType AlonzoEra Source #

Methods

proxyToAsType ∷ Proxy AlonzoEra → AsType AlonzoEra Source #

HasTypeProxy BabbageEra Source # 
Instance details

Defined in Cardano.Api.Eras

Associated Types

data AsType BabbageEra Source #

Methods

proxyToAsType ∷ Proxy BabbageEra → AsType BabbageEra Source #

HasTypeProxy ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras

Associated Types

data AsType ByronEra Source #

Methods

proxyToAsType ∷ Proxy ByronEra → AsType ByronEra Source #

HasTypeProxy ConwayEra Source # 
Instance details

Defined in Cardano.Api.Eras

Associated Types

data AsType ConwayEra Source #

Methods

proxyToAsType ∷ Proxy ConwayEra → AsType ConwayEra Source #

HasTypeProxy MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras

Associated Types

data AsType MaryEra Source #

Methods

proxyToAsType ∷ Proxy MaryEra → AsType MaryEra Source #

HasTypeProxy ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras

Associated Types

data AsType ShelleyEra Source #

Methods

proxyToAsType ∷ Proxy ShelleyEra → AsType ShelleyEra Source #

HasTypeProxy ByronKey Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

Associated Types

data AsType ByronKey Source #

Methods

proxyToAsType ∷ Proxy ByronKey → AsType ByronKey Source #

HasTypeProxy ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Keys.Byron

Associated Types

data AsType ByronKeyLegacy Source #

Methods

proxyToAsType ∷ Proxy ByronKeyLegacy → AsType ByronKeyLegacy Source #

HasTypeProxy KesKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

Associated Types

data AsType KesKey Source #

Methods

proxyToAsType ∷ Proxy KesKey → AsType KesKey Source #

HasTypeProxy VrfKey Source # 
Instance details

Defined in Cardano.Api.Keys.Praos

Associated Types

data AsType VrfKey Source #

Methods

proxyToAsType ∷ Proxy VrfKey → AsType VrfKey Source #

HasTypeProxy GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Associated Types

data AsType GenesisDelegateExtendedKey Source #

Methods

proxyToAsType ∷ Proxy GenesisDelegateExtendedKey → AsType GenesisDelegateExtendedKey Source #

HasTypeProxy GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Associated Types

data AsType GenesisDelegateKey Source #

Methods

proxyToAsType ∷ Proxy GenesisDelegateKey → AsType GenesisDelegateKey Source #

HasTypeProxy GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Associated Types

data AsType GenesisExtendedKey Source #

Methods

proxyToAsType ∷ Proxy GenesisExtendedKey → AsType GenesisExtendedKey Source #

HasTypeProxy GenesisKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Associated Types

data AsType GenesisKey Source #

Methods

proxyToAsType ∷ Proxy GenesisKey → AsType GenesisKey Source #

HasTypeProxy GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Associated Types

data AsType GenesisUTxOKey Source #

Methods

proxyToAsType ∷ Proxy GenesisUTxOKey → AsType GenesisUTxOKey Source #

HasTypeProxy PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Associated Types

data AsType PaymentExtendedKey Source #

Methods

proxyToAsType ∷ Proxy PaymentExtendedKey → AsType PaymentExtendedKey Source #

HasTypeProxy PaymentKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Associated Types

data AsType PaymentKey Source #

Methods

proxyToAsType ∷ Proxy PaymentKey → AsType PaymentKey Source #

HasTypeProxy StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Associated Types

data AsType StakeExtendedKey Source #

Methods

proxyToAsType ∷ Proxy StakeExtendedKey → AsType StakeExtendedKey Source #

HasTypeProxy StakeKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Associated Types

data AsType StakeKey Source #

Methods

proxyToAsType ∷ Proxy StakeKey → AsType StakeKey Source #

HasTypeProxy StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Keys.Shelley

Associated Types

data AsType StakePoolKey Source #

Methods

proxyToAsType ∷ Proxy StakePoolKey → AsType StakePoolKey Source #

HasTypeProxy OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

Associated Types

data AsType OperationalCertificate Source #

Methods

proxyToAsType ∷ Proxy OperationalCertificate → AsType OperationalCertificate Source #

HasTypeProxy OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

Associated Types

data AsType OperationalCertificateIssueCounter Source #

Methods

proxyToAsType ∷ Proxy OperationalCertificateIssueCounter → AsType OperationalCertificateIssueCounter Source #

HasTypeProxy PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

data AsType PraosNonce Source #

Methods

proxyToAsType ∷ Proxy PraosNonce → AsType PraosNonce Source #

HasTypeProxy UpdateProposal Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

data AsType UpdateProposal Source #

Methods

proxyToAsType ∷ Proxy UpdateProposal → AsType UpdateProposal Source #

HasTypeProxy PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType PlutusScriptV1 Source #

Methods

proxyToAsType ∷ Proxy PlutusScriptV1 → AsType PlutusScriptV1 Source #

HasTypeProxy PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType PlutusScriptV2 Source #

Methods

proxyToAsType ∷ Proxy PlutusScriptV2 → AsType PlutusScriptV2 Source #

HasTypeProxy ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType ScriptHash Source #

Methods

proxyToAsType ∷ Proxy ScriptHash → AsType ScriptHash Source #

HasTypeProxy ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType ScriptInAnyLang Source #

Methods

proxyToAsType ∷ Proxy ScriptInAnyLang → AsType ScriptInAnyLang Source #

HasTypeProxy SimpleScript' Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType SimpleScript' Source #

Methods

proxyToAsType ∷ Proxy SimpleScript' → AsType SimpleScript' Source #

HasTypeProxy HashableScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

Associated Types

data AsType HashableScriptData Source #

Methods

proxyToAsType ∷ Proxy HashableScriptData → AsType HashableScriptData Source #

HasTypeProxy ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

Associated Types

data AsType ScriptData Source #

Methods

proxyToAsType ∷ Proxy ScriptData → AsType ScriptData Source #

HasTypeProxy TextEnvelope Source # 
Instance details

Defined in Cardano.Api.SerialiseTextEnvelope

Associated Types

data AsType TextEnvelope Source #

Methods

proxyToAsType ∷ Proxy TextEnvelope → AsType TextEnvelope Source #

HasTypeProxy ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.SpecialByron

Associated Types

data AsType ByronUpdateProposal Source #

Methods

proxyToAsType ∷ Proxy ByronUpdateProposal → AsType ByronUpdateProposal Source #

HasTypeProxy ByronVote Source # 
Instance details

Defined in Cardano.Api.SpecialByron

Associated Types

data AsType ByronVote Source #

Methods

proxyToAsType ∷ Proxy ByronVote → AsType ByronVote Source #

HasTypeProxy StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

Associated Types

data AsType StakePoolMetadata Source #

Methods

proxyToAsType ∷ Proxy StakePoolMetadata → AsType StakePoolMetadata Source #

HasTypeProxy TxId Source # 
Instance details

Defined in Cardano.Api.TxIn

Associated Types

data AsType TxId Source #

Methods

proxyToAsType ∷ Proxy TxId → AsType TxId Source #

HasTypeProxy TxMetadata Source # 
Instance details

Defined in Cardano.Api.TxMetadata

Associated Types

data AsType TxMetadata Source #

Methods

proxyToAsType ∷ Proxy TxMetadata → AsType TxMetadata Source #

HasTypeProxy AssetName Source # 
Instance details

Defined in Cardano.Api.Value

Associated Types

data AsType AssetName Source #

Methods

proxyToAsType ∷ Proxy AssetName → AsType AssetName Source #

HasTypeProxy PolicyId Source # 
Instance details

Defined in Cardano.Api.Value

Associated Types

data AsType PolicyId Source #

Methods

proxyToAsType ∷ Proxy PolicyId → AsType PolicyId Source #

HasTypeProxy addrtype ⇒ HasTypeProxy (Address addrtype) Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType (Address addrtype) Source #

Methods

proxyToAsType ∷ Proxy (Address addrtype) → AsType (Address addrtype) Source #

HasTypeProxy era ⇒ HasTypeProxy (AddressInEra era) Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType (AddressInEra era) Source #

Methods

proxyToAsType ∷ Proxy (AddressInEra era) → AsType (AddressInEra era) Source #

HasTypeProxy a ⇒ HasTypeProxy (Hash a) Source # 
Instance details

Defined in Cardano.Api.Hash

Associated Types

data AsType (Hash a) Source #

Methods

proxyToAsType ∷ Proxy (Hash a) → AsType (Hash a) Source #

HasTypeProxy a ⇒ HasTypeProxy (SigningKey a) Source # 
Instance details

Defined in Cardano.Api.Keys.Class

Associated Types

data AsType (SigningKey a) Source #

Methods

proxyToAsType ∷ Proxy (SigningKey a) → AsType (SigningKey a) Source #

HasTypeProxy a ⇒ HasTypeProxy (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Keys.Class

Associated Types

data AsType (VerificationKey a) Source #

Methods

proxyToAsType ∷ Proxy (VerificationKey a) → AsType (VerificationKey a) Source #

HasTypeProxy lang ⇒ HasTypeProxy (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType (PlutusScript lang) Source #

Methods

proxyToAsType ∷ Proxy (PlutusScript lang) → AsType (PlutusScript lang) Source #

HasTypeProxy lang ⇒ HasTypeProxy (Script lang) Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType (Script lang) Source #

Methods

proxyToAsType ∷ Proxy (Script lang) → AsType (Script lang) Source #

HasTypeProxy era ⇒ HasTypeProxy (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType (ScriptInEra era) Source #

Methods

proxyToAsType ∷ Proxy (ScriptInEra era) → AsType (ScriptInEra era) Source #

HasTypeProxy era ⇒ HasTypeProxy (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Tx

Associated Types

data AsType (KeyWitness era) Source #

Methods

proxyToAsType ∷ Proxy (KeyWitness era) → AsType (KeyWitness era) Source #

HasTypeProxy era ⇒ HasTypeProxy (Tx era) Source # 
Instance details

Defined in Cardano.Api.Tx

Associated Types

data AsType (Tx era) Source #

Methods

proxyToAsType ∷ Proxy (Tx era) → AsType (Tx era) Source #

HasTypeProxy era ⇒ HasTypeProxy (TxBody era) Source # 
Instance details

Defined in Cardano.Api.TxBody

Associated Types

data AsType (TxBody era) Source #

Methods

proxyToAsType ∷ Proxy (TxBody era) → AsType (TxBody era) Source #

data Proxy (t ∷ k) Source #

Proxy is a type that holds no data, but has a phantom parameter of arbitrary type (or even kind). Its use is to provide type information, even though there is no value available of that type (or it may be too costly to create one).

Historically, Proxy :: Proxy a is a safer alternative to the undefined :: a idiom.

>>> Proxy :: Proxy (Void, Int -> Int)
Proxy

Proxy can even hold types of higher kinds,

>>> Proxy :: Proxy Either
Proxy

>>> Proxy :: Proxy Functor
Proxy

>>> Proxy :: Proxy complicatedStructure
Proxy

Constructors

Proxy 

Instances

Instances details
ApplicativeB (Proxy ∷ (k → Type) → Type) 
Instance details

Defined in Barbies.Internal.ApplicativeB

Methods

bpure ∷ (∀ (a ∷ k0). f a) → Proxy f

bprod ∷ ∀ (f ∷ k0 → Type) (g ∷ k0 → Type). Proxy f → Proxy g → Proxy (Product f g)

ConstraintsB (Proxy ∷ (k → Type) → Type) 
Instance details

Defined in Barbies.Internal.ConstraintsB

Associated Types

type AllB c Proxy

Methods

baddDicts ∷ ∀ (c ∷ k0 → Constraint) (f ∷ k0 → Type). AllB c Proxy ⇒ Proxy f → Proxy (Product (Dict c) f)

DistributiveB (Proxy ∷ (k → Type) → Type) 
Instance details

Defined in Barbies.Internal.DistributiveB

Methods

bdistribute ∷ ∀ f (g ∷ k0 → Type). Functor f ⇒ f (Proxy g) → Proxy (Compose f g)

FunctorB (Proxy ∷ (k → Type) → Type) 
Instance details

Defined in Barbies.Internal.FunctorB

Methods

bmap ∷ (∀ (a ∷ k0). f a → g a) → Proxy f → Proxy g

TraversableB (Proxy ∷ (k → Type) → Type) 
Instance details

Defined in Barbies.Internal.TraversableB

Methods

btraverse ∷ Applicative e ⇒ (∀ (a ∷ k0). f a → e (g a)) → Proxy f → e (Proxy g)

Generic1 (Proxy ∷ k → Type) 
Instance details

Defined in GHC.Generics

Associated Types

type Rep1 Proxy ∷ k → Type Source #

Methods

from1 ∷ ∀ (a ∷ k0). Proxy a → Rep1 Proxy a Source #

to1 ∷ ∀ (a ∷ k0). Rep1 Proxy a → Proxy a Source #

Representable (Proxy ∷ Type → Type) 
Instance details

Defined in Data.Functor.Rep

Associated Types

type Rep Proxy

Methods

tabulate ∷ (Rep Proxy → a) → Proxy a

index ∷ Proxy a → Rep Proxy → a

FromJSON1 (Proxy ∷ Type → Type) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

liftParseJSON ∷ (Value → Parser a) → (Value → Parser [a]) → Value → Parser (Proxy a)

liftParseJSONList ∷ (Value → Parser a) → (Value → Parser [a]) → Value → Parser [Proxy a]

ToJSON1 (Proxy ∷ TYPE LiftedRep → Type) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

liftToJSON ∷ (a → Value) → ([a] → Value) → Proxy a → Value

liftToJSONList ∷ (a → Value) → ([a] → Value) → [Proxy a] → Value

liftToEncoding ∷ (a → Encoding) → ([a] → Encoding) → Proxy a → Encoding

liftToEncodingList ∷ (a → Encoding) → ([a] → Encoding) → [Proxy a] → Encoding

Foldable (Proxy ∷ TYPE LiftedRep → Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Foldable

Methods

fold ∷ Monoid m ⇒ Proxy m → m Source #

foldMap ∷ Monoid m ⇒ (a → m) → Proxy a → m Source #

foldMap' ∷ Monoid m ⇒ (a → m) → Proxy a → m Source #

foldr ∷ (a → b → b) → b → Proxy a → b Source #

foldr' ∷ (a → b → b) → b → Proxy a → b Source #

foldl ∷ (b → a → b) → b → Proxy a → b Source #

foldl' ∷ (b → a → b) → b → Proxy a → b Source #

foldr1 ∷ (a → a → a) → Proxy a → a Source #

foldl1 ∷ (a → a → a) → Proxy a → a Source #

toList ∷ Proxy a → [a] Source #

null ∷ Proxy a → Bool Source #

length ∷ Proxy a → Int Source #

elem ∷ Eq a ⇒ a → Proxy a → Bool Source #

maximum ∷ Ord a ⇒ Proxy a → a Source #

minimum ∷ Ord a ⇒ Proxy a → a Source #

sum ∷ Num a ⇒ Proxy a → a Source #

product ∷ Num a ⇒ Proxy a → a Source #

Eq1 (Proxy ∷ Type → Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftEq ∷ (a → b → Bool) → Proxy a → Proxy b → Bool Source #

Ord1 (Proxy ∷ Type → Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftCompare ∷ (a → b → Ordering) → Proxy a → Proxy b → Ordering Source #

Read1 (Proxy ∷ Type → Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftReadsPrec ∷ (Int → ReadS a) → ReadS [a] → Int → ReadS (Proxy a) Source #

liftReadList ∷ (Int → ReadS a) → ReadS [a] → ReadS [Proxy a] Source #

liftReadPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec (Proxy a) Source #

liftReadListPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec [Proxy a] Source #

Show1 (Proxy ∷ TYPE LiftedRep → Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftShowsPrec ∷ (Int → a → ShowS) → ([a] → ShowS) → Int → Proxy a → ShowS Source #

liftShowList ∷ (Int → a → ShowS) → ([a] → ShowS) → [Proxy a] → ShowS Source #

Contravariant (Proxy ∷ Type → Type) 
Instance details

Defined in Data.Functor.Contravariant

Methods

contramap ∷ (a' → a) → Proxy a → Proxy a' Source #

(>$) ∷ b → Proxy b → Proxy a Source #

Traversable (Proxy ∷ Type → Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Traversable

Methods

traverse ∷ Applicative f ⇒ (a → f b) → Proxy a → f (Proxy b) Source #

sequenceA ∷ Applicative f ⇒ Proxy (f a) → f (Proxy a) Source #

mapM ∷ Monad m ⇒ (a → m b) → Proxy a → m (Proxy b) Source #

sequence ∷ Monad m ⇒ Proxy (m a) → m (Proxy a) 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 #

Applicative (Proxy ∷ Type → Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

pure ∷ a → Proxy a Source #

(<*>) ∷ Proxy (a → b) → Proxy a → Proxy b Source #

liftA2 ∷ (a → b → c) → Proxy a → Proxy b → Proxy c Source #

(*>) ∷ Proxy a → Proxy b → Proxy b Source #

(<*) ∷ Proxy a → Proxy b → Proxy a Source #

Functor (Proxy ∷ Type → Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

fmap ∷ (a → b) → Proxy a → Proxy b Source #

(<$) ∷ a → Proxy b → Proxy a Source #

Monad (Proxy ∷ Type → Type)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

(>>=) ∷ Proxy a → (a → Proxy b) → Proxy b Source #

(>>) ∷ Proxy a → Proxy b → Proxy b Source #

return ∷ a → Proxy a Source #

MonadPlus (Proxy ∷ Type → Type)

Since: base-4.9.0.0

Instance details

Defined in Data.Proxy

Methods

mzero ∷ Proxy a Source #

mplus ∷ Proxy a → Proxy a → Proxy a Source #

NFData1 (Proxy ∷ TYPE LiftedRep → Type)

Since: deepseq-1.4.3.0

Instance details

Defined in Control.DeepSeq

Methods

liftRnf ∷ (a → ()) → Proxy a → () Source #

Hashable1 (Proxy ∷ Type → Type) 
Instance details

Defined in Data.Hashable.Class

Methods

liftHashWithSalt ∷ (Int → a → Int) → Int → Proxy a → Int

FromJSON (Proxy a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON ∷ Value → Parser (Proxy a) #

parseJSONList ∷ Value → Parser [Proxy a] #

ToJSON (Proxy a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON ∷ Proxy a → Value #

toEncoding ∷ Proxy a → Encoding #

toJSONList ∷ [Proxy a] → Value #

toEncodingList ∷ [Proxy a] → Encoding #

Data t ⇒ Data (Proxy t)

Since: base-4.7.0.0

Instance details

Defined in Data.Data

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Proxy t → c (Proxy t) Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c (Proxy t) Source #

toConstr ∷ Proxy t → Constr Source #

dataTypeOf ∷ Proxy t → DataType Source #

dataCast1 ∷ Typeable t0 ⇒ (∀ d. Data d ⇒ c (t0 d)) → Maybe (c (Proxy t)) Source #

dataCast2 ∷ Typeable t0 ⇒ (∀ d e. (Data d, Data e) ⇒ c (t0 d e)) → Maybe (c (Proxy t)) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Proxy t → Proxy t Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Proxy t → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Proxy t → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Proxy t → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Proxy t → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Proxy t → m (Proxy t) Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Proxy t → m (Proxy t) Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Proxy t → m (Proxy t) Source #

Monoid (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

mempty ∷ Proxy s Source #

mappend ∷ Proxy s → Proxy s → Proxy s Source #

mconcat ∷ [Proxy s] → Proxy s Source #

Semigroup (Proxy s)

Since: base-4.9.0.0

Instance details

Defined in Data.Proxy

Methods

(<>) ∷ Proxy s → Proxy s → Proxy s Source #

sconcat ∷ NonEmpty (Proxy s) → Proxy s Source #

stimes ∷ Integral b ⇒ b → Proxy s → Proxy s Source #

Bounded (Proxy t)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

minBound ∷ Proxy t Source #

maxBound ∷ Proxy t Source #

Enum (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

succ ∷ Proxy s → Proxy s Source #

pred ∷ Proxy s → Proxy s Source #

toEnum ∷ Int → Proxy s Source #

fromEnum ∷ Proxy s → Int Source #

enumFrom ∷ Proxy s → [Proxy s] Source #

enumFromThen ∷ Proxy s → Proxy s → [Proxy s] Source #

enumFromTo ∷ Proxy s → Proxy s → [Proxy s] Source #

enumFromThenTo ∷ Proxy s → Proxy s → Proxy s → [Proxy s] Source #

Generic (Proxy t) 
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 #

Ix (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

range ∷ (Proxy s, Proxy s) → [Proxy s] Source #

index ∷ (Proxy s, Proxy s) → Proxy s → Int Source #

unsafeIndex ∷ (Proxy s, Proxy s) → Proxy s → Int Source #

inRange ∷ (Proxy s, Proxy s) → Proxy s → Bool Source #

rangeSize ∷ (Proxy s, Proxy s) → Int Source #

unsafeRangeSize ∷ (Proxy s, Proxy s) → Int Source #

Read (Proxy t)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

readsPrec ∷ Int → ReadS (Proxy t) Source #

readList ∷ ReadS [Proxy t] Source #

readPrec ∷ ReadPrec (Proxy t) Source #

readListPrec ∷ ReadPrec [Proxy t] Source #

Show (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

showsPrec ∷ Int → Proxy s → ShowS Source #

show ∷ Proxy s → String Source #

showList ∷ [Proxy s] → ShowS Source #

NFData (Proxy a)

Since: deepseq-1.4.0.0

Instance details

Defined in Control.DeepSeq

Methods

rnf ∷ Proxy a → () Source #

Eq (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

(==) ∷ Proxy s → Proxy s → Bool Source #

(/=) ∷ Proxy s → Proxy s → Bool Source #

Ord (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

compare ∷ Proxy s → Proxy s → Ordering Source #

(<) ∷ Proxy s → Proxy s → Bool Source #

(<=) ∷ Proxy s → Proxy s → Bool Source #

(>) ∷ Proxy s → Proxy s → Bool Source #

(>=) ∷ Proxy s → Proxy s → Bool Source #

max ∷ Proxy s → Proxy s → Proxy s Source #

min ∷ Proxy s → Proxy s → Proxy s Source #

Abelian (Proxy x) 
Instance details

Defined in Data.Group

Cyclic (Proxy x) 
Instance details

Defined in Data.Group

Methods

generator ∷ Proxy x

Group (Proxy x) 
Instance details

Defined in Data.Group

Methods

invert ∷ Proxy x → Proxy x

(~~) ∷ Proxy x → Proxy x → Proxy x

pow ∷ Integral x0 ⇒ Proxy x → x0 → Proxy x

Hashable (Proxy a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt ∷ Int → Proxy a → Int

hash ∷ Proxy a → Int

MonoFoldable (Proxy a) 
Instance details

Defined in Data.MonoTraversable

Methods

ofoldMap ∷ Monoid m ⇒ (Element (Proxy a) → m) → Proxy a → m

ofoldr ∷ (Element (Proxy a) → b → b) → b → Proxy a → b

ofoldl' ∷ (a0 → Element (Proxy a) → a0) → a0 → Proxy a → a0

otoList ∷ Proxy a → [Element (Proxy a)]

oall ∷ (Element (Proxy a) → Bool) → Proxy a → Bool

oany ∷ (Element (Proxy a) → Bool) → Proxy a → Bool

onull ∷ Proxy a → Bool

olength ∷ Proxy a → Int

olength64 ∷ Proxy a → Int64

ocompareLength ∷ Integral i ⇒ Proxy a → i → Ordering

otraverse_ ∷ Applicative f ⇒ (Element (Proxy a) → f b) → Proxy a → f ()

ofor_ ∷ Applicative f ⇒ Proxy a → (Element (Proxy a) → f b) → f ()

omapM_ ∷ Applicative m ⇒ (Element (Proxy a) → m ()) → Proxy a → m ()

oforM_ ∷ Applicative m ⇒ Proxy a → (Element (Proxy a) → m ()) → m ()

ofoldlM ∷ Monad m ⇒ (a0 → Element (Proxy a) → m a0) → a0 → Proxy a → m a0

ofoldMap1Ex ∷ Semigroup m ⇒ (Element (Proxy a) → m) → Proxy a → m

ofoldr1Ex ∷ (Element (Proxy a) → Element (Proxy a) → Element (Proxy a)) → Proxy a → Element (Proxy a)

ofoldl1Ex' ∷ (Element (Proxy a) → Element (Proxy a) → Element (Proxy a)) → Proxy a → Element (Proxy a)

headEx ∷ Proxy a → Element (Proxy a)

lastEx ∷ Proxy a → Element (Proxy a)

unsafeHead ∷ Proxy a → Element (Proxy a)

unsafeLast ∷ Proxy a → Element (Proxy a)

maximumByEx ∷ (Element (Proxy a) → Element (Proxy a) → Ordering) → Proxy a → Element (Proxy a)

minimumByEx ∷ (Element (Proxy a) → Element (Proxy a) → Ordering) → Proxy a → Element (Proxy a)

oelem ∷ Element (Proxy a) → Proxy a → Bool

onotElem ∷ Element (Proxy a) → Proxy a → Bool

MonoFunctor (Proxy a) 
Instance details

Defined in Data.MonoTraversable

Methods

omap ∷ (Element (Proxy a) → Element (Proxy a)) → Proxy a → Proxy a

MonoPointed (Proxy a) 
Instance details

Defined in Data.MonoTraversable

Methods

opoint ∷ Element (Proxy a) → Proxy a

MonoTraversable (Proxy a) 
Instance details

Defined in Data.MonoTraversable

Methods

otraverse ∷ Applicative f ⇒ (Element (Proxy a) → f (Element (Proxy a))) → Proxy a → f (Proxy a)

omapM ∷ Applicative m ⇒ (Element (Proxy a) → m (Element (Proxy a))) → Proxy a → m (Proxy a)

Serialise (Proxy a) 
Instance details

Defined in Codec.Serialise.Class

Methods

encode ∷ Proxy a → Encoding

decode ∷ Decoder s (Proxy a)

encodeList ∷ [Proxy a] → Encoding

decodeList ∷ Decoder s [Proxy a]

type AllB (c ∷ k → Constraint) (Proxy ∷ (k → Type) → Type) 
Instance details

Defined in Barbies.Internal.ConstraintsB

type AllB (c ∷ k → Constraint) (Proxy ∷ (k → Type) → Type) = ()
type Rep1 (Proxy ∷ k → Type)

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

type Rep1 (Proxy ∷ k → Type) = D1 ('MetaData "Proxy" "Data.Proxy" "base" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 ∷ k → Type))
type Rep (Proxy ∷ Type → Type) 
Instance details

Defined in Data.Functor.Rep

type Rep (Proxy ∷ Type → Type) = Void
type Rep (Proxy t)

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

type Rep (Proxy t) = D1 ('MetaData "Proxy" "Data.Proxy" "base" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 ∷ Type → Type))
type Element (Proxy a) 
Instance details

Defined in Data.MonoTraversable

type Element (Proxy a) = a

data FromSomeType (c ∷ Type → Constraint) b where Source #

Constructors

FromSomeType ∷ c a ⇒ AsType a → (a → b) → FromSomeType c b