ouroboros-consensus-0.1.0.2: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Description

Witness isomorphism between b and HardForkBlock '[b]

Synopsis

Documentation

class Isomorphic f where Source #

Methods

projectNoHardForks blk ⇒ f (HardForkBlock '[blk]) → f blk Source #

injectNoHardForks blk ⇒ f blk → f (HardForkBlock '[blk]) Source #

Instances

Instances details
Isomorphic ChainHash Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

projectNoHardForks blk ⇒ ChainHash (HardForkBlock '[blk]) → ChainHash blk Source #

injectNoHardForks blk ⇒ ChainHash blk → ChainHash (HardForkBlock '[blk]) Source #

Isomorphic I Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

projectNoHardForks blk ⇒ I (HardForkBlock '[blk]) → I blk Source #

injectNoHardForks blk ⇒ I blk → I (HardForkBlock '[blk]) Source #

Isomorphic Header Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

projectNoHardForks blk ⇒ Header (HardForkBlock '[blk]) → Header blk Source #

injectNoHardForks blk ⇒ Header blk → Header (HardForkBlock '[blk]) Source #

Isomorphic StorageConfig Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic CodecConfig Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic BlockConfig Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic LedgerState Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic TopLevelConfig Source #

Projection/injection for TopLevelConfig

NOTE: We do not define one for LedgerConfig or ConsensusConfig, since we need the EraParams for their injections, which we can only derive if we have the top-level config.

Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic GenTx Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

projectNoHardForks blk ⇒ GenTx (HardForkBlock '[blk]) → GenTx blk Source #

injectNoHardForks blk ⇒ GenTx blk → GenTx (HardForkBlock '[blk]) Source #

Isomorphic ForgeStateUpdateInfo Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic HeaderState Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic AnnTip Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

projectNoHardForks blk ⇒ AnnTip (HardForkBlock '[blk]) → AnnTip blk Source #

injectNoHardForks blk ⇒ AnnTip blk → AnnTip (HardForkBlock '[blk]) Source #

Isomorphic WrapLedgerView Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapIsLeader Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapChainDepState Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapCanBeLeader Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapValidatedGenTx Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapTipInfo Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapLedgerErr Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapHeaderHash Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapGenTxId Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapForgeStateUpdateError Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapForgeStateInfo Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapEnvelopeErr Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapCannotForge Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic WrapApplyTxErr Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic SerialisedHeader Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic ExtLedgerState Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic ProtocolClientInfo Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Isomorphic (SomeSecond (NestedCtxt f)) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Functor m ⇒ Isomorphic (BlockForging m) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

projectNoHardForks blk ⇒ BlockForging m (HardForkBlock '[blk]) → BlockForging m blk Source #

injectNoHardForks blk ⇒ BlockForging m blk → BlockForging m (HardForkBlock '[blk]) Source #

Functor m ⇒ Isomorphic (ProtocolInfo m) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

projectNoHardForks blk ⇒ ProtocolInfo m (HardForkBlock '[blk]) → ProtocolInfo m blk Source #

injectNoHardForks blk ⇒ ProtocolInfo m blk → ProtocolInfo m (HardForkBlock '[blk]) Source #

Functor m ⇒ Isomorphic (InitChainDB m) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

projectNoHardForks blk ⇒ InitChainDB m (HardForkBlock '[blk]) → InitChainDB m blk Source #

injectNoHardForks blk ⇒ InitChainDB m blk → InitChainDB m (HardForkBlock '[blk]) Source #

Isomorphic ((->) a ∷ TypeType) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

projectNoHardForks blk ⇒ (a -> HardForkBlock '[blk]) → a -> blk Source #

injectNoHardForks blk ⇒ (a -> blk) → a -> HardForkBlock '[blk] Source #

Isomorphic (Ticked :.: LedgerState) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

inject' ∷ ∀ proxy f x y blk. (Isomorphic f, NoHardForks blk, Coercible x (f blk), Coercible y (f (HardForkBlock '[blk]))) ⇒ proxy (f blk) → x → y Source #

project' ∷ ∀ proxy f x y blk. (Isomorphic f, NoHardForks blk, Coercible x (f (HardForkBlock '[blk])), Coercible y (f blk)) ⇒ proxy (f blk) → x → y Source #

Dependent types

data ProjHardForkQuery b ∷ TypeType where Source #

Constructors

ProjHardForkQueryBlockQuery b result' → ProjHardForkQuery b (HardForkQueryResult '[b] result') 

injQueryBlockQuery b result → BlockQuery (HardForkBlock '[b]) (HardForkQueryResult '[b] result) Source #

Inject BlockQuery

Not an instance of Isomorphic because the types change.

injQueryResult ∷ result → HardForkQueryResult '[b] result Source #

projQueryBlockQuery (HardForkBlock '[b]) result → (∀ result'. (result :~: HardForkQueryResult '[b] result') → BlockQuery b result' → a) → a Source #

Project BlockQuery

Not an instance of Isomorphic because the types change.

projQueryResultHardForkQueryResult '[b] result → result Source #

Convenience exports

newtype I a #

Constructors

I a 

Instances

Instances details
Monad I 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

(>>=)I a → (a → I b) → I b Source #

(>>)I a → I b → I b Source #

return ∷ a → I a Source #

Functor I 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

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

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

Applicative I 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

pure ∷ a → I a Source #

(<*>)I (a → b) → I a → I b Source #

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

(*>)I a → I b → I b Source #

(<*)I a → I b → I a Source #

Foldable I 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

foldMonoid m ⇒ I m → m Source #

foldMapMonoid m ⇒ (a → m) → I a → m Source #

foldMap'Monoid m ⇒ (a → m) → I a → m Source #

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

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

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

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

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

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

toListI a → [a] Source #

nullI a → Bool Source #

lengthI a → Int Source #

elemEq a ⇒ a → I a → Bool Source #

maximumOrd a ⇒ I a → a Source #

minimumOrd a ⇒ I a → a Source #

sumNum a ⇒ I a → a Source #

productNum a ⇒ I a → a Source #

Traversable I 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

traverseApplicative f ⇒ (a → f b) → I a → f (I b) Source #

sequenceAApplicative f ⇒ I (f a) → f (I a) Source #

mapMMonad m ⇒ (a → m b) → I a → m (I b) Source #

sequenceMonad m ⇒ I (m a) → m (I a) Source #

Eq1 I 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

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

Ord1 I 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

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

Read1 I 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

liftReadsPrec ∷ (IntReadS a) → ReadS [a] → IntReadS (I a) Source #

liftReadList ∷ (IntReadS a) → ReadS [a] → ReadS [I a] Source #

liftReadPrecReadPrec a → ReadPrec [a] → ReadPrec (I a) Source #

liftReadListPrecReadPrec a → ReadPrec [a] → ReadPrec [I a] Source #

Show1 I 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

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

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

NFData1 I 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

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

Isomorphic I Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Methods

projectNoHardForks blk ⇒ I (HardForkBlock '[blk]) → I blk Source #

injectNoHardForks blk ⇒ I blk → I (HardForkBlock '[blk]) Source #

Inject I Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary

Methods

inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs BoundIndex xs x → I x → I (HardForkBlock xs) Source #

DecodeDisk blk blk ⇒ DecodeDisk blk (I blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.Serialisation

Methods

decodeDiskCodecConfig blk → ∀ s. Decoder s (I blk) Source #

(DecodeDiskDepIx f blk, DecodeDiskDep f blk) ⇒ DecodeDisk blk (DepPair (f blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.Serialisation

Methods

decodeDiskCodecConfig blk → ∀ s. Decoder s (DepPair (f blk)) Source #

EncodeDisk blk blk ⇒ EncodeDisk blk (I blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.Serialisation

Methods

encodeDiskCodecConfig blk → I blk → Encoding Source #

(EncodeDiskDepIx f blk, EncodeDiskDep f blk) ⇒ EncodeDisk blk (DepPair (f blk)) Source # 
Instance details

Defined in Ouroboros.Consensus.Storage.Serialisation

Methods

encodeDiskCodecConfig blk → DepPair (f blk) → Encoding Source #

SerialiseNodeToClient blk blk ⇒ SerialiseNodeToClient blk (I blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Node.Serialisation

Methods

encodeNodeToClientCodecConfig blk → BlockNodeToClientVersion blk → I blk → Encoding Source #

decodeNodeToClientCodecConfig blk → BlockNodeToClientVersion blk → ∀ s. Decoder s (I blk) Source #

SerialiseNodeToNode blk blk ⇒ SerialiseNodeToNode blk (I blk) Source # 
Instance details

Defined in Ouroboros.Consensus.Node.Serialisation

Methods

encodeNodeToNodeCodecConfig blk → BlockNodeToNodeVersion blk → I blk → Encoding Source #

decodeNodeToNodeCodecConfig blk → BlockNodeToNodeVersion blk → ∀ s. Decoder s (I blk) Source #

Eq a ⇒ Eq (I a) 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

(==)I a → I a → Bool Source #

(/=)I a → I a → Bool Source #

Ord a ⇒ Ord (I a) 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

compareI a → I a → Ordering Source #

(<)I a → I a → Bool Source #

(<=)I a → I a → Bool Source #

(>)I a → I a → Bool Source #

(>=)I a → I a → Bool Source #

maxI a → I a → I a Source #

minI a → I a → I a Source #

Read a ⇒ Read (I a) 
Instance details

Defined in Data.SOP.BasicFunctors

Show a ⇒ Show (I a) 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

showsPrecIntI a → ShowS Source #

showI a → String Source #

showList ∷ [I a] → ShowS Source #

Generic (I a) 
Instance details

Defined in Data.SOP.BasicFunctors

Associated Types

type Rep (I a) ∷ TypeType Source #

Methods

fromI a → Rep (I a) x Source #

toRep (I a) x → I a Source #

Semigroup a ⇒ Semigroup (I a) 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

(<>)I a → I a → I a Source #

sconcatNonEmpty (I a) → I a Source #

stimesIntegral b ⇒ b → I a → I a Source #

Monoid a ⇒ Monoid (I a) 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

memptyI a Source #

mappendI a → I a → I a Source #

mconcat ∷ [I a] → I a Source #

NFData a ⇒ NFData (I a) 
Instance details

Defined in Data.SOP.BasicFunctors

Methods

rnfI a → () Source #

Condense a ⇒ Condense (I a) Source # 
Instance details

Defined in Ouroboros.Consensus.HardFork.Combinator.Condense

Methods

condenseI a → String Source #

type Rep (I a) 
Instance details

Defined in Data.SOP.BasicFunctors

type Rep (I a) = D1 ('MetaData "I" "Data.SOP.BasicFunctors" "sop-core-0.5.0.2-68407ec53617cc8fad5e92b1402f6a7972adf819b4824d4db87718a2e6767435" 'True) (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

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

Since: base-4.6.0.0

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 #

SemialignWithIndex Void (ProxyTypeType) 
Instance details

Defined in Data.Semialign.Internal

Methods

ialignWith ∷ (Void → These a b → c) → Proxy a → Proxy b → Proxy c

ZipWithIndex Void (ProxyTypeType) 
Instance details

Defined in Data.Semialign.Internal

Methods

izipWith ∷ (Void → a → b → c) → Proxy a → Proxy b → Proxy c

RepeatWithIndex Void (ProxyTypeType) 
Instance details

Defined in Data.Semialign.Internal

Methods

irepeat ∷ (Void → a) → Proxy a

Monad (ProxyTypeType)

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 #

Functor (ProxyTypeType)

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 #

Applicative (ProxyTypeType)

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 #

Foldable (ProxyTypeType)

Since: base-4.7.0.0

Instance details

Defined in Data.Foldable

Methods

foldMonoid m ⇒ Proxy m → m Source #

foldMapMonoid 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 #

toListProxy a → [a] Source #

nullProxy a → Bool Source #

lengthProxy a → Int Source #

elemEq a ⇒ a → Proxy a → Bool Source #

maximumOrd a ⇒ Proxy a → a Source #

minimumOrd a ⇒ Proxy a → a Source #

sumNum a ⇒ Proxy a → a Source #

productNum a ⇒ Proxy a → a Source #

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) Source #

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

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

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

Contravariant (ProxyTypeType) 
Instance details

Defined in Data.Functor.Contravariant

Methods

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

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

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 Source #

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 Source #

Read1 (ProxyTypeType)

Since: base-4.9.0.0

Instance details

Defined in Data.Functor.Classes

Methods

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

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

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

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

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 Source #

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

Alternative (ProxyTypeType)

Since: base-4.9.0.0

Instance details

Defined in Data.Proxy

Methods

emptyProxy a Source #

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

someProxy a → Proxy [a] Source #

manyProxy a → Proxy [a] Source #

MonadPlus (ProxyTypeType)

Since: base-4.9.0.0

Instance details

Defined in Data.Proxy

Methods

mzeroProxy a Source #

mplusProxy a → Proxy a → Proxy a Source #

NFData1 (ProxyTypeType)

Since: deepseq-1.4.3.0

Instance details

Defined in Control.DeepSeq

Methods

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

Hashable1 (ProxyTypeType) 
Instance details

Defined in Data.Hashable.Class

Methods

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

Align (ProxyTypeType) 
Instance details

Defined in Data.Semialign.Internal

Methods

nilProxy a

Semialign (ProxyTypeType) 
Instance details

Defined in Data.Semialign.Internal

Methods

alignProxy a → Proxy b → Proxy (These a b)

alignWith ∷ (These a b → c) → Proxy a → Proxy b → Proxy c

Zip (ProxyTypeType) 
Instance details

Defined in Data.Semialign.Internal

Methods

zipProxy a → Proxy b → Proxy (a, b)

zipWith ∷ (a → b → c) → Proxy a → Proxy b → Proxy c

Unalign (ProxyTypeType) 
Instance details

Defined in Data.Semialign.Internal

Methods

unalignProxy (These a b) → (Proxy a, Proxy b)

unalignWith ∷ (c → These a b) → Proxy c → (Proxy a, Proxy b)

Repeat (ProxyTypeType) 
Instance details

Defined in Data.Semialign.Internal

Methods

repeat ∷ a → Proxy a

Unzip (ProxyTypeType) 
Instance details

Defined in Data.Semialign.Internal

Methods

unzipWith ∷ (c → (a, b)) → Proxy c → (Proxy a, Proxy b)

unzipProxy (a, b) → (Proxy a, Proxy b)

Bounded (Proxy t)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Enum (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

succProxy s → Proxy s Source #

predProxy s → Proxy s Source #

toEnumIntProxy s Source #

fromEnumProxy s → Int Source #

enumFromProxy s → [Proxy s] Source #

enumFromThenProxy s → Proxy s → [Proxy s] Source #

enumFromToProxy s → Proxy s → [Proxy s] Source #

enumFromThenToProxy s → Proxy s → Proxy s → [Proxy s] 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

compareProxy 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 #

maxProxy s → Proxy s → Proxy s Source #

minProxy s → Proxy s → Proxy s Source #

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 Source #

showProxy s → String Source #

showList ∷ [Proxy s] → ShowS 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 #

Generic (Proxy t)

Since: base-4.6.0.0

Instance details

Defined in GHC.Generics

Associated Types

type Rep (Proxy t) ∷ TypeType Source #

Methods

fromProxy t → Rep (Proxy t) x Source #

toRep (Proxy t) x → Proxy t Source #

Semigroup (Proxy s)

Since: base-4.9.0.0

Instance details

Defined in Data.Proxy

Methods

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

sconcatNonEmpty (Proxy s) → Proxy s Source #

stimesIntegral b ⇒ b → Proxy s → Proxy s Source #

Monoid (Proxy s)

Since: base-4.7.0.0

Instance details

Defined in Data.Proxy

Methods

memptyProxy s Source #

mappendProxy s → Proxy s → Proxy s Source #

mconcat ∷ [Proxy s] → Proxy s Source #

NFData (Proxy a)

Since: deepseq-1.4.0.0

Instance details

Defined in Control.DeepSeq

Methods

rnfProxy a → () Source #

Hashable (Proxy a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntProxy a → Int

hashProxy a → Int

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]

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