clash-prelude-1.8.4: Clash: a functional hardware description language - Prelude library

Copyright | (C) 2013-2016 University of Twente 2022 QBayLogic B.V.
License | BSD2 (see the file LICENSE)
Maintainer | QBayLogic B.V. <devops@qbaylogic.com>
Safe Haskell | Safe-Inferred
Language | Haskell2010

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

- data SSymbol (s :: Symbol) where
  - SSymbol :: forall (s :: Symbol). KnownSymbol s => SSymbol s
- ssymbolProxy :: forall (s :: Symbol) proxy. KnownSymbol s => proxy s -> SSymbol s
- ssymbolToString :: forall (s :: Symbol). SSymbol s -> String

# Documentation

data SSymbol (s :: Symbol) where Source #

Singleton value for a type-level string `s`

Constructors

SSymbol :: forall (s :: Symbol). KnownSymbol s => SSymbol s |

#### Instances

Instances details

KnownSymbol s => Lift (SSymbol s :: Type) Source # |
Instance details Defined in Clash.Promoted.Symbol Methods lift :: Quote m => SSymbol s -> m Exp Source # liftTyped :: forall (m :: Type -> Type). Quote m => SSymbol s -> Code m (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 :: forall (s :: Symbol) proxy. KnownSymbol s => proxy s -> SSymbol s Source #

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

ssymbolToString :: forall (s :: Symbol). SSymbol s -> String Source #

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