Network.Polkadot.Metadata.Type.Discovery

Runtime type discovery for generic metadata structures.

Documentation

data DiscoveryContext

Contains information about types and current context.

Instances

Monoid DiscoveryContext

Defined in Network.Polkadot.Metadata.Type.Discovery

Methods

mempty :: DiscoveryContext

mappend :: DiscoveryContext -> DiscoveryContext -> DiscoveryContext

mconcat :: [DiscoveryContext] -> DiscoveryContext

Semigroup DiscoveryContext

Defined in Network.Polkadot.Metadata.Type.Discovery

Methods

(<>) :: DiscoveryContext -> DiscoveryContext -> DiscoveryContext

sconcat :: NonEmpty DiscoveryContext -> DiscoveryContext

stimes :: Integral b => b -> DiscoveryContext -> DiscoveryContext

Show DiscoveryContext

Defined in Network.Polkadot.Metadata.Type.Discovery

Methods

showsPrec :: Int -> DiscoveryContext -> ShowS

show :: DiscoveryContext -> String

showList :: [DiscoveryContext] -> ShowS

Eq DiscoveryContext

Defined in Network.Polkadot.Metadata.Type.Discovery

Methods

(==) :: DiscoveryContext -> DiscoveryContext -> Bool

(/=) :: DiscoveryContext -> DiscoveryContext -> Bool

class Discovery a where

Collects information about runtime types.

Methods

discovery

Arguments

:: MonadState DiscoveryContext m

=> a

Input data structure that contains type information.

-> m a

Returns the same structure wrapped with registry state monad.

Discover metadata structure for type information.

Instances

Discovery Word8

Skip Word8 when found.

Defined in Network.Polkadot.Metadata.Type.Discovery

Methods

discovery :: MonadState DiscoveryContext m => Word8 -> m Word8

Discovery HexString

Skip HexString when found.

Defined in Network.Polkadot.Metadata.Type.Discovery

Methods

discovery :: MonadState DiscoveryContext m => HexString -> m HexString

Discovery Text

Skip Text when found.

Defined in Network.Polkadot.Metadata.Type.Discovery

Methods

discovery :: MonadState DiscoveryContext m => Text -> m Text

Discovery Type

Register Type when found.

Defined in Network.Polkadot.Metadata.Type.Discovery

Methods

discovery :: MonadState DiscoveryContext m => Type -> m Type

(Generic a, GDiscovery (NS (NP I) (Code a))) => Discovery a

If input type is generic structure, let's go deep using generics.

Defined in Network.Polkadot.Metadata.Type.Discovery

Methods

discovery :: MonadState DiscoveryContext m => a -> m a

runDiscovery :: (Discovery a, Traversable t) => (a -> Text) -> t a -> (t a, Set Type)

Discovery types and returns sanitized metadata and set of discovered types.

prefix :: Lens' DiscoveryContext Text

types :: Lens' DiscoveryContext (Set Type)