morley-1.12.0: Developer tools for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Util.Label

Description

Definition of the Label type and utilities

Synopsis

Definitions

data Label (name :: Symbol) where Source #

Proxy for a label type that includes the KnownSymbol constraint

Constructors

Label :: KnownSymbol name => Label name 

Instances

Instances details
(KnownSymbol name, s ~ name) => IsLabel s (Label name) Source # 
Instance details

Defined in Util.Label

Methods

fromLabel :: Label name #

Eq (Label name) Source # 
Instance details

Defined in Util.Label

Methods

(==) :: Label name -> Label name -> Bool #

(/=) :: Label name -> Label name -> Bool #

Show (Label name) Source # 
Instance details

Defined in Util.Label

Methods

showsPrec :: Int -> Label name -> ShowS #

show :: Label name -> String #

showList :: [Label name] -> ShowS #

Buildable (Label name) Source # 
Instance details

Defined in Util.Label

Methods

build :: Label name -> Builder #

Utilities

labelToText :: Label name -> Text Source #

Utility function to get the Text representation of a Label

Re-exports

class IsLabel (x :: Symbol) a where #

Methods

fromLabel :: a #

Instances

Instances details
(KnownSymbol name, s ~ name) => IsLabel s (Label name) Source # 
Instance details

Defined in Util.Label

Methods

fromLabel :: Label name #

name ~ name' => IsLabel name' (Name name) 
Instance details

Defined in Named.Internal

Methods

fromLabel :: Name name #

(p ~ NamedF f a name, InjValue f) => IsLabel name (a -> Param p) 
Instance details

Defined in Named.Internal

Methods

fromLabel :: a -> Param p #

(name ~ name', a ~ a', InjValue f) => IsLabel name (a -> NamedF f a' name') 
Instance details

Defined in Named.Internal

Methods

fromLabel :: a -> NamedF f a' name' #