clash-prelude-0.99.1: CAES Language for Synchronous Hardware - Prelude library

Copyright(C) 2013-2016 University of Twente
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellSafe
LanguageHaskell2010
Extensions
  • MonoLocalBinds
  • GADTs
  • GADTSyntax
  • DataKinds
  • KindSignatures

Clash.Promoted.Symbol

Description

 
Synopsis

Documentation

data SSymbol (s :: Symbol) where Source #

Singleton value for a type-level string s

Constructors

SSymbol :: KnownSymbol s => SSymbol s 
Instances
Show (SSymbol s) Source # 
Instance details

Methods

showsPrec :: Int -> SSymbol s -> ShowS #

show :: SSymbol s -> String #

showList :: [SSymbol s] -> ShowS #

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

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

ssymbolToString :: SSymbol s -> String Source #

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