Michelson.Untyped.Annotation

Michelson annotations in untyped model.

Documentation

newtype Annotation tag

Constructors

Annotation Text

Instances

Semigroup VarAnn

Defined in Michelson.Untyped.Annotation

Methods

(<>) :: VarAnn -> VarAnn -> VarAnn

sconcat :: NonEmpty VarAnn -> VarAnn

stimes :: Integral b => b -> VarAnn -> VarAnn

Monoid VarAnn

Defined in Michelson.Untyped.Annotation

Methods

mempty :: VarAnn

mappend :: VarAnn -> VarAnn -> VarAnn

mconcat :: [VarAnn] -> VarAnn

Arbitrary VarAnn

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen VarAnn

shrink :: VarAnn -> [VarAnn]

Arbitrary FieldAnn

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen FieldAnn

shrink :: FieldAnn -> [FieldAnn]

Arbitrary TypeAnn

Defined in Util.Test.Arbitrary

Methods

arbitrary :: Gen TypeAnn

shrink :: TypeAnn -> [TypeAnn]

Buildable VarAnn

Defined in Michelson.Untyped.Annotation

Methods

build :: VarAnn -> Builder

Buildable FieldAnn

Defined in Michelson.Untyped.Annotation

Methods

build :: FieldAnn -> Builder

Buildable TypeAnn

Defined in Michelson.Untyped.Annotation

Methods

build :: TypeAnn -> Builder

ToADTArbitrary VarAnn

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy VarAnn -> Gen (ADTArbitrarySingleton VarAnn)

toADTArbitrary :: Proxy VarAnn -> Gen (ADTArbitrary VarAnn)

ToADTArbitrary FieldAnn

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy FieldAnn -> Gen (ADTArbitrarySingleton FieldAnn)

toADTArbitrary :: Proxy FieldAnn -> Gen (ADTArbitrary FieldAnn)

ToADTArbitrary TypeAnn

Defined in Util.Test.Arbitrary

Methods

toADTArbitrarySingleton :: Proxy TypeAnn -> Gen (ADTArbitrarySingleton TypeAnn)

toADTArbitrary :: Proxy TypeAnn -> Gen (ADTArbitrary TypeAnn)

RenderDoc VarAnn

Defined in Michelson.Untyped.Annotation

Methods

renderDoc :: VarAnn -> Doc

isRenderable :: VarAnn -> Bool

RenderDoc FieldAnn

Defined in Michelson.Untyped.Annotation

Methods

renderDoc :: FieldAnn -> Doc

isRenderable :: FieldAnn -> Bool

RenderDoc TypeAnn

Defined in Michelson.Untyped.Annotation

Methods

renderDoc :: TypeAnn -> Doc

isRenderable :: TypeAnn -> Bool

RenderAnn VarAnn

Defined in Michelson.Untyped.Annotation

Methods

renderAnn :: VarAnn -> Doc

RenderAnn FieldAnn

Defined in Michelson.Untyped.Annotation

Methods

renderAnn :: FieldAnn -> Doc

RenderAnn TypeAnn

Defined in Michelson.Untyped.Annotation

Methods

renderAnn :: TypeAnn -> Doc

Functor (Annotation :: Type -> Type)

Defined in Michelson.Untyped.Annotation

Methods

fmap :: (a -> b) -> Annotation a -> Annotation b

(<$) :: a -> Annotation b -> Annotation a

Eq (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

(==) :: Annotation tag -> Annotation tag -> Bool

(/=) :: Annotation tag -> Annotation tag -> Bool

(Typeable tag, Typeable k) => Data (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annotation tag -> c (Annotation tag)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Annotation tag)

toConstr :: Annotation tag -> Constr

dataTypeOf :: Annotation tag -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Annotation tag))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Annotation tag))

gmapT :: (forall b. Data b => b -> b) -> Annotation tag -> Annotation tag

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annotation tag -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annotation tag -> r

gmapQ :: (forall d. Data d => d -> u) -> Annotation tag -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Annotation tag -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annotation tag -> m (Annotation tag)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation tag -> m (Annotation tag)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation tag -> m (Annotation tag)

IsString (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

fromString :: String -> Annotation tag

Generic (Annotation tag)

Defined in Michelson.Untyped.Annotation

Associated Types

type Rep (Annotation tag) :: Type -> Type

Methods

from :: Annotation tag -> Rep (Annotation tag) x

to :: Rep (Annotation tag) x -> Annotation tag

ToJSON (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

toJSON :: Annotation tag -> Value

toEncoding :: Annotation tag -> Encoding

toJSONList :: [Annotation tag] -> Value

toEncodingList :: [Annotation tag] -> Encoding

FromJSON (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

parseJSON :: Value -> Parser (Annotation tag)

parseJSONList :: Value -> Parser [Annotation tag]

Default (Annotation tag)

Defined in Michelson.Untyped.Annotation

Methods

def :: Annotation tag

type Rep (Annotation tag)

Defined in Michelson.Untyped.Annotation

type Rep (Annotation tag) = D1 (MetaData "Annotation" "Michelson.Untyped.Annotation" "morley-0.3.0-7oMtJCcnhvo7MqJS85kloi" True) (C1 (MetaCons "Annotation" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

pattern WithAnn :: Annotation tag -> Annotation tag

type TypeAnn = Annotation TypeTag

type FieldAnn = Annotation FieldTag

type VarAnn = Annotation VarTag

class RenderAnn t where

Typeclass for printing annotations, renderAnn prints empty prefix in case of noAnn.

Such functionality is required in case when instruction has two annotations of the same type, former is empty and the latter is not. So that `PAIR noAnn noAnn noAnn %kek` is printed as `PAIR % %kek`

Methods

renderAnn :: t -> Doc

Instances

RenderAnn VarAnn

Defined in Michelson.Untyped.Annotation

Methods

renderAnn :: VarAnn -> Doc

RenderAnn FieldAnn

Defined in Michelson.Untyped.Annotation

Methods

renderAnn :: FieldAnn -> Doc

RenderAnn TypeAnn

Defined in Michelson.Untyped.Annotation

Methods

renderAnn :: TypeAnn -> Doc

noAnn :: Annotation a

ann :: Text -> Annotation a

unifyAnn :: Annotation tag -> Annotation tag -> Maybe (Annotation tag)

ifAnnUnified :: Annotation tag -> Annotation tag -> Bool

disjoinVn :: VarAnn -> (VarAnn, VarAnn)

convAnn :: Annotation tag1 -> Annotation tag2