Network.Polkadot.Metadata.Type.Ast

Runtime metadata type AST.

Documentation

type QSelf = (TypeAst, TypeAst)

Qualified type parameter, e.g., Vec<T as SomeTrait>::SomeType.

type PathSegment = (Text, Maybe [TypeAst])

A segment of a path: an identifier and a set of argument types.

data TypeAst

Simple Rust type AST is used for Metadata type representation.

Constructors

Slice !TypeAst

A variable-length slice ([T]).

Tuple ![TypeAst]

A tuple ((A, B, C, D,...)).

Array !TypeAst !Int

A fixed length array ([T; n]).

Path

Fields

• qself :: !(Maybe QSelf)

  Two types of Vec<T as Trait>.

• segments :: ![PathSegment]

  A segment of a path: an identifier and a set of types.

Instances

Read TypeAst

Defined in Network.Polkadot.Metadata.Type.Ast

Methods

readsPrec :: Int -> ReadS TypeAst

readList :: ReadS [TypeAst]

readPrec :: ReadPrec TypeAst

readListPrec :: ReadPrec [TypeAst]

Show TypeAst

Defined in Network.Polkadot.Metadata.Type.Ast

Methods

showsPrec :: Int -> TypeAst -> ShowS

show :: TypeAst -> String

showList :: [TypeAst] -> ShowS

Eq TypeAst

Defined in Network.Polkadot.Metadata.Type.Ast

Methods

(==) :: TypeAst -> TypeAst -> Bool

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

Ord TypeAst

Defined in Network.Polkadot.Metadata.Type.Ast

Methods

compare :: TypeAst -> TypeAst -> Ordering

(<) :: TypeAst -> TypeAst -> Bool

(<=) :: TypeAst -> TypeAst -> Bool

(>) :: TypeAst -> TypeAst -> Bool

(>=) :: TypeAst -> TypeAst -> Bool

max :: TypeAst -> TypeAst -> TypeAst

min :: TypeAst -> TypeAst -> TypeAst