clash-prelude-1.9.0: Clash: a functional hardware description language - Prelude library
Copyright(C) 2013-2016 University of Twente
2022 QBayLogic B.V.
LicenseBSD2 (see the file LICENSE)
MaintainerQBayLogic B.V. <devops@qbaylogic.com>
Safe HaskellSafe-Inferred
LanguageHaskell2010
Extensions
  • Cpp
  • MonoLocalBinds
  • TemplateHaskellQuotes
  • ScopedTypeVariables
  • BangPatterns
  • ViewPatterns
  • GADTs
  • GADTSyntax
  • DataKinds
  • InstanceSigs
  • StandaloneDeriving
  • DeriveDataTypeable
  • DeriveFunctor
  • DeriveTraversable
  • DeriveFoldable
  • DeriveGeneric
  • DefaultSignatures
  • DeriveLift
  • DerivingStrategies
  • MagicHash
  • KindSignatures
  • PostfixOperators
  • TupleSections
  • TypeOperators
  • ExplicitNamespaces
  • ExplicitForAll
  • BinaryLiterals
  • TypeApplications

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

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

Defined in Clash.Promoted.Symbol

Methods

lift :: SSymbol s -> Q Exp Source #

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

Show (SSymbol s) Source # 
Instance details

Defined in Clash.Promoted.Symbol

Methods

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

show :: SSymbol s -> String Source #

showList :: [SSymbol s] -> ShowS Source #

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.