Safe Haskell	None
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 ∷ Type → Type) 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 (fp ∷ QueryFootprint) b res where
- ProjHardForkQuery ∷ ∀ b (fp ∷ QueryFootprint) result'. BlockQuery b fp result' → ProjHardForkQuery fp b (Either (MismatchEraInfo '[b]) result')
injNestedCtxt ∷ ∀ (f ∷ Type → Type) blk a. NestedCtxt f blk a → NestedCtxt f (HardForkBlock '[blk]) a
injQuery ∷ ∀ (fp ∷ QueryFootprint) b result. BlockQuery b fp result → BlockQuery (HardForkBlock '[b]) fp (HardForkQueryResult '[b] result)
injQueryResult ∷ result → HardForkQueryResult '[b] result
projNestedCtxt ∷ ∀ (f ∷ Type → Type) blk a. NestedCtxt f (HardForkBlock '[blk]) a → NestedCtxt f blk a
projQuery ∷ ∀ b (fp ∷ QueryFootprint) result a. BlockQuery (HardForkBlock '[b]) fp result → (∀ result'. (result :~: HardForkQueryResult '[b] result') → BlockQuery b fp result' → a) → a
projQuery' ∷ ∀ b (fp ∷ QueryFootprint) result. BlockQuery (HardForkBlock '[b]) fp result → ProjHardForkQuery fp b result
projQueryResult ∷ HardForkQueryResult '[b] result → result
newtype I a = I a
data Proxy (t ∷ k) = Proxy

Documentation

class Isomorphic (f ∷ Type → Type) 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 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 #
Isomorphic (FlipTickedLedgerState mk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ FlipTickedLedgerState mk (HardForkBlock '[blk]) → FlipTickedLedgerState mk blk Source # inject ∷ NoHardForks blk ⇒ FlipTickedLedgerState mk blk → FlipTickedLedgerState mk (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 (Flip LedgerState mk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ Flip LedgerState mk (HardForkBlock '[blk]) → Flip LedgerState mk blk Source # inject ∷ NoHardForks blk ⇒ Flip LedgerState mk blk → Flip LedgerState mk (HardForkBlock '[blk]) Source #
Isomorphic (Flip ExtLedgerState mk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ Flip ExtLedgerState mk (HardForkBlock '[blk]) → Flip ExtLedgerState mk blk Source # inject ∷ NoHardForks blk ⇒ Flip ExtLedgerState mk blk → Flip ExtLedgerState mk (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 (fp ∷ QueryFootprint) b res where Source #

Constructors

ProjHardForkQuery ∷ ∀ b (fp ∷ QueryFootprint) result'. BlockQuery b fp result' → ProjHardForkQuery fp b (Either (MismatchEraInfo '[b]) result')

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

injQuery ∷ ∀ (fp ∷ QueryFootprint) b result. BlockQuery b fp result → BlockQuery (HardForkBlock '[b]) fp (HardForkQueryResult '[b] result) Source #

Inject BlockQuery

Not an instance of Isomorphic because the types change.

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

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

projQuery ∷ ∀ b (fp ∷ QueryFootprint) result a. BlockQuery (HardForkBlock '[b]) fp result → (∀ result'. (result :~: HardForkQueryResult '[b] result') → BlockQuery b fp result' → a) → a Source #

Project BlockQuery

Not an instance of Isomorphic because the types change.

projQuery' ∷ ∀ b (fp ∷ QueryFootprint) result. BlockQuery (HardForkBlock '[b]) fp result → ProjHardForkQuery fp 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

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 #

NFData1 I

Since: sop-core-0.2.5.0

Instance details

Defined in Data.SOP.BasicFunctors

Methods

liftRnf ∷ (a → ()) → 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 #

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 #

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

Inject I Source #

Instance details

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

Methods

inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex 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 #

NFData a ⇒ NFData (I a)

Since: sop-core-0.2.5.0

Instance details

Defined in Data.SOP.BasicFunctors

Methods

rnf ∷ I a → () #

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)
Instance details Defined in Data.SOP.BasicFunctors type Rep (I a) = D1 ('MetaData "I" "Data.SOP.BasicFunctors" "sop-core-0.5.0.2-2d5968c2c387d0d089fd39c002405249a0d6f2b80f4971660e0c23d6aaa97c1a" 'True) (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

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 #

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-2d5968c2c387d0d089fd39c002405249a0d6f2b80f4971660e0c23d6aaa97c1a" '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 ∷ k). f a) → Proxy f Source #

bprod ∷ ∀ (f ∷ k → Type) (g ∷ k → Type). Proxy f → Proxy g → Proxy (Product f g) Source #

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

Instance details

Defined in Barbies.Internal.ConstraintsB

Methods

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

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

Instance details

Defined in Barbies.Internal.DistributiveB

Methods

bdistribute ∷ ∀ f (g ∷ k → 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 ∷ k). 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 ∷ k). f a → e (g a)) → Proxy f → e (Proxy g) Source #

Generic1 (Proxy ∷ k → Type)

Instance details

Defined in GHC.Internal.Generics

Associated Types

type Rep1 (Proxy ∷ k → Type)	@since base-4.6.0.0
Instance details Defined in GHC.Internal.Generics type Rep1 (Proxy ∷ k → Type) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 ∷ k → Type))

Methods

from1 ∷ ∀ (a ∷ k). Proxy a → Rep1 (Proxy ∷ k → Type) a #

to1 ∷ ∀ (a ∷ k). Rep1 (Proxy ∷ k → Type) 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 ∷ Type → Type)
Instance details Defined in Data.Functor.Rep type Rep (Proxy ∷ Type → Type) = Void

Methods

tabulate ∷ (Rep (Proxy ∷ Type → Type) → a) → Proxy a Source #

index ∷ Proxy a → Rep (Proxy ∷ Type → Type) → a Source #

FromJSON1 (Proxy ∷ Type → Type)

Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

liftParseJSON ∷ Maybe a → (Value → Parser a) → (Value → Parser [a]) → Value → Parser (Proxy a) Source #

liftParseJSONList ∷ Maybe a → (Value → Parser a) → (Value → Parser [a]) → Value → Parser [Proxy a] Source #

liftOmittedField ∷ Maybe a → Maybe (Proxy a) Source #

ToJSON1 (Proxy ∷ Type → Type)

Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

liftToJSON ∷ (a → Bool) → (a → Value) → ([a] → Value) → Proxy a → Value Source #

liftToJSONList ∷ (a → Bool) → (a → Value) → ([a] → Value) → [Proxy a] → Value Source #

liftToEncoding ∷ (a → Bool) → (a → Encoding) → ([a] → Encoding) → Proxy a → Encoding Source #

liftToEncodingList ∷ (a → Bool) → (a → Encoding) → ([a] → Encoding) → [Proxy a] → Encoding Source #

liftOmitField ∷ (a → Bool) → Proxy a → Bool Source #

MonadZip (Proxy ∷ Type → Type)

Since: base-4.9.0.0

Instance details

Defined in Control.Monad.Zip

Methods

mzip ∷ Proxy a → Proxy b → Proxy (a, b) #

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

munzip ∷ Proxy (a, b) → (Proxy a, Proxy b) #

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 #

NFData1 (Proxy ∷ Type → Type)

Since: deepseq-1.4.3.0

Instance details

Defined in Control.DeepSeq

Methods

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

Alternative (Proxy ∷ Type → Type)

@since base-4.9.0.0

Instance details

Defined in GHC.Internal.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 GHC.Internal.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 GHC.Internal.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 GHC.Internal.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 GHC.Internal.Data.Proxy

Methods

mzero ∷ Proxy a #

mplus ∷ Proxy a → Proxy a → Proxy a #

Foldable (Proxy ∷ Type → Type)

@since base-4.7.0.0

Instance details

Defined in GHC.Internal.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 #

Traversable (Proxy ∷ Type → Type)

@since base-4.7.0.0

Instance details

Defined in GHC.Internal.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) #

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 #

FromJSON (Proxy a)

Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON ∷ Value → Parser (Proxy a) Source #

parseJSONList ∷ Value → Parser [Proxy a] Source #

omittedField ∷ Maybe (Proxy a) Source #

ToJSON (Proxy a)

Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON ∷ Proxy a → Value Source #

toEncoding ∷ Proxy a → Encoding Source #

toJSONList ∷ [Proxy a] → Value Source #

toEncodingList ∷ [Proxy a] → Encoding Source #

omitField ∷ Proxy a → Bool Source #

NFData (Proxy a)

Since: deepseq-1.4.0.0

Instance details

Defined in Control.DeepSeq

Methods

rnf ∷ Proxy a → () #

Monoid (Proxy s)

@since base-4.7.0.0

Instance details

Defined in GHC.Internal.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 GHC.Internal.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 GHC.Internal.Data.Proxy

Methods

minBound ∷ Proxy t #

maxBound ∷ Proxy t #

Enum (Proxy s)

@since base-4.7.0.0

Instance details

Defined in GHC.Internal.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.Internal.Generics

Associated Types

type Rep (Proxy t)	@since base-4.6.0.0
Instance details Defined in GHC.Internal.Generics type Rep (Proxy t) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 ∷ 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 GHC.Internal.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 GHC.Internal.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 GHC.Internal.Data.Proxy

Methods

showsPrec ∷ Int → Proxy s → ShowS #

show ∷ Proxy s → String #

showList ∷ [Proxy s] → ShowS #

Eq (Proxy s)

@since base-4.7.0.0

Instance details

Defined in GHC.Internal.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 GHC.Internal.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 #

MonoidNull (Proxy a)

Since: monoid-subclasses-1.2.5.0

Instance details

Defined in Data.Monoid.Null

Methods

null ∷ Proxy a → Bool Source #

PositiveMonoid (Proxy a)

Since: monoid-subclasses-1.2.5.0

Instance details

Defined in Data.Monoid.Null

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.Internal.Generics

type Rep1 (Proxy ∷ k → Type) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" '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.Internal.Generics

type Rep (Proxy t) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 ∷ Type → Type))

type Element (Proxy a)

Instance details

Defined in Data.MonoTraversable

type Element (Proxy a) = a