Morley.Michelson.Untyped.View

Michelson view.

Documentation

newtype ViewName

Name of the view.

1. It must not exceed 31 chars length;
2. Must use [a-zA-Z0-9_.%@] charset.

Constructors

UnsafeViewName

Fields

• unViewName :: Text

Bundled Patterns

pattern ViewName :: Text -> ViewName

Instances

FromJSON ViewName

Defined in Morley.Michelson.Internal.ViewName

Methods

parseJSON :: Value -> Parser ViewName

parseJSONList :: Value -> Parser [ViewName]

FromJSONKey ViewName

Defined in Morley.Michelson.Internal.ViewName

Methods

fromJSONKey :: FromJSONKeyFunction ViewName

fromJSONKeyList :: FromJSONKeyFunction [ViewName]

ToJSON ViewName

Defined in Morley.Michelson.Internal.ViewName

Methods

toJSON :: ViewName -> Value

toEncoding :: ViewName -> Encoding

toJSONList :: [ViewName] -> Value

toEncodingList :: [ViewName] -> Encoding

ToJSONKey ViewName

Defined in Morley.Michelson.Internal.ViewName

Methods

toJSONKey :: ToJSONKeyFunction ViewName

toJSONKeyList :: ToJSONKeyFunction [ViewName]

Data ViewName

Defined in Morley.Michelson.Internal.ViewName

Methods

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

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

toConstr :: ViewName -> Constr

dataTypeOf :: ViewName -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> ViewName -> ViewName

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

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

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

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

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

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

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

Generic ViewName

Defined in Morley.Michelson.Internal.ViewName

Associated Types

type Rep ViewName :: Type -> Type

Methods

from :: ViewName -> Rep ViewName x

to :: Rep ViewName x -> ViewName

Show ViewName

Defined in Morley.Michelson.Internal.ViewName

Methods

showsPrec :: Int -> ViewName -> ShowS

show :: ViewName -> String

showList :: [ViewName] -> ShowS

NFData ViewName

Defined in Morley.Michelson.Internal.ViewName

Methods

rnf :: ViewName -> ()

Buildable ViewName

Defined in Morley.Michelson.Internal.ViewName

Methods

build :: ViewName -> Builder

Eq ViewName

Defined in Morley.Michelson.Internal.ViewName

Methods

(==) :: ViewName -> ViewName -> Bool

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

Ord ViewName

Defined in Morley.Michelson.Internal.ViewName

Methods

compare :: ViewName -> ViewName -> Ordering

(<) :: ViewName -> ViewName -> Bool

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

(>) :: ViewName -> ViewName -> Bool

(>=) :: ViewName -> ViewName -> Bool

max :: ViewName -> ViewName -> ViewName

min :: ViewName -> ViewName -> ViewName

ToExpression ViewName

Defined in Morley.Micheline.Class

Methods

toExpression :: ViewName -> Expression

RenderDoc ViewName

Defined in Morley.Michelson.Internal.ViewName

Methods

renderDoc :: RenderContext -> ViewName -> Doc

isRenderable :: ViewName -> Bool

HasCLReader ViewName

Defined in Morley.Michelson.Internal.ViewName

Methods

getReader :: ReadM ViewName

getMetavar :: String

FromExp x ViewName

Defined in Morley.Micheline.Class

Methods

fromExp :: Exp x -> Either (FromExpError x) ViewName

type Rep ViewName

Defined in Morley.Michelson.Internal.ViewName

type Rep ViewName = D1 ('MetaData "ViewName" "Morley.Michelson.Internal.ViewName" "morley-1.19.1-inplace" 'True) (C1 ('MetaCons "UnsafeViewName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unViewName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

mkViewName :: Text -> Either BadViewNameError ViewName

Construct ViewName performing all the checks.

data BadViewNameError

Constructors

BadViewTooLong Int

BadViewIllegalChars Text

Instances

Data BadViewNameError

Defined in Morley.Michelson.Internal.ViewName

Methods

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

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

toConstr :: BadViewNameError -> Constr

dataTypeOf :: BadViewNameError -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> BadViewNameError -> BadViewNameError

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

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

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

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

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

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

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

Generic BadViewNameError

Defined in Morley.Michelson.Internal.ViewName

Associated Types

type Rep BadViewNameError :: Type -> Type

Methods

from :: BadViewNameError -> Rep BadViewNameError x

to :: Rep BadViewNameError x -> BadViewNameError

Show BadViewNameError

Defined in Morley.Michelson.Internal.ViewName

Methods

showsPrec :: Int -> BadViewNameError -> ShowS

show :: BadViewNameError -> String

showList :: [BadViewNameError] -> ShowS

NFData BadViewNameError

Defined in Morley.Michelson.Internal.ViewName

Methods

rnf :: BadViewNameError -> ()

Buildable BadViewNameError

Defined in Morley.Michelson.Internal.ViewName

Methods

build :: BadViewNameError -> Builder

Eq BadViewNameError

Defined in Morley.Michelson.Internal.ViewName

Methods

(==) :: BadViewNameError -> BadViewNameError -> Bool

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

Ord BadViewNameError

Defined in Morley.Michelson.Internal.ViewName

Methods

compare :: BadViewNameError -> BadViewNameError -> Ordering

(<) :: BadViewNameError -> BadViewNameError -> Bool

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

(>) :: BadViewNameError -> BadViewNameError -> Bool

(>=) :: BadViewNameError -> BadViewNameError -> Bool

max :: BadViewNameError -> BadViewNameError -> BadViewNameError

min :: BadViewNameError -> BadViewNameError -> BadViewNameError

type Rep BadViewNameError

Defined in Morley.Michelson.Internal.ViewName

type Rep BadViewNameError = D1 ('MetaData "BadViewNameError" "Morley.Michelson.Internal.ViewName" "morley-1.19.1-inplace" 'False) (C1 ('MetaCons "BadViewTooLong" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "BadViewIllegalChars" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

isValidViewNameChar :: Char -> Bool

Whether the given character is valid for a view.

viewNameMaxLength :: Int

Maximum allowed name length for a view.

renderViewName :: ViewName -> Doc

viewNameToMText :: ViewName -> MText

Valid view names form a subset of valid Michelson texts.

data View' op

Untyped view in a contract.

Constructors

View

Fields

• viewName :: ViewName

  View name

• viewArgument :: Ty

  View argument type

• viewReturn :: Ty

  View return type

• viewCode :: [op]

  View code

Instances

Functor View'

Defined in Morley.Michelson.Untyped.View

Methods

fmap :: (a -> b) -> View' a -> View' b

(<$) :: a -> View' b -> View' a

FromJSON op => FromJSON (View' op)

Defined in Morley.Michelson.Untyped.View

Methods

parseJSON :: Value -> Parser (View' op)

parseJSONList :: Value -> Parser [View' op]

ToJSON op => ToJSON (View' op)

Defined in Morley.Michelson.Untyped.View

Methods

toJSON :: View' op -> Value

toEncoding :: View' op -> Encoding

toJSONList :: [View' op] -> Value

toEncodingList :: [View' op] -> Encoding

Data op => Data (View' op)

Defined in Morley.Michelson.Untyped.View

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> View' op -> c (View' op)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (View' op)

toConstr :: View' op -> Constr

dataTypeOf :: View' op -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (View' op))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (View' op))

gmapT :: (forall b. Data b => b -> b) -> View' op -> View' op

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> View' op -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> View' op -> r

gmapQ :: (forall d. Data d => d -> u) -> View' op -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> View' op -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> View' op -> m (View' op)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> View' op -> m (View' op)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> View' op -> m (View' op)

Generic (View' op)

Defined in Morley.Michelson.Untyped.View

Associated Types

type Rep (View' op) :: Type -> Type

Methods

from :: View' op -> Rep (View' op) x

to :: Rep (View' op) x -> View' op

Show op => Show (View' op)

Defined in Morley.Michelson.Untyped.View

Methods

showsPrec :: Int -> View' op -> ShowS

show :: View' op -> String

showList :: [View' op] -> ShowS

NFData op => NFData (View' op)

Defined in Morley.Michelson.Untyped.View

Methods

rnf :: View' op -> ()

Eq op => Eq (View' op)

Defined in Morley.Michelson.Untyped.View

Methods

(==) :: View' op -> View' op -> Bool

(/=) :: View' op -> View' op -> Bool

type Rep (View' op)

Defined in Morley.Michelson.Untyped.View

type Rep (View' op) = D1 ('MetaData "View'" "Morley.Michelson.Untyped.View" "morley-1.19.1-inplace" 'False) (C1 ('MetaCons "View" 'PrefixI 'True) ((S1 ('MetaSel ('Just "viewName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ViewName) :*: S1 ('MetaSel ('Just "viewArgument") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty)) :*: (S1 ('MetaSel ('Just "viewReturn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Ty) :*: S1 ('MetaSel ('Just "viewCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [op]))))

newtype ViewsSet instr

Constructors

UnsafeViewsSet

Fields

• unViewsSet :: Map ViewName (View' instr)

Instances

Functor ViewsSet

Defined in Morley.Michelson.Untyped.View

Methods

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

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

FromJSON instr => FromJSON (ViewsSet instr)

Defined in Morley.Michelson.Untyped.View

Methods

parseJSON :: Value -> Parser (ViewsSet instr)

parseJSONList :: Value -> Parser [ViewsSet instr]

ToJSON instr => ToJSON (ViewsSet instr)

Defined in Morley.Michelson.Untyped.View

Methods

toJSON :: ViewsSet instr -> Value

toEncoding :: ViewsSet instr -> Encoding

toJSONList :: [ViewsSet instr] -> Value

toEncodingList :: [ViewsSet instr] -> Encoding

Data instr => Data (ViewsSet instr)

Defined in Morley.Michelson.Untyped.View

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ViewsSet instr -> c (ViewsSet instr)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ViewsSet instr)

toConstr :: ViewsSet instr -> Constr

dataTypeOf :: ViewsSet instr -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ViewsSet instr))

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

gmapT :: (forall b. Data b => b -> b) -> ViewsSet instr -> ViewsSet instr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ViewsSet instr -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ViewsSet instr -> r

gmapQ :: (forall d. Data d => d -> u) -> ViewsSet instr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ViewsSet instr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ViewsSet instr -> m (ViewsSet instr)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ViewsSet instr -> m (ViewsSet instr)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ViewsSet instr -> m (ViewsSet instr)

Show instr => Show (ViewsSet instr)

Defined in Morley.Michelson.Untyped.View

Methods

showsPrec :: Int -> ViewsSet instr -> ShowS

show :: ViewsSet instr -> String

showList :: [ViewsSet instr] -> ShowS

Default (ViewsSet instr)

Defined in Morley.Michelson.Untyped.View

Methods

def :: ViewsSet instr

NFData instr => NFData (ViewsSet instr)

Defined in Morley.Michelson.Untyped.View

Methods

rnf :: ViewsSet instr -> ()

Eq instr => Eq (ViewsSet instr)

Defined in Morley.Michelson.Untyped.View

Methods

(==) :: ViewsSet instr -> ViewsSet instr -> Bool

(/=) :: ViewsSet instr -> ViewsSet instr -> Bool

Container (ViewsSet instr)

Defined in Morley.Michelson.Untyped.View

Associated Types

type Element (ViewsSet instr)

Methods

toList :: ViewsSet instr -> [Element (ViewsSet instr)]

null :: ViewsSet instr -> Bool

foldr :: (Element (ViewsSet instr) -> b -> b) -> b -> ViewsSet instr -> b

foldl :: (b -> Element (ViewsSet instr) -> b) -> b -> ViewsSet instr -> b

foldl' :: (b -> Element (ViewsSet instr) -> b) -> b -> ViewsSet instr -> b

length :: ViewsSet instr -> Int

elem :: Element (ViewsSet instr) -> ViewsSet instr -> Bool

foldMap :: Monoid m => (Element (ViewsSet instr) -> m) -> ViewsSet instr -> m

fold :: ViewsSet instr -> Element (ViewsSet instr)

foldr' :: (Element (ViewsSet instr) -> b -> b) -> b -> ViewsSet instr -> b

notElem :: Element (ViewsSet instr) -> ViewsSet instr -> Bool

all :: (Element (ViewsSet instr) -> Bool) -> ViewsSet instr -> Bool

any :: (Element (ViewsSet instr) -> Bool) -> ViewsSet instr -> Bool

and :: ViewsSet instr -> Bool

or :: ViewsSet instr -> Bool

find :: (Element (ViewsSet instr) -> Bool) -> ViewsSet instr -> Maybe (Element (ViewsSet instr))

safeHead :: ViewsSet instr -> Maybe (Element (ViewsSet instr))

safeMaximum :: ViewsSet instr -> Maybe (Element (ViewsSet instr))

safeMinimum :: ViewsSet instr -> Maybe (Element (ViewsSet instr))

safeFoldr1 :: (Element (ViewsSet instr) -> Element (ViewsSet instr) -> Element (ViewsSet instr)) -> ViewsSet instr -> Maybe (Element (ViewsSet instr))

safeFoldl1 :: (Element (ViewsSet instr) -> Element (ViewsSet instr) -> Element (ViewsSet instr)) -> ViewsSet instr -> Maybe (Element (ViewsSet instr))

type Element (ViewsSet instr)

Defined in Morley.Michelson.Untyped.View

type Element (ViewsSet instr) = Element (Map ViewName (View' instr))

mkViewsSet :: [View' instr] -> Either ViewsSetError (ViewsSet instr)

data ViewsSetError

Errors possible when constructing ViewsSet.

Constructors

DuplicatedViewName ViewName

Instances

Show ViewsSetError

Defined in Morley.Michelson.Internal.ViewsSet

Methods

showsPrec :: Int -> ViewsSetError -> ShowS

show :: ViewsSetError -> String

showList :: [ViewsSetError] -> ShowS

Buildable ViewsSetError

Defined in Morley.Michelson.Internal.ViewsSet

Methods

build :: ViewsSetError -> Builder

Eq ViewsSetError

Defined in Morley.Michelson.Internal.ViewsSet

Methods

(==) :: ViewsSetError -> ViewsSetError -> Bool

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

Manipulation

emptyViewsSet :: forall instr. ViewsSet instr

addViewToSet :: View' instr -> ViewsSet instr -> Either ViewsSetError (ViewsSet instr)

lookupView :: forall instr. ViewName -> ViewsSet instr -> Maybe (View' instr)

viewsSetNames :: forall instr. ViewsSet instr -> Set ViewName