ouroboros-network-framework-0.1.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Network.Util.ShowProxy

Synopsis

Documentation

class ShowProxy p where Source #

Minimal complete definition

Nothing

Methods

showProxyProxy p → String Source #

default showProxyTypeable p ⇒ Proxy p → String Source #

Instances

Instances details
ShowProxy Int Source # 
Instance details

Defined in Ouroboros.Network.Util.ShowProxy

Methods

showProxyProxy IntString Source #

ShowProxy (Handshake vNumber vParams ∷ Type) Source # 
Instance details

Defined in Ouroboros.Network.Protocol.Handshake.Type

Methods

showProxyProxy (Handshake vNumber vParams) → String Source #

data Proxy (t ∷ k) Source #

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

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

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

Proxy can even hold types of higher kinds,

>>> Proxy :: Proxy Either
Proxy
>>> Proxy :: Proxy Functor
Proxy
>>> Proxy :: Proxy complicatedStructure
Proxy

Constructors

Proxy 

Instances

Instances details
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 #

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 #

Hashable1 (ProxyTypeType) 
Instance details

Defined in Data.Hashable.Class

Methods

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

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 #

Hashable (Proxy a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntProxy a → Int

hashProxy a → Int

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