Safe Haskell	Safe-Inferred
Language	Haskell2010

Morley.Michelson.Untyped.View

Contents

Manipulation

Description

Michelson view.

Synopsis

newtype ViewName where
- UnsafeViewName {
  - unViewName :: Text
  }
- pattern ViewName :: Text -> ViewName
mkViewName :: Text -> Either BadViewNameError ViewName
data BadViewNameError
- = BadViewTooLong Int
- | BadViewIllegalChars Text
isValidViewNameChar :: Char -> Bool
viewNameMaxLength :: Int
renderViewName :: ViewName -> Doc
viewNameToMText :: ViewName -> MText
data View' op = View {
- viewName :: ViewName
- viewArgument :: Ty
- viewReturn :: Ty
- viewCode :: op
}
newtype ViewsSet instr = ViewsSet {
- unViewsSet :: Map ViewName (View' instr)
}
mkViewsSet :: [View' instr] -> Either ViewsSetError (ViewsSet instr)
data ViewsSetError = DuplicatedViewName ViewName
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

Documentation

newtype ViewName Source #

Name of the view.

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

Constructors

UnsafeViewName
Fields unViewName :: Text

Bundled Patterns

pattern ViewName :: Text -> ViewName

Instances

Instances details

FromJSON ViewName Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods parseJSON :: Value -> Parser ViewName # parseJSONList :: Value -> Parser [ViewName] #
FromJSONKey ViewName Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods fromJSONKey :: FromJSONKeyFunction ViewName # fromJSONKeyList :: FromJSONKeyFunction [ViewName] #
ToJSON ViewName Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods toJSON :: ViewName -> Value # toEncoding :: ViewName -> Encoding # toJSONList :: [ViewName] -> Value # toEncodingList :: [ViewName] -> Encoding #
ToJSONKey ViewName Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods toJSONKey :: ToJSONKeyFunction ViewName # toJSONKeyList :: ToJSONKeyFunction [ViewName] #
Data ViewName Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods showsPrec :: Int -> ViewName -> ShowS # show :: ViewName -> String # showList :: [ViewName] -> ShowS #
NFData ViewName Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods rnf :: ViewName -> () #
Eq ViewName Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods (==) :: ViewName -> ViewName -> Bool # (/=) :: ViewName -> ViewName -> Bool #
Ord ViewName Source #
Instance details 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 Source #
Instance details Defined in Morley.Micheline.Class Methods toExpression :: ViewName -> Expression Source #
RenderDoc ViewName Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods renderDoc :: RenderContext -> ViewName -> Doc Source # isRenderable :: ViewName -> Bool Source #
HasCLReader ViewName Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods getReader :: ReadM ViewName Source # getMetavar :: String Source #
Buildable ViewName Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods build :: ViewName -> Doc buildList :: [ViewName] -> Doc
FromExp x ViewName Source #
Instance details Defined in Morley.Micheline.Class Methods fromExp :: Exp x -> Either (FromExpError x) ViewName Source #
type Rep ViewName Source #
Instance details Defined in Morley.Michelson.Internal.ViewName type Rep ViewName = D1 ('MetaData "ViewName" "Morley.Michelson.Internal.ViewName" "morley-1.20.0-inplace" 'True) (C1 ('MetaCons "UnsafeViewName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unViewName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

mkViewName :: Text -> Either BadViewNameError ViewName Source #

Construct ViewName performing all the checks.

data BadViewNameError Source #

Constructors

BadViewTooLong Int
BadViewIllegalChars Text

Instances

Instances details

Data BadViewNameError Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods showsPrec :: Int -> BadViewNameError -> ShowS # show :: BadViewNameError -> String # showList :: [BadViewNameError] -> ShowS #
NFData BadViewNameError Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods rnf :: BadViewNameError -> () #
Eq BadViewNameError Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods (==) :: BadViewNameError -> BadViewNameError -> Bool # (/=) :: BadViewNameError -> BadViewNameError -> Bool #
Ord BadViewNameError Source #
Instance details 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 #
Buildable BadViewNameError Source #
Instance details Defined in Morley.Michelson.Internal.ViewName Methods build :: BadViewNameError -> Doc buildList :: [BadViewNameError] -> Doc
type Rep BadViewNameError Source #
Instance details Defined in Morley.Michelson.Internal.ViewName type Rep BadViewNameError = D1 ('MetaData "BadViewNameError" "Morley.Michelson.Internal.ViewName" "morley-1.20.0-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 Source #

Whether the given character is valid for a view.

viewNameMaxLength :: Int Source #

Maximum allowed name length for a view.

renderViewName :: ViewName -> Doc Source #

viewNameToMText :: ViewName -> MText Source #

Valid view names form a subset of valid Michelson texts.

data View' op Source #

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

Instances details

Functor View' Source #
Instance details Defined in Morley.Michelson.Untyped.View Methods fmap :: (a -> b) -> View' a -> View' b # (<$) :: a -> View' b -> View' a #
FromJSON op => FromJSON (View' op) Source #
Instance details Defined in Morley.Michelson.Untyped.View Methods parseJSON :: Value -> Parser (View' op) # parseJSONList :: Value -> Parser [View' op] #
ToJSON op => ToJSON (View' op) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Morley.Michelson.Untyped.View Methods rnf :: View' op -> () #
Eq op => Eq (View' op) Source #
Instance details Defined in Morley.Michelson.Untyped.View Methods (==) :: View' op -> View' op -> Bool # (/=) :: View' op -> View' op -> Bool #
type Rep (View' op) Source #
Instance details Defined in Morley.Michelson.Untyped.View type Rep (View' op) = D1 ('MetaData "View'" "Morley.Michelson.Untyped.View" "morley-1.20.0-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 Source #

Constructors

ViewsSet
Fields unViewsSet :: Map ViewName (View' instr)

Instances

Instances details

Functor ViewsSet Source #
Instance details Defined in Morley.Michelson.Untyped.View Methods fmap :: (a -> b) -> ViewsSet a -> ViewsSet b # (<$) :: a -> ViewsSet b -> ViewsSet a #
FromJSON instr => FromJSON (ViewsSet instr) Source #
Instance details Defined in Morley.Michelson.Untyped.View Methods parseJSON :: Value -> Parser (ViewsSet instr) # parseJSONList :: Value -> Parser [ViewsSet instr] #
ToJSON instr => ToJSON (ViewsSet instr) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Morley.Michelson.Untyped.View Methods showsPrec :: Int -> ViewsSet instr -> ShowS # show :: ViewsSet instr -> String # showList :: [ViewsSet instr] -> ShowS #
Default (ViewsSet instr) Source #
Instance details Defined in Morley.Michelson.Untyped.View Methods def :: ViewsSet instr #
NFData instr => NFData (ViewsSet instr) Source #
Instance details Defined in Morley.Michelson.Untyped.View Methods rnf :: ViewsSet instr -> () #
Eq instr => Eq (ViewsSet instr) Source #
Instance details Defined in Morley.Michelson.Untyped.View Methods (==) :: ViewsSet instr -> ViewsSet instr -> Bool # (/=) :: ViewsSet instr -> ViewsSet instr -> Bool #
Container (ViewsSet instr) Source #
Instance details 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) Source #
Instance details Defined in Morley.Michelson.Untyped.View type Element (ViewsSet instr) = Element (Map ViewName (View' instr))

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

data ViewsSetError Source #

Errors possible when constructing ViewsSet.

Constructors

DuplicatedViewName ViewName

Instances

Instances details

Show ViewsSetError Source #
Instance details Defined in Morley.Michelson.Internal.ViewsSet Methods showsPrec :: Int -> ViewsSetError -> ShowS # show :: ViewsSetError -> String # showList :: [ViewsSetError] -> ShowS #
Eq ViewsSetError Source #
Instance details Defined in Morley.Michelson.Internal.ViewsSet Methods (==) :: ViewsSetError -> ViewsSetError -> Bool # (/=) :: ViewsSetError -> ViewsSetError -> Bool #
Buildable ViewsSetError Source #
Instance details Defined in Morley.Michelson.Internal.ViewsSet Methods build :: ViewsSetError -> Doc buildList :: [ViewsSetError] -> Doc

Manipulation

emptyViewsSet :: forall instr. ViewsSet instr Source #

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

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

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