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

Copyright(C) 2013-2015, 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 Source

Singleton value for a type-level string s

Constructors

KnownSymbol s => SSymbol (Proxy s) 

Instances

ssymbol :: KnownSymbol s => SSymbol s Source

Create a singleton literal for a type-level natural number

ssymbolToString :: SSymbol s -> String Source

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