cardano-api-1.28.0
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

proxyToAsTypeProxy t → AsType t Source #

Instances

Instances details
HasTypeProxy AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Eras

Associated Types

data AsType AlonzoEra Source #

HasTypeProxy MaryEra Source # 
Instance details

Defined in Cardano.Api.Eras

Associated Types

data AsType MaryEra Source #

HasTypeProxy AllegraEra Source # 
Instance details

Defined in Cardano.Api.Eras

Associated Types

data AsType AllegraEra Source #

HasTypeProxy ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Eras

Associated Types

data AsType ShelleyEra Source #

HasTypeProxy ByronEra Source # 
Instance details

Defined in Cardano.Api.Eras

Associated Types

data AsType ByronEra Source #

HasTypeProxy TextEnvelope Source # 
Instance details

Defined in Cardano.Api.SerialiseTextEnvelope

Associated Types

data AsType TextEnvelope Source #

HasTypeProxy TxMetadata Source # 
Instance details

Defined in Cardano.Api.TxMetadata

Associated Types

data AsType TxMetadata Source #

HasTypeProxy StakePoolKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Associated Types

data AsType StakePoolKey Source #

HasTypeProxy GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Associated Types

data AsType GenesisUTxOKey Source #

HasTypeProxy GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

HasTypeProxy GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Associated Types

data AsType GenesisDelegateKey Source #

HasTypeProxy GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Associated Types

data AsType GenesisExtendedKey Source #

HasTypeProxy GenesisKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Associated Types

data AsType GenesisKey Source #

HasTypeProxy StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Associated Types

data AsType StakeExtendedKey Source #

HasTypeProxy StakeKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Associated Types

data AsType StakeKey Source #

HasTypeProxy PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Associated Types

data AsType PaymentExtendedKey Source #

HasTypeProxy PaymentKey Source # 
Instance details

Defined in Cardano.Api.KeysShelley

Associated Types

data AsType PaymentKey Source #

HasTypeProxy ScriptData Source # 
Instance details

Defined in Cardano.Api.ScriptData

Associated Types

data AsType ScriptData Source #

HasTypeProxy ScriptHash Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType ScriptHash Source #

HasTypeProxy ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType ScriptInAnyLang Source #

HasTypeProxy PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType PlutusScriptV1 Source #

HasTypeProxy SimpleScriptV2 Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType SimpleScriptV2 Source #

HasTypeProxy SimpleScriptV1 Source # 
Instance details

Defined in Cardano.Api.Script

Associated Types

data AsType SimpleScriptV1 Source #

HasTypeProxy ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.KeysByron

Associated Types

data AsType ByronKeyLegacy Source #

HasTypeProxy ByronKey Source # 
Instance details

Defined in Cardano.Api.KeysByron

Associated Types

data AsType ByronKey Source #

HasTypeProxy ByronVote Source # 
Instance details

Defined in Cardano.Api.SpecialByron

Associated Types

data AsType ByronVote Source #

HasTypeProxy ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.SpecialByron

Associated Types

data AsType ByronUpdateProposal Source #

HasTypeProxy VrfKey Source # 
Instance details

Defined in Cardano.Api.KeysPraos

Associated Types

data AsType VrfKey Source #

HasTypeProxy KesKey Source # 
Instance details

Defined in Cardano.Api.KeysPraos

Associated Types

data AsType KesKey Source #

HasTypeProxy StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.StakePoolMetadata

Associated Types

data AsType StakePoolMetadata Source #

HasTypeProxy StakeAddress Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType StakeAddress Source #

HasTypeProxy AddressAny Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType AddressAny Source #

HasTypeProxy ShelleyAddr Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType ShelleyAddr Source #

HasTypeProxy ByronAddr Source # 
Instance details

Defined in Cardano.Api.Address

Associated Types

data AsType ByronAddr Source #

HasTypeProxy AssetName Source # 
Instance details

Defined in Cardano.Api.Value

Associated Types

data AsType AssetName Source #

HasTypeProxy PolicyId Source # 
Instance details

Defined in Cardano.Api.Value

Associated Types

data AsType PolicyId Source #

HasTypeProxy UpdateProposal Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

data AsType UpdateProposal Source #

HasTypeProxy PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

Associated Types

data AsType PraosNonce Source #

HasTypeProxy Certificate Source # 
Instance details

Defined in Cardano.Api.Certificate

Associated Types

data AsType Certificate Source #

HasTypeProxy TxId Source # 
Instance details

Defined in Cardano.Api.TxBody

Associated Types

data AsType TxId Source #

HasTypeProxy BlockHeader Source # 
Instance details

Defined in Cardano.Api.Block

Associated Types

data AsType BlockHeader Source #

HasTypeProxy OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

HasTypeProxy OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.OperationalCertificate

Associated Types

data AsType OperationalCertificate Source #

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

Defined in Cardano.Api.Hash

Associated Types

data AsType (Hash a) Source #

Methods

proxyToAsTypeProxy (Hash a) → AsType (Hash a) Source #

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

Defined in Cardano.Api.Key

Associated Types

data AsType (VerificationKey a) Source #

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

Defined in Cardano.Api.Key

Associated Types

data AsType (SigningKey a) Source #

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

Defined in Cardano.Api.Script

Associated Types

data AsType (PlutusScript lang) Source #

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

Defined in Cardano.Api.Script

Associated Types

data AsType (SimpleScript lang) Source #

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

Defined in Cardano.Api.Script

Associated Types

data AsType (ScriptInEra era) Source #

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

Defined in Cardano.Api.Script

Associated Types

data AsType (Script lang) Source #

Methods

proxyToAsTypeProxy (Script lang) → AsType (Script lang) Source #

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

Defined in Cardano.Api.Address

Associated Types

data AsType (AddressInEra era) Source #

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

Defined in Cardano.Api.Address

Associated Types

data AsType (Address addrtype) Source #

Methods

proxyToAsTypeProxy (Address addrtype) → AsType (Address addrtype) Source #

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

Defined in Cardano.Api.TxBody

Associated Types

data AsType (TxBody era) Source #

Methods

proxyToAsTypeProxy (TxBody era) → AsType (TxBody era) Source #

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

Defined in Cardano.Api.Tx

Associated Types

data 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

proxyToAsTypeProxy (Tx era) → AsType (Tx era) Source #

data Proxy (t ∷ k) #

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
Generic1 (Proxy ∷ k → Type)

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

Associated Types

type Rep1 Proxy ∷ k → Type #

Methods

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

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

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

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 ProxyProxy f → Proxy (Product (Dict c) f)

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)

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

Defined in Barbies.Internal.TraversableB

Methods

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

Monad (ProxyTypeType)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

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

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

return ∷ a → Proxy a #

Functor (ProxyTypeType)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

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

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

Applicative (ProxyTypeType)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

pure ∷ a → Proxy a #

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

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

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

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

Foldable (ProxyTypeType)

Since: base-4.7.0.0

Instance details

Defined in Data.Foldable

Methods

foldMonoid m ⇒ Proxy m → m #

foldMapMonoid m ⇒ (a → m) → Proxy a → m #

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

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

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

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

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

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

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

toListProxy a → [a] #

nullProxy a → Bool #

lengthProxy a → Int #

elemEq a ⇒ a → Proxy a → Bool #

maximumOrd a ⇒ Proxy a → a #

minimumOrd a ⇒ Proxy a → a #

sumNum a ⇒ Proxy a → a #

productNum a ⇒ Proxy a → a #

Traversable (ProxyTypeType)

Since: base-4.7.0.0

Instance details

Defined in Data.Traversable

Methods

traverseApplicative f ⇒ (a → f b) → Proxy a → f (Proxy b) #

sequenceAApplicative f ⇒ Proxy (f a) → f (Proxy a) #

mapMMonad m ⇒ (a → m b) → Proxy a → m (Proxy b) #

sequenceMonad m ⇒ Proxy (m a) → m (Proxy a) #

MonadPlus (ProxyTypeType)

Since: base-4.9.0.0

Instance details

Defined in Data.Proxy

Methods

mzeroProxy a #

mplusProxy a → Proxy a → Proxy a #

Alternative (ProxyTypeType)

Since: base-4.9.0.0

Instance details

Defined in Data.Proxy

Methods

emptyProxy a #

(<|>)Proxy a → Proxy a → Proxy a #

someProxy a → Proxy [a] #

manyProxy a → Proxy [a] #

Eq1 (ProxyTypeType)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

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

Ord1 (ProxyTypeType)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

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

Read1 (ProxyTypeType)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftReadsPrec ∷ (IntReadS a) → ReadS [a] → IntReadS (Proxy a) #

liftReadList ∷ (IntReadS a) → ReadS [a] → ReadS [Proxy a] #

liftReadPrecReadPrec a → ReadPrec [a] → ReadPrec (Proxy a) #

liftReadListPrecReadPrec a → ReadPrec [a] → ReadPrec [Proxy a] #

Show1 (ProxyTypeType)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

liftShowsPrec ∷ (Int → a → ShowS) → ([a] → ShowS) → IntProxy a → ShowS #

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

NFData1 (ProxyTypeType)

Since: deepseq-1.4.3.0

Instance details

Defined in Control.DeepSeq

Methods

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

Hashable1 (ProxyTypeType) 
Instance details

Defined in Data.Hashable.Class

Methods

liftHashWithSalt ∷ (Int → a → Int) → IntProxy a → Int

FromJSON1 (ProxyTypeType) 
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 (ProxyTypeType) 
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

Representable (ProxyTypeType) 
Instance details

Defined in Data.Functor.Rep

Associated Types

type Rep Proxy

Methods

tabulate ∷ (Rep Proxy → a) → Proxy a

indexProxy a → Rep Proxy → a

Bounded (Proxy t)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

minBoundProxy t #

maxBoundProxy t #

Enum (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

succProxy s → Proxy s #

predProxy s → Proxy s #

toEnumIntProxy s #

fromEnumProxy s → Int #

enumFromProxy s → [Proxy s] #

enumFromThenProxy s → Proxy s → [Proxy s] #

enumFromToProxy s → Proxy s → [Proxy s] #

enumFromThenToProxy s → Proxy s → Proxy s → [Proxy s] #

Eq (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

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

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

Ord (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

compareProxy s → Proxy s → Ordering #

(<)Proxy s → Proxy s → Bool #

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

(>)Proxy s → Proxy s → Bool #

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

maxProxy s → Proxy s → Proxy s #

minProxy s → Proxy s → Proxy s #

Read (Proxy t)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Show (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

showsPrecIntProxy s → ShowS #

showProxy s → String #

showList ∷ [Proxy s] → ShowS #

Ix (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

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

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

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

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

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

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

Generic (Proxy t)

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

Associated Types

type Rep (Proxy t) ∷ TypeType #

Methods

fromProxy t → Rep (Proxy t) x #

toRep (Proxy t) x → Proxy t #

Semigroup (Proxy s)

Since: base-4.9.0.0

Instance details

Defined in Data.Proxy

Methods

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

sconcatNonEmpty (Proxy s) → Proxy s #

stimesIntegral b ⇒ b → Proxy s → Proxy s #

Monoid (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

memptyProxy s #

mappendProxy s → Proxy s → Proxy s #

mconcat ∷ [Proxy s] → Proxy s #

NFData (Proxy a)

Since: deepseq-1.4.0.0

Instance details

Defined in Control.DeepSeq

Methods

rnfProxy a → () #

Hashable (Proxy a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntProxy a → Int

hashProxy 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

toJSONProxy a → Value #

toEncodingProxy a → Encoding #

toJSONList ∷ [Proxy a] → Value #

toEncodingList ∷ [Proxy a] → Encoding #

Serialise (Proxy a) 
Instance details

Defined in Codec.Serialise.Class

Methods

encodeProxy a → Encoding

decode ∷ Decoder s (Proxy a)

encodeList ∷ [Proxy a] → Encoding

decodeList ∷ Decoder s [Proxy a]

Abelian (Proxy x) 
Instance details

Defined in Data.Group

Group (Proxy x) 
Instance details

Defined in Data.Group

Methods

invertProxy x → Proxy x

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

powIntegral x0 ⇒ Proxy x → x0 → Proxy x

MonoFoldable (Proxy a) 
Instance details

Defined in Data.MonoTraversable

Methods

ofoldMapMonoid 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

otoListProxy a → [Element (Proxy a)]

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

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

onullProxy a → Bool

olengthProxy a → Int

olength64Proxy a → Int64

ocompareLengthIntegral 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 ()

ofoldlMMonad m ⇒ (a0 → Element (Proxy a) → m a0) → a0 → Proxy a → m a0

ofoldMap1ExSemigroup 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)

headExProxy a → Element (Proxy a)

lastExProxy a → Element (Proxy a)

unsafeHeadProxy a → Element (Proxy a)

unsafeLastProxy 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

MonoTraversable (Proxy a) 
Instance details

Defined in Data.MonoTraversable

Methods

otraverseApplicative f ⇒ (Element (Proxy a) → f (Element (Proxy a))) → Proxy a → f (Proxy a)

omapMApplicative m ⇒ (Element (Proxy a) → m (Element (Proxy a))) → Proxy a → m (Proxy a)

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

Cyclic (Proxy x) 
Instance details

Defined in Data.Group

Methods

generatorProxy x

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) 
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 (ProxyTypeType) 
Instance details

Defined in Data.Functor.Rep

type Rep (ProxyTypeType) = Void
type Rep (Proxy t) 
Instance details

Defined in GHC.Generics

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

Defined in Data.MonoTraversable

type Element (Proxy a) = a

data FromSomeType (c ∷ TypeConstraint) b where Source #

Constructors

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