Symbol -package:what4
Haskell symbol, e.g. >>, :%
(Kind) This is the kind of type-level symbols.
(Kind) This is the kind of type-level symbols.
Symbols
Type-level strings.
Note that the operators from this module conflict with
GHC.TypeLits.
Symbol also has instances of
(<>) and
MEmpty.
Symbols like forall, =, ->, etc.
Identifies the type of symbol used with the
Point mark type. It
is used with
MShape,
LeSymbolType, and
LSymbolType.
In version
0.4.0.0 all constructors were changed to start
with
Sym.
Define the `<symbol>` tag, equivalent to a named group.
Unique identifier and the string itself