Safe Haskell	Safe
Language	Haskell2010

Language.PTS.Sym

Synopsis

Documentation

Symbols.

Constructors

Instances

Eq Sym Source #
Instance details Defined in Language.PTS.Sym Methods (==) :: Sym -> Sym -> Bool Source # (/=) :: Sym -> Sym -> Bool Source #
Ord Sym Source #
Instance details Defined in Language.PTS.Sym Methods compare :: Sym -> Sym -> Ordering Source # (<) :: Sym -> Sym -> Bool Source # (<=) :: Sym -> Sym -> Bool Source # (>) :: Sym -> Sym -> Bool Source # (>=) :: Sym -> Sym -> Bool Source # max :: Sym -> Sym -> Sym Source # min :: Sym -> Sym -> Sym Source #
Show Sym Source #
Instance details Defined in Language.PTS.Sym Methods showsPrec :: Int -> Sym -> ShowS Source # show :: Sym -> String Source # showList :: [Sym] -> ShowS Source #
IsString Sym Source #
Instance details Defined in Language.PTS.Sym Methods fromString :: String -> Sym Source #
PrettyPrec Sym Source #	Generates fresh names. Uses `pppMarkSym`, see also `pppFreshSym`, and `pppScopedSym`. `>>>` `prettyPut $ ppp0 ("x" :: Sym)`x `>>>` `prettyPut $ ppp0 ("x2" :: Sym)`x₂
Instance details Defined in Language.PTS.Pretty Methods ppp :: Prec -> Sym -> PrettyM Doc Source #

Irrelevant symbols. Are all equal.

>>> "a" == ("b" :: IrrSym)
True

Constructors

Instances

Eq IrrSym Source #
Instance details Defined in Language.PTS.Sym Methods (==) :: IrrSym -> IrrSym -> Bool Source # (/=) :: IrrSym -> IrrSym -> Bool Source #
Ord IrrSym Source #
Instance details Defined in Language.PTS.Sym Methods compare :: IrrSym -> IrrSym -> Ordering Source # (<) :: IrrSym -> IrrSym -> Bool Source # (<=) :: IrrSym -> IrrSym -> Bool Source # (>) :: IrrSym -> IrrSym -> Bool Source # (>=) :: IrrSym -> IrrSym -> Bool Source # max :: IrrSym -> IrrSym -> IrrSym Source # min :: IrrSym -> IrrSym -> IrrSym Source #
Show IrrSym Source #
Instance details Defined in Language.PTS.Sym Methods showsPrec :: Int -> IrrSym -> ShowS Source # show :: IrrSym -> String Source # showList :: [IrrSym] -> ShowS Source #
IsString IrrSym Source #
Instance details Defined in Language.PTS.Sym Methods fromString :: String -> IrrSym Source #
PrettyPrec IrrSym Source #
Instance details Defined in Language.PTS.Pretty Methods ppp :: Prec -> IrrSym -> PrettyM Doc Source #

Two irrelevant symbols. Either one.

Essentially a Bool.

Constructors

IrrSym1 Sym
IrrSym2 Sym

Instances

Eq IrrSym2 Source #
Instance details Defined in Language.PTS.Sym Methods (==) :: IrrSym2 -> IrrSym2 -> Bool Source # (/=) :: IrrSym2 -> IrrSym2 -> Bool Source #
Show IrrSym2 Source #
Instance details Defined in Language.PTS.Sym Methods showsPrec :: Int -> IrrSym2 -> ShowS Source # show :: IrrSym2 -> String Source # showList :: [IrrSym2] -> ShowS Source #

Three irrelevant symbols.

Constructors

Instances

Eq IrrSym3 Source #
Instance details Defined in Language.PTS.Sym Methods (==) :: IrrSym3 -> IrrSym3 -> Bool Source # (/=) :: IrrSym3 -> IrrSym3 -> Bool Source #
Show IrrSym3 Source #
Instance details Defined in Language.PTS.Sym Methods showsPrec :: Int -> IrrSym3 -> ShowS Source # show :: IrrSym3 -> String Source # showList :: [IrrSym3] -> ShowS Source #

irrSym3fold :: a -> a -> a -> IrrSym3 -> a Source #

three of a kind

Constructors

V3 a a a

Instances

Eq a => Eq (V3 a) Source #
Instance details Defined in Language.PTS.Sym Methods (==) :: V3 a -> V3 a -> Bool Source # (/=) :: V3 a -> V3 a -> Bool Source #
Show a => Show (V3 a) Source #
Instance details Defined in Language.PTS.Sym Methods showsPrec :: Int -> V3 a -> ShowS Source # show :: V3 a -> String Source # showList :: [V3 a] -> ShowS Source #

>>> :set -XOverloadedStrings