Clash.Promoted.Symbol

Documentation

data SSymbol (s :: Symbol) where

Singleton value for a type-level string s

Constructors

SSymbol :: KnownSymbol s => SSymbol s

Instances

KnownSymbol s => Lift (SSymbol s :: Type)

Defined in Clash.Promoted.Symbol

Methods

lift :: SSymbol s -> Q Exp

liftTyped :: SSymbol s -> Q (TExp (SSymbol s))

Show (SSymbol s)

Defined in Clash.Promoted.Symbol

Methods

showsPrec :: Int -> SSymbol s -> ShowS

show :: SSymbol s -> String

showList :: [SSymbol s] -> ShowS

ssymbolProxy :: KnownSymbol s => proxy s -> SSymbol s

Create a singleton symbol literal SSymbol s from a proxy for s

ssymbolToString :: SSymbol s -> String

Reify the type-level Symbol s to it's term-level String representation.