Safe Haskell	None
Language	Haskell2010

Util.Label

Contents

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

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

Utility function to get the Text representation of a Label

class IsLabel (x :: Symbol) a where #

Methods

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' #