Symbol -package:hvega

Symbol :: String -> Lexeme

base Text.Read Text.Read.Lex, base-compat Text.Read.Compat, ghc-internal GHC.Internal.Text.Read GHC.Internal.Text.Read.Lex

Haskell symbol, e.g. >>, :%

Symbol :: l -> String -> Name l

haskell-src-exts Language.Haskell.Exts.Syntax

varsym or consym

module Data.Constraint.Symbol

Utilities for working with KnownSymbol constraints.

Symbol :: Highlight

parsers Text.Parser.Token.Highlight

Symbol :: String -> TokenT

HaXml Text.XML.HaXml.Xtract.Lex

Symbol :: JSType

jsaddle GHCJS.Foreign GHCJS.Foreign.Internal

data Symbol v c

ghc-typelits-natnormalise GHC.TypeLits.Normalise.SOP

module Fcf.Data.Symbol

first-class-families

Symbols

Type-level strings. Note that the operators from this module conflict with GHC.TypeLits. Symbol also has instances of (<>) and MEmpty.

data () => Symbol

first-class-families Fcf.Data.Symbol, ihaskell IHaskellPrelude, parameterized-utils Data.Parameterized.SymbolRepr

(Kind) This is the kind of type-level symbols.

newtype Symbol

Symbol :: Text -> Symbol

module Clash.Promoted.Symbol

Symbol :: Char -> TokType

commonmark Commonmark.Tokens

Symbol :: Aspect

Agda Agda.Interaction.Highlighting.Precise Agda.Syntax.Common.Aspect

Symbols like forall, =, ->, etc.

data Symbol

Agda Agda.Syntax.Parser.Tokens, opaleye Opaleye.Internal.HaskellDB.PrimQuery

Symbol :: String -> Name

Agda Agda.Utils.Haskell.Syntax

data Symbol

what4 What4.Protocol.SMTLib2.Parse

An SMT symbol

type Symbol = Text

what4 What4.Protocol.SMTLib2.Syntax

module What4.Symbol

This defines a datatype for representing identifiers that can be used with Crucible. These must start with an ASCII letter and can consist of any characters in the set [a-z A-Z '0-9' '_'] as long as the result is not an SMTLIB or Yices keyword.

Symbol :: String -> Tag -> Symbol

opaleye Opaleye.Internal.HaskellDB.PrimQuery

Symbol :: FontName

HPDF Graphics.PDF.Fonts.StandardFont Graphics.PDF.Text

Symbol :: Font

texmath Text.TeXMath.Unicode.Fonts

newtype Symbol a

svg-tree Graphics.Svg.Types

Define the `<symbol>` tag, equivalent to a named group.

Symbol :: Group a -> Symbol a

svg-tree Graphics.Svg.Types