Safe Haskell	None
Language	Haskell2010

Michelson.Untyped.Annotation

Description

Michelson annotations in untyped model.

Synopsis

newtype Annotation tag = Annotation Text
pattern WithAnn :: Annotation tag -> Annotation tag
type TypeAnn = Annotation TypeTag
type FieldAnn = Annotation FieldTag
type VarAnn = Annotation VarTag
type SomeAnn = Annotation SomeTag
noAnn :: Annotation a
ann :: Text -> Annotation a
renderAnn :: forall tag. KnownAnnTag tag => Annotation tag -> Doc
renderWEAnn :: forall tag. KnownAnnTag tag => Annotation tag -> Doc
unifyAnn :: Annotation tag -> Annotation tag -> Maybe (Annotation tag)
ifAnnUnified :: Annotation tag -> Annotation tag -> Bool
disjoinVn :: VarAnn -> (VarAnn, VarAnn)
convAnn :: Annotation tag1 -> Annotation tag2

Documentation

newtype Annotation tag Source #

Constructors

Annotation Text

Instances

Semigroup VarAnn Source #
Instance details Defined in Michelson.Untyped.Annotation Methods (<>) :: VarAnn -> VarAnn -> VarAnn # sconcat :: NonEmpty VarAnn -> VarAnn # stimes :: Integral b => b -> VarAnn -> VarAnn #
Monoid VarAnn Source #
Instance details Defined in Michelson.Untyped.Annotation Methods mempty :: VarAnn # mappend :: VarAnn -> VarAnn -> VarAnn # mconcat :: [VarAnn] -> VarAnn #
Arbitrary VarAnn Source #
Instance details Defined in Util.Test.Arbitrary Methods arbitrary :: Gen VarAnn # shrink :: VarAnn -> [VarAnn] #
Arbitrary FieldAnn Source #
Instance details Defined in Util.Test.Arbitrary Methods arbitrary :: Gen FieldAnn # shrink :: FieldAnn -> [FieldAnn] #
Arbitrary TypeAnn Source #
Instance details Defined in Util.Test.Arbitrary Methods arbitrary :: Gen TypeAnn # shrink :: TypeAnn -> [TypeAnn] #
ToADTArbitrary VarAnn Source #
Instance details Defined in Util.Test.Arbitrary Methods toADTArbitrarySingleton :: Proxy VarAnn -> Gen (ADTArbitrarySingleton VarAnn) # toADTArbitrary :: Proxy VarAnn -> Gen (ADTArbitrary VarAnn) #
ToADTArbitrary FieldAnn Source #
Instance details Defined in Util.Test.Arbitrary Methods toADTArbitrarySingleton :: Proxy FieldAnn -> Gen (ADTArbitrarySingleton FieldAnn) # toADTArbitrary :: Proxy FieldAnn -> Gen (ADTArbitrary FieldAnn) #
ToADTArbitrary TypeAnn Source #
Instance details Defined in Util.Test.Arbitrary Methods toADTArbitrarySingleton :: Proxy TypeAnn -> Gen (ADTArbitrarySingleton TypeAnn) # toADTArbitrary :: Proxy TypeAnn -> Gen (ADTArbitrary TypeAnn) #
Functor (Annotation :: Type -> Type) Source #
Instance details Defined in Michelson.Untyped.Annotation Methods fmap :: (a -> b) -> Annotation a -> Annotation b # (<$) :: a -> Annotation b -> Annotation a #
Eq (Annotation tag) Source #
Instance details Defined in Michelson.Untyped.Annotation Methods (==) :: Annotation tag -> Annotation tag -> Bool # (/=) :: Annotation tag -> Annotation tag -> Bool #
(Typeable tag, Typeable k) => Data (Annotation tag) Source #
Instance details 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) #
KnownAnnTag tag => Show (Annotation tag) Source #
Instance details Defined in Michelson.Untyped.Annotation Methods showsPrec :: Int -> Annotation tag -> ShowS # show :: Annotation tag -> String # showList :: [Annotation tag] -> ShowS #
IsString (Annotation tag) Source #
Instance details Defined in Michelson.Untyped.Annotation Methods fromString :: String -> Annotation tag #
Generic (Annotation tag) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Michelson.Untyped.Annotation Methods parseJSON :: Value -> Parser (Annotation tag) # parseJSONList :: Value -> Parser [Annotation tag] #
Default (Annotation tag) Source #
Instance details Defined in Michelson.Untyped.Annotation Methods def :: Annotation tag #
KnownAnnTag tag => Buildable (Annotation tag) Source #
Instance details Defined in Michelson.Untyped.Annotation Methods build :: Annotation tag -> Builder #
KnownAnnTag tag => RenderDoc (Annotation tag) Source #
Instance details Defined in Michelson.Untyped.Annotation Methods renderDoc :: RenderContext -> Annotation tag -> Doc Source # isRenderable :: Annotation tag -> Bool Source #
type Rep (Annotation tag) Source #
Instance details Defined in Michelson.Untyped.Annotation type Rep (Annotation tag) = D1 (MetaData "Annotation" "Michelson.Untyped.Annotation" "morley-0.5.0-GrlgowF8t30F9AnUlsv4ov" True) (C1 (MetaCons "Annotation" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

pattern WithAnn :: Annotation tag -> Annotation tag Source #

type TypeAnn = Annotation TypeTag Source #

type FieldAnn = Annotation FieldTag Source #

type VarAnn = Annotation VarTag Source #

type SomeAnn = Annotation SomeTag Source #

noAnn :: Annotation a Source #

ann :: Text -> Annotation a Source #

renderAnn :: forall tag. KnownAnnTag tag => Annotation tag -> Doc Source #

renderWEAnn :: forall tag. KnownAnnTag tag => Annotation tag -> Doc Source #

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`

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

ifAnnUnified :: Annotation tag -> Annotation tag -> Bool Source #

disjoinVn :: VarAnn -> (VarAnn, VarAnn) Source #

convAnn :: Annotation tag1 -> Annotation tag2 Source #