Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

Contents

Dependent types
Convenience exports

Description

Witness isomorphism between b and HardForkBlock '[b]

Synopsis

class Isomorphic f where
- project ∷ NoHardForks blk ⇒ f (HardForkBlock '[blk]) → f blk
- inject ∷ NoHardForks blk ⇒ f blk → f (HardForkBlock '[blk])
inject' ∷ ∀ proxy f x y blk. (Isomorphic f, NoHardForks blk, Coercible x (f blk), Coercible y (f (HardForkBlock '[blk]))) ⇒ proxy (f blk) → x → y
project' ∷ ∀ proxy f x y blk. (Isomorphic f, NoHardForks blk, Coercible x (f (HardForkBlock '[blk])), Coercible y (f blk)) ⇒ proxy (f blk) → x → y
data ProjHardForkQuery b ∷ Type → Type where
- ProjHardForkQuery ∷ BlockQuery b result' → ProjHardForkQuery b (HardForkQueryResult '[b] result')
injNestedCtxt ∷ NestedCtxt f blk a → NestedCtxt f (HardForkBlock '[blk]) a
injQuery ∷ BlockQuery b result → BlockQuery (HardForkBlock '[b]) (HardForkQueryResult '[b] result)
injQueryResult ∷ result → HardForkQueryResult '[b] result
projNestedCtxt ∷ NestedCtxt f (HardForkBlock '[blk]) a → NestedCtxt f blk a
projQuery ∷ BlockQuery (HardForkBlock '[b]) result → (∀ result'. (result :~: HardForkQueryResult '[b] result') → BlockQuery b result' → a) → a
projQuery' ∷ BlockQuery (HardForkBlock '[b]) result → ProjHardForkQuery b result
projQueryResult ∷ HardForkQueryResult '[b] result → result
newtype I a = I a
data Proxy (t ∷ k) = Proxy

Documentation

class Isomorphic f where Source #

Methods

project ∷ NoHardForks blk ⇒ f (HardForkBlock '[blk]) → f blk Source #

inject ∷ NoHardForks blk ⇒ f blk → f (HardForkBlock '[blk]) Source #

Instances

Instances details

Isomorphic BlockConfig Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ BlockConfig (HardForkBlock '[blk]) → BlockConfig blk Source # inject ∷ NoHardForks blk ⇒ BlockConfig blk → BlockConfig (HardForkBlock '[blk]) Source #
Isomorphic CodecConfig Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ CodecConfig (HardForkBlock '[blk]) → CodecConfig blk Source # inject ∷ NoHardForks blk ⇒ CodecConfig blk → CodecConfig (HardForkBlock '[blk]) Source #
Isomorphic Header Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ Header (HardForkBlock '[blk]) → Header blk Source # inject ∷ NoHardForks blk ⇒ Header blk → Header (HardForkBlock '[blk]) Source #
Isomorphic StorageConfig Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ StorageConfig (HardForkBlock '[blk]) → StorageConfig blk Source # inject ∷ NoHardForks blk ⇒ StorageConfig blk → StorageConfig (HardForkBlock '[blk]) Source #
Isomorphic ForgeStateUpdateInfo Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ ForgeStateUpdateInfo (HardForkBlock '[blk]) → ForgeStateUpdateInfo blk Source # inject ∷ NoHardForks blk ⇒ ForgeStateUpdateInfo blk → ForgeStateUpdateInfo (HardForkBlock '[blk]) Source #
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 Methods project ∷ NoHardForks blk ⇒ TopLevelConfig (HardForkBlock '[blk]) → TopLevelConfig blk Source # inject ∷ NoHardForks blk ⇒ TopLevelConfig blk → TopLevelConfig (HardForkBlock '[blk]) Source #
Isomorphic AnnTip Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ AnnTip (HardForkBlock '[blk]) → AnnTip blk Source # inject ∷ NoHardForks blk ⇒ AnnTip blk → AnnTip (HardForkBlock '[blk]) Source #
Isomorphic HeaderState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ HeaderState (HardForkBlock '[blk]) → HeaderState blk Source # inject ∷ NoHardForks blk ⇒ HeaderState blk → HeaderState (HardForkBlock '[blk]) Source #
Isomorphic LedgerState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ LedgerState (HardForkBlock '[blk]) → LedgerState blk Source # inject ∷ NoHardForks blk ⇒ LedgerState blk → LedgerState (HardForkBlock '[blk]) Source #
Isomorphic ExtLedgerState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ ExtLedgerState (HardForkBlock '[blk]) → ExtLedgerState blk Source # inject ∷ NoHardForks blk ⇒ ExtLedgerState blk → ExtLedgerState (HardForkBlock '[blk]) Source #
Isomorphic GenTx Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ GenTx (HardForkBlock '[blk]) → GenTx blk Source # inject ∷ NoHardForks blk ⇒ GenTx blk → GenTx (HardForkBlock '[blk]) Source #
Isomorphic ProtocolClientInfo Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ ProtocolClientInfo (HardForkBlock '[blk]) → ProtocolClientInfo blk Source # inject ∷ NoHardForks blk ⇒ ProtocolClientInfo blk → ProtocolClientInfo (HardForkBlock '[blk]) Source #
Isomorphic ProtocolInfo Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ ProtocolInfo (HardForkBlock '[blk]) → ProtocolInfo blk Source # inject ∷ NoHardForks blk ⇒ ProtocolInfo blk → ProtocolInfo (HardForkBlock '[blk]) Source #
Isomorphic SerialisedHeader Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ SerialisedHeader (HardForkBlock '[blk]) → SerialisedHeader blk Source # inject ∷ NoHardForks blk ⇒ SerialisedHeader blk → SerialisedHeader (HardForkBlock '[blk]) Source #
Isomorphic WrapApplyTxErr Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapApplyTxErr (HardForkBlock '[blk]) → WrapApplyTxErr blk Source # inject ∷ NoHardForks blk ⇒ WrapApplyTxErr blk → WrapApplyTxErr (HardForkBlock '[blk]) Source #
Isomorphic WrapCanBeLeader Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapCanBeLeader (HardForkBlock '[blk]) → WrapCanBeLeader blk Source # inject ∷ NoHardForks blk ⇒ WrapCanBeLeader blk → WrapCanBeLeader (HardForkBlock '[blk]) Source #
Isomorphic WrapCannotForge Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapCannotForge (HardForkBlock '[blk]) → WrapCannotForge blk Source # inject ∷ NoHardForks blk ⇒ WrapCannotForge blk → WrapCannotForge (HardForkBlock '[blk]) Source #
Isomorphic WrapChainDepState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapChainDepState (HardForkBlock '[blk]) → WrapChainDepState blk Source # inject ∷ NoHardForks blk ⇒ WrapChainDepState blk → WrapChainDepState (HardForkBlock '[blk]) Source #
Isomorphic WrapEnvelopeErr Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapEnvelopeErr (HardForkBlock '[blk]) → WrapEnvelopeErr blk Source # inject ∷ NoHardForks blk ⇒ WrapEnvelopeErr blk → WrapEnvelopeErr (HardForkBlock '[blk]) Source #
Isomorphic WrapForgeStateInfo Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapForgeStateInfo (HardForkBlock '[blk]) → WrapForgeStateInfo blk Source # inject ∷ NoHardForks blk ⇒ WrapForgeStateInfo blk → WrapForgeStateInfo (HardForkBlock '[blk]) Source #
Isomorphic WrapForgeStateUpdateError Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapForgeStateUpdateError (HardForkBlock '[blk]) → WrapForgeStateUpdateError blk Source # inject ∷ NoHardForks blk ⇒ WrapForgeStateUpdateError blk → WrapForgeStateUpdateError (HardForkBlock '[blk]) Source #
Isomorphic WrapGenTxId Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapGenTxId (HardForkBlock '[blk]) → WrapGenTxId blk Source # inject ∷ NoHardForks blk ⇒ WrapGenTxId blk → WrapGenTxId (HardForkBlock '[blk]) Source #
Isomorphic WrapHeaderHash Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapHeaderHash (HardForkBlock '[blk]) → WrapHeaderHash blk Source # inject ∷ NoHardForks blk ⇒ WrapHeaderHash blk → WrapHeaderHash (HardForkBlock '[blk]) Source #
Isomorphic WrapIsLeader Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapIsLeader (HardForkBlock '[blk]) → WrapIsLeader blk Source # inject ∷ NoHardForks blk ⇒ WrapIsLeader blk → WrapIsLeader (HardForkBlock '[blk]) Source #
Isomorphic WrapLedgerErr Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapLedgerErr (HardForkBlock '[blk]) → WrapLedgerErr blk Source # inject ∷ NoHardForks blk ⇒ WrapLedgerErr blk → WrapLedgerErr (HardForkBlock '[blk]) Source #
Isomorphic WrapLedgerView Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapLedgerView (HardForkBlock '[blk]) → WrapLedgerView blk Source # inject ∷ NoHardForks blk ⇒ WrapLedgerView blk → WrapLedgerView (HardForkBlock '[blk]) Source #
Isomorphic WrapTipInfo Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapTipInfo (HardForkBlock '[blk]) → WrapTipInfo blk Source # inject ∷ NoHardForks blk ⇒ WrapTipInfo blk → WrapTipInfo (HardForkBlock '[blk]) Source #
Isomorphic WrapValidatedGenTx Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapValidatedGenTx (HardForkBlock '[blk]) → WrapValidatedGenTx blk Source # inject ∷ NoHardForks blk ⇒ WrapValidatedGenTx blk → WrapValidatedGenTx (HardForkBlock '[blk]) Source #
Isomorphic I Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ I (HardForkBlock '[blk]) → I blk Source # inject ∷ NoHardForks blk ⇒ I blk → I (HardForkBlock '[blk]) Source #
Functor m ⇒ Isomorphic (BlockForging m) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ BlockForging m (HardForkBlock '[blk]) → BlockForging m blk Source # inject ∷ NoHardForks blk ⇒ BlockForging m blk → BlockForging m (HardForkBlock '[blk]) Source #
Functor m ⇒ Isomorphic (InitChainDB m) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ InitChainDB m (HardForkBlock '[blk]) → InitChainDB m blk Source # inject ∷ NoHardForks blk ⇒ InitChainDB m blk → InitChainDB m (HardForkBlock '[blk]) Source #
Isomorphic (ChainHash ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ ChainHash (HardForkBlock '[blk]) → ChainHash blk Source # inject ∷ NoHardForks blk ⇒ ChainHash blk → ChainHash (HardForkBlock '[blk]) Source #
Isomorphic (SomeSecond (NestedCtxt f)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ SomeSecond (NestedCtxt f) (HardForkBlock '[blk]) → SomeSecond (NestedCtxt f) blk Source # inject ∷ NoHardForks blk ⇒ SomeSecond (NestedCtxt f) blk → SomeSecond (NestedCtxt f) (HardForkBlock '[blk]) Source #
Isomorphic ((->) a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ (a -> HardForkBlock '[blk]) → a -> blk Source # inject ∷ NoHardForks blk ⇒ (a -> blk) → a -> HardForkBlock '[blk] Source #
Isomorphic (Ticked :.: LedgerState) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ (Ticked :.: LedgerState) (HardForkBlock '[blk]) → (Ticked :.: LedgerState) blk Source # inject ∷ NoHardForks blk ⇒ (Ticked :.: LedgerState) blk → (Ticked :.: LedgerState) (HardForkBlock '[blk]) Source #

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 ∷ Type → Type where Source #

Constructors

ProjHardForkQuery ∷ BlockQuery b result' → ProjHardForkQuery b (HardForkQueryResult '[b] result')

injNestedCtxt ∷ NestedCtxt f blk a → NestedCtxt f (HardForkBlock '[blk]) a Source #

injQuery ∷ BlockQuery 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 #

projNestedCtxt ∷ NestedCtxt f (HardForkBlock '[blk]) a → NestedCtxt f blk a Source #

projQuery ∷ BlockQuery (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.

projQuery' ∷ BlockQuery (HardForkBlock '[b]) result → ProjHardForkQuery b result Source #

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

Convenience exports

newtype I a Source #

The identity type functor.

Like Identity, but with a shorter name.

Constructors

I a

Instances

Instances details

Foldable I
Instance details Defined in Data.SOP.BasicFunctors Methods fold ∷ Monoid m ⇒ I m → m # foldMap ∷ Monoid m ⇒ (a → m) → I a → m # foldMap' ∷ Monoid m ⇒ (a → m) → I a → m # foldr ∷ (a → b → b) → b → I a → b # foldr' ∷ (a → b → b) → b → I a → b # foldl ∷ (b → a → b) → b → I a → b # foldl' ∷ (b → a → b) → b → I a → b # foldr1 ∷ (a → a → a) → I a → a # foldl1 ∷ (a → a → a) → I a → a # toList ∷ I a → [a] # null ∷ I a → Bool # length ∷ I a → Int # elem ∷ Eq a ⇒ a → I a → Bool # maximum ∷ Ord a ⇒ I a → a # minimum ∷ Ord a ⇒ I a → a # sum ∷ Num a ⇒ I a → a # product ∷ Num a ⇒ I a → a #
Eq1 I	Since: sop-core-0.2.4.0
Instance details Defined in Data.SOP.BasicFunctors Methods liftEq ∷ (a → b → Bool) → I a → I b → Bool #
Ord1 I	Since: sop-core-0.2.4.0
Instance details Defined in Data.SOP.BasicFunctors Methods liftCompare ∷ (a → b → Ordering) → I a → I b → Ordering #
Read1 I	Since: sop-core-0.2.4.0
Instance details Defined in Data.SOP.BasicFunctors Methods liftReadsPrec ∷ (Int → ReadS a) → ReadS [a] → Int → ReadS (I a) # liftReadList ∷ (Int → ReadS a) → ReadS [a] → ReadS [I a] # liftReadPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec (I a) # liftReadListPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec [I a] #
Show1 I	Since: sop-core-0.2.4.0
Instance details Defined in Data.SOP.BasicFunctors Methods liftShowsPrec ∷ (Int → a → ShowS) → ([a] → ShowS) → Int → I a → ShowS # liftShowList ∷ (Int → a → ShowS) → ([a] → ShowS) → [I a] → ShowS #
Traversable I
Instance details Defined in Data.SOP.BasicFunctors Methods traverse ∷ Applicative f ⇒ (a → f b) → I a → f (I b) # sequenceA ∷ Applicative f ⇒ I (f a) → f (I a) # mapM ∷ Monad m ⇒ (a → m b) → I a → m (I b) # sequence ∷ Monad m ⇒ I (m a) → m (I a) #
Applicative I
Instance details Defined in Data.SOP.BasicFunctors Methods pure ∷ a → I a # (<>) ∷ I (a → b) → I a → I b # liftA2 ∷ (a → b → c) → I a → I b → I c # (>) ∷ I a → I b → I b # (<*) ∷ I a → I b → I a #
Functor I
Instance details Defined in Data.SOP.BasicFunctors Methods fmap ∷ (a → b) → I a → I b # (<$) ∷ a → I b → I a #
Monad I
Instance details Defined in Data.SOP.BasicFunctors Methods (>>=) ∷ I a → (a → I b) → I b # (>>) ∷ I a → I b → I b # return ∷ a → I a #
NFData1 I	Since: sop-core-0.2.5.0
Instance details Defined in Data.SOP.BasicFunctors Methods liftRnf ∷ (a → ()) → I a → () #
Inject I Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → I x → I (HardForkBlock xs) Source #
Isomorphic I Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ I (HardForkBlock '[blk]) → I blk Source # inject ∷ NoHardForks blk ⇒ I blk → I (HardForkBlock '[blk]) Source #
SerialiseNodeToClient blk blk ⇒ SerialiseNodeToClient blk (I blk) Source #
Instance details Defined in Ouroboros.Consensus.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig blk → BlockNodeToClientVersion blk → I blk → Encoding Source # decodeNodeToClient ∷ CodecConfig 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 encodeNodeToNode ∷ CodecConfig blk → BlockNodeToNodeVersion blk → I blk → Encoding Source # decodeNodeToNode ∷ CodecConfig blk → BlockNodeToNodeVersion 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 decodeDisk ∷ CodecConfig blk → ∀ s. Decoder s (DepPair (f blk)) Source #
DecodeDisk blk blk ⇒ DecodeDisk blk (I blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.Serialisation Methods decodeDisk ∷ CodecConfig blk → ∀ s. Decoder s (I blk) Source #
(EncodeDiskDepIx f blk, EncodeDiskDep f blk) ⇒ EncodeDisk blk (DepPair (f blk)) Source #
Instance details Defined in Ouroboros.Consensus.Storage.Serialisation Methods encodeDisk ∷ CodecConfig blk → DepPair (f blk) → Encoding Source #
EncodeDisk blk blk ⇒ EncodeDisk blk (I blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.Serialisation Methods encodeDisk ∷ CodecConfig blk → I blk → Encoding Source #
Monoid a ⇒ Monoid (I a)	Since: sop-core-0.4.0.0
Instance details Defined in Data.SOP.BasicFunctors Methods mempty ∷ I a # mappend ∷ I a → I a → I a # mconcat ∷ [I a] → I a #
Semigroup a ⇒ Semigroup (I a)	Since: sop-core-0.4.0.0
Instance details Defined in Data.SOP.BasicFunctors Methods (<>) ∷ I a → I a → I a # sconcat ∷ NonEmpty (I a) → I a # stimes ∷ Integral b ⇒ b → I a → I a #
Generic (I a)
Instance details Defined in Data.SOP.BasicFunctors Associated Types type Rep (I a) ∷ Type → Type # Methods from ∷ I a → Rep (I a) x # to ∷ Rep (I a) x → I a #
Read a ⇒ Read (I a)
Instance details Defined in Data.SOP.BasicFunctors Methods readsPrec ∷ Int → ReadS (I a) # readList ∷ ReadS [I a] # readPrec ∷ ReadPrec (I a) # readListPrec ∷ ReadPrec [I a] #
Show a ⇒ Show (I a)
Instance details Defined in Data.SOP.BasicFunctors Methods showsPrec ∷ Int → I a → ShowS # show ∷ I a → String # showList ∷ [I a] → ShowS #
NFData a ⇒ NFData (I a)	Since: sop-core-0.2.5.0
Instance details Defined in Data.SOP.BasicFunctors Methods rnf ∷ I a → () #
Eq a ⇒ Eq (I a)
Instance details Defined in Data.SOP.BasicFunctors Methods (==) ∷ I a → I a → Bool # (/=) ∷ I a → I a → Bool #
Ord a ⇒ Ord (I a)
Instance details Defined in Data.SOP.BasicFunctors Methods compare ∷ I a → I a → Ordering # (<) ∷ I a → I a → Bool # (<=) ∷ I a → I a → Bool # (>) ∷ I a → I a → Bool # (>=) ∷ I a → I a → Bool # max ∷ I a → I a → I a # min ∷ I a → I a → I a #
Condense a ⇒ Condense (I a) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ I 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-b5b69b7dba5ecaa64848d00c74fa164a9aaf19ec4d0f538141b1b266e589df3a" 'True) (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

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

ApplicativeB (Proxy ∷ (k → Type) → Type)
Instance details Defined in Barbies.Internal.ApplicativeB Methods bpure ∷ (∀ (a ∷ k0). f a) → Proxy f Source # bprod ∷ ∀ (f ∷ k0 → Type) (g ∷ k0 → Type). Proxy f → Proxy g → Proxy (Product f g) Source #
ConstraintsB (Proxy ∷ (k → Type) → Type)
Instance details Defined in Barbies.Internal.ConstraintsB Associated Types type AllB c Proxy Source # Methods baddDicts ∷ ∀ (c ∷ k0 → Constraint) (f ∷ k0 → Type). AllB c Proxy ⇒ Proxy f → Proxy (Product (Dict c) f) Source #
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) Source #
FunctorB (Proxy ∷ (k → Type) → Type)
Instance details Defined in Barbies.Internal.FunctorB Methods bmap ∷ (∀ (a ∷ k0). f a → g a) → Proxy f → Proxy g Source #
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) Source #
Generic1 (Proxy ∷ k → Type)
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 #
RepeatWithIndex Void (Proxy ∷ Type → Type)
Instance details Defined in Data.Semialign.Internal Methods irepeat ∷ (Void → a) → Proxy a Source #
SemialignWithIndex Void (Proxy ∷ Type → Type)
Instance details Defined in Data.Semialign.Internal Methods ialignWith ∷ (Void → These a b → c) → Proxy a → Proxy b → Proxy c Source #
ZipWithIndex Void (Proxy ∷ Type → Type)
Instance details Defined in Data.Semialign.Internal Methods izipWith ∷ (Void → a → b → c) → Proxy a → Proxy b → Proxy c Source #
Representable (Proxy ∷ Type → Type)
Instance details Defined in Data.Functor.Rep Associated Types type Rep Proxy Source # Methods tabulate ∷ (Rep Proxy → a) → Proxy a Source # index ∷ Proxy a → Rep Proxy → a Source #
Foldable (Proxy ∷ Type → Type)	Since: base-4.7.0.0
Instance details Defined in Data.Foldable Methods fold ∷ Monoid m ⇒ Proxy m → m # foldMap ∷ Monoid 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 # toList ∷ Proxy a → [a] # null ∷ Proxy a → Bool # length ∷ Proxy a → Int # elem ∷ Eq a ⇒ a → Proxy a → Bool # maximum ∷ Ord a ⇒ Proxy a → a # minimum ∷ Ord a ⇒ Proxy a → a # sum ∷ Num a ⇒ Proxy a → a # product ∷ Num a ⇒ Proxy a → a #
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 #
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 #
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) # liftReadList ∷ (Int → ReadS a) → ReadS [a] → ReadS [Proxy a] # liftReadPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec (Proxy a) # liftReadListPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec [Proxy a] #
Show1 (Proxy ∷ Type → 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 # liftShowList ∷ (Int → a → ShowS) → ([a] → ShowS) → [Proxy a] → ShowS #
Contravariant (Proxy ∷ Type → Type)
Instance details Defined in Data.Functor.Contravariant Methods contramap ∷ (a' → a) → Proxy a → Proxy a' # (>$) ∷ b → Proxy b → Proxy a #
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) # sequenceA ∷ Applicative f ⇒ Proxy (f a) → f (Proxy a) # mapM ∷ Monad m ⇒ (a → m b) → Proxy a → m (Proxy b) # sequence ∷ Monad m ⇒ Proxy (m a) → m (Proxy a) #
Alternative (Proxy ∷ Type → Type)	Since: base-4.9.0.0
Instance details Defined in Data.Proxy Methods empty ∷ Proxy a # (<\|>) ∷ Proxy a → Proxy a → Proxy a # some ∷ Proxy a → Proxy [a] # many ∷ Proxy a → Proxy [a] #
Applicative (Proxy ∷ Type → Type)	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 #
Functor (Proxy ∷ Type → Type)	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 #
Monad (Proxy ∷ Type → Type)	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 #
MonadPlus (Proxy ∷ Type → Type)	Since: base-4.9.0.0
Instance details Defined in Data.Proxy Methods mzero ∷ Proxy a # mplus ∷ Proxy a → Proxy a → Proxy a #
NFData1 (Proxy ∷ Type → Type)	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods liftRnf ∷ (a → ()) → Proxy a → () #
Hashable1 (Proxy ∷ Type → Type)
Instance details Defined in Data.Hashable.Class Methods liftHashWithSalt ∷ (Int → a → Int) → Int → Proxy a → Int Source #
Align (Proxy ∷ Type → Type)
Instance details Defined in Data.Semialign.Internal Methods nil ∷ Proxy a Source #
Repeat (Proxy ∷ Type → Type)
Instance details Defined in Data.Semialign.Internal Methods repeat ∷ a → Proxy a Source #
Semialign (Proxy ∷ Type → Type)
Instance details Defined in Data.Semialign.Internal Methods align ∷ Proxy a → Proxy b → Proxy (These a b) Source # alignWith ∷ (These a b → c) → Proxy a → Proxy b → Proxy c Source #
Unalign (Proxy ∷ Type → Type)
Instance details Defined in Data.Semialign.Internal Methods unalign ∷ Proxy (These a b) → (Proxy a, Proxy b) Source # unalignWith ∷ (c → These a b) → Proxy c → (Proxy a, Proxy b) Source #
Unzip (Proxy ∷ Type → Type)
Instance details Defined in Data.Semialign.Internal Methods unzipWith ∷ (c → (a, b)) → Proxy c → (Proxy a, Proxy b) Source # unzip ∷ Proxy (a, b) → (Proxy a, Proxy b) Source #
Zip (Proxy ∷ Type → Type)
Instance details Defined in Data.Semialign.Internal Methods zip ∷ Proxy a → Proxy b → Proxy (a, b) Source # zipWith ∷ (a → b → c) → Proxy a → Proxy b → Proxy c Source #
Monoid (Proxy s)	Since: base-4.7.0.0
Instance details Defined in Data.Proxy Methods mempty ∷ Proxy s # mappend ∷ Proxy s → Proxy s → Proxy s # mconcat ∷ [Proxy s] → Proxy s #
Semigroup (Proxy s)	Since: base-4.9.0.0
Instance details Defined in Data.Proxy Methods (<>) ∷ Proxy s → Proxy s → Proxy s # sconcat ∷ NonEmpty (Proxy s) → Proxy s # stimes ∷ Integral b ⇒ b → Proxy s → Proxy s #
Bounded (Proxy t)	Since: base-4.7.0.0
Instance details Defined in Data.Proxy Methods minBound ∷ Proxy t # maxBound ∷ Proxy t #
Enum (Proxy s)	Since: base-4.7.0.0
Instance details Defined in Data.Proxy Methods succ ∷ Proxy s → Proxy s # pred ∷ Proxy s → Proxy s # toEnum ∷ Int → Proxy s # fromEnum ∷ Proxy s → Int # enumFrom ∷ Proxy s → [Proxy s] # enumFromThen ∷ Proxy s → Proxy s → [Proxy s] # enumFromTo ∷ Proxy s → Proxy s → [Proxy s] # enumFromThenTo ∷ Proxy s → Proxy s → Proxy s → [Proxy s] #
Generic (Proxy t)
Instance details Defined in GHC.Generics Associated Types type Rep (Proxy t) ∷ Type → Type # Methods from ∷ Proxy t → Rep (Proxy t) x # to ∷ Rep (Proxy t) x → Proxy t #
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 #
Read (Proxy t)	Since: base-4.7.0.0
Instance details Defined in Data.Proxy Methods readsPrec ∷ Int → ReadS (Proxy t) # readList ∷ ReadS [Proxy t] # readPrec ∷ ReadPrec (Proxy t) # readListPrec ∷ ReadPrec [Proxy t] #
Show (Proxy s)	Since: base-4.7.0.0
Instance details Defined in Data.Proxy Methods showsPrec ∷ Int → Proxy s → ShowS # show ∷ Proxy s → String # showList ∷ [Proxy s] → ShowS #
NFData (Proxy a)	Since: deepseq-1.4.0.0
Instance details Defined in Control.DeepSeq Methods rnf ∷ Proxy a → () #
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 compare ∷ Proxy s → Proxy s → Ordering # (<) ∷ Proxy s → Proxy s → Bool # (<=) ∷ Proxy s → Proxy s → Bool # (>) ∷ Proxy s → Proxy s → Bool # (>=) ∷ Proxy s → Proxy s → Bool # max ∷ Proxy s → Proxy s → Proxy s # min ∷ Proxy s → Proxy s → Proxy s #
Hashable (Proxy a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Proxy a → Int Source # hash ∷ Proxy a → Int Source #
MonoFoldable (Proxy a)	Since: mono-traversable-1.0.11.0
Instance details Defined in Data.MonoTraversable Methods ofoldMap ∷ Monoid m ⇒ (Element (Proxy a) → m) → Proxy a → m Source # ofoldr ∷ (Element (Proxy a) → b → b) → b → Proxy a → b Source # ofoldl' ∷ (a0 → Element (Proxy a) → a0) → a0 → Proxy a → a0 Source # otoList ∷ Proxy a → [Element (Proxy a)] Source # oall ∷ (Element (Proxy a) → Bool) → Proxy a → Bool Source # oany ∷ (Element (Proxy a) → Bool) → Proxy a → Bool Source # onull ∷ Proxy a → Bool Source # olength ∷ Proxy a → Int Source # olength64 ∷ Proxy a → Int64 Source # ocompareLength ∷ Integral i ⇒ Proxy a → i → Ordering Source # otraverse_ ∷ Applicative f ⇒ (Element (Proxy a) → f b) → Proxy a → f () Source # ofor_ ∷ Applicative f ⇒ Proxy a → (Element (Proxy a) → f b) → f () Source # omapM_ ∷ Applicative m ⇒ (Element (Proxy a) → m ()) → Proxy a → m () Source # oforM_ ∷ Applicative m ⇒ Proxy a → (Element (Proxy a) → m ()) → m () Source # ofoldlM ∷ Monad m ⇒ (a0 → Element (Proxy a) → m a0) → a0 → Proxy a → m a0 Source # ofoldMap1Ex ∷ Semigroup m ⇒ (Element (Proxy a) → m) → Proxy a → m Source # ofoldr1Ex ∷ (Element (Proxy a) → Element (Proxy a) → Element (Proxy a)) → Proxy a → Element (Proxy a) Source # ofoldl1Ex' ∷ (Element (Proxy a) → Element (Proxy a) → Element (Proxy a)) → Proxy a → Element (Proxy a) Source # headEx ∷ Proxy a → Element (Proxy a) Source # lastEx ∷ Proxy a → Element (Proxy a) Source # unsafeHead ∷ Proxy a → Element (Proxy a) Source # unsafeLast ∷ Proxy a → Element (Proxy a) Source # maximumByEx ∷ (Element (Proxy a) → Element (Proxy a) → Ordering) → Proxy a → Element (Proxy a) Source # minimumByEx ∷ (Element (Proxy a) → Element (Proxy a) → Ordering) → Proxy a → Element (Proxy a) Source # oelem ∷ Element (Proxy a) → Proxy a → Bool Source # onotElem ∷ Element (Proxy a) → Proxy a → Bool Source #
MonoFunctor (Proxy a)	Since: mono-traversable-1.0.11.0
Instance details Defined in Data.MonoTraversable Methods omap ∷ (Element (Proxy a) → Element (Proxy a)) → Proxy a → Proxy a Source #
MonoPointed (Proxy a)	Since: mono-traversable-1.0.11.0
Instance details Defined in Data.MonoTraversable Methods opoint ∷ Element (Proxy a) → Proxy a Source #
MonoTraversable (Proxy a)	Since: mono-traversable-1.0.11.0
Instance details Defined in Data.MonoTraversable Methods otraverse ∷ Applicative f ⇒ (Element (Proxy a) → f (Element (Proxy a))) → Proxy a → f (Proxy a) Source # omapM ∷ Applicative m ⇒ (Element (Proxy a) → m (Element (Proxy a))) → Proxy a → m (Proxy a) Source #
Serialise (Proxy a)	Since: serialise-0.2.0.0
Instance details Defined in Codec.Serialise.Class Methods encode ∷ Proxy a → Encoding Source # decode ∷ Decoder s (Proxy a) Source # encodeList ∷ [Proxy a] → Encoding Source # decodeList ∷ Decoder s [Proxy a] Source #
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