Michelson.Typed.Extract

Module, containing functions to convert Michelson.Untyped.Type to Michelson.Typed.T.T Michelson type representation (type stripped off all annotations) and to Michelson.Typed.Annotation.Notes value (which contains field and type annotations for a given Michelson type).

I.e. Michelson.Untyped.Type is split to value t :: T and value of type Notes t for which t is a type representation of value t.

Documentation

fromUType :: Type -> T

mkUType :: Sing x -> Notes x -> Type

toUType :: T -> Type

Converts from T to Type.

withUType :: Type -> (forall t. (Typeable t, SingI t) => (Sing t, Notes t) -> r) -> r

Convert Type to the isomorphic set of information from typed world.