Enum Bell Source #
Methods succ :: Bell -> Bell # pred :: Bell -> Bell # toEnum :: Int -> Bell # fromEnum :: Bell -> Int # enumFrom :: Bell -> [Bell] # enumFromThen :: Bell -> Bell -> [Bell] # enumFromTo :: Bell -> Bell -> [Bell] # enumFromThenTo :: Bell -> Bell -> Bell -> [Bell] #
Eq Bell Source #
Methods (==) :: Bell -> Bell -> Bool # (/=) :: Bell -> Bell -> Bool #
Ord Bell Source #
Methods compare :: Bell -> Bell -> Ordering # (<) :: Bell -> Bell -> Bool # (<=) :: Bell -> Bell -> Bool # (>) :: Bell -> Bell -> Bool # (>=) :: Bell -> Bell -> Bool # max :: Bell -> Bell -> Bell # min :: Bell -> Bell -> Bell #
Show Bell Source #
Methods showsPrec :: Int -> Bell -> ShowS # show :: Bell -> String # showList :: [Bell] -> ShowS #

ring :: Bell -> TermDoc Source #

A Color Pretty Printer

type TermDoc = Doc Effect Source #

display :: (MonadIO m, PrettyTerm t) => t -> m () Source #

displayLn :: MonadIO m => PrettyTerm t => t -> m () Source #

Progressively less magical formatting

displayDoc :: (MonadIO m, PrettyTerm t) => Float -> t -> m () Source #

displayDoc' :: (MonadIO m, PrettyTerm t) => Terminal -> Float -> t -> m () Source #

displayDoc'' :: (MonadIO m, PrettyTerm t) => Terminal -> Float -> Int -> t -> m () Source #

A Classy Interface

class Pretty t => PrettyTerm t where Source #

Methods

prettyTerm :: t -> TermDoc Source #

prettyTermList :: [t] -> TermDoc Source #

Instances

PrettyTerm Bool Source #
Methods prettyTerm :: Bool -> TermDoc Source # prettyTermList :: [Bool] -> TermDoc Source #
PrettyTerm Char Source #
Methods prettyTerm :: Char -> TermDoc Source # prettyTermList :: [Char] -> TermDoc Source #
PrettyTerm Double Source #
Methods prettyTerm :: Double -> TermDoc Source # prettyTermList :: [Double] -> TermDoc Source #
PrettyTerm Float Source #
Methods prettyTerm :: Float -> TermDoc Source # prettyTermList :: [Float] -> TermDoc Source #
PrettyTerm Int Source #
Methods prettyTerm :: Int -> TermDoc Source # prettyTermList :: [Int] -> TermDoc Source #
PrettyTerm Int8 Source #
Methods prettyTerm :: Int8 -> TermDoc Source # prettyTermList :: [Int8] -> TermDoc Source #
PrettyTerm Int16 Source #
Methods prettyTerm :: Int16 -> TermDoc Source # prettyTermList :: [Int16] -> TermDoc Source #
PrettyTerm Int32 Source #
Methods prettyTerm :: Int32 -> TermDoc Source # prettyTermList :: [Int32] -> TermDoc Source #
PrettyTerm Int64 Source #
Methods prettyTerm :: Int64 -> TermDoc Source # prettyTermList :: [Int64] -> TermDoc Source #
PrettyTerm Integer Source #
Methods prettyTerm :: Integer -> TermDoc Source # prettyTermList :: [Integer] -> TermDoc Source #
PrettyTerm Natural Source #
Methods prettyTerm :: Natural -> TermDoc Source # prettyTermList :: [Natural] -> TermDoc Source #
PrettyTerm Word Source #
Methods prettyTerm :: Word -> TermDoc Source # prettyTermList :: [Word] -> TermDoc Source #
PrettyTerm Word8 Source #
Methods prettyTerm :: Word8 -> TermDoc Source # prettyTermList :: [Word8] -> TermDoc Source #
PrettyTerm Word16 Source #
Methods prettyTerm :: Word16 -> TermDoc Source # prettyTermList :: [Word16] -> TermDoc Source #
PrettyTerm Word32 Source #
Methods prettyTerm :: Word32 -> TermDoc Source # prettyTermList :: [Word32] -> TermDoc Source #
PrettyTerm Word64 Source #
Methods prettyTerm :: Word64 -> TermDoc Source # prettyTermList :: [Word64] -> TermDoc Source #
PrettyTerm () Source #
Methods prettyTerm :: () -> TermDoc Source # prettyTermList :: [()] -> TermDoc Source #
PrettyTerm ByteString Source #
Methods prettyTerm :: ByteString -> TermDoc Source # prettyTermList :: [ByteString] -> TermDoc Source #
PrettyTerm ByteString Source #
Methods prettyTerm :: ByteString -> TermDoc Source # prettyTermList :: [ByteString] -> TermDoc Source #
PrettyTerm Text Source #
Methods prettyTerm :: Text -> TermDoc Source # prettyTermList :: [Text] -> TermDoc Source #
PrettyTerm Text Source #
Methods prettyTerm :: Text -> TermDoc Source # prettyTermList :: [Text] -> TermDoc Source #
PrettyTerm t => PrettyTerm [t] Source #
Methods prettyTerm :: [t] -> TermDoc Source # prettyTermList :: [[t]] -> TermDoc Source #
PrettyTerm a => PrettyTerm (Maybe a) Source #
Methods prettyTerm :: Maybe a -> TermDoc Source # prettyTermList :: [Maybe a] -> TermDoc Source #
PrettyTerm a => PrettyTerm (NonEmpty a) Source #
Methods prettyTerm :: NonEmpty a -> TermDoc Source # prettyTermList :: [NonEmpty a] -> TermDoc Source #
PrettyTerm a => PrettyTerm (Seq a) Source #
Methods prettyTerm :: Seq a -> TermDoc Source # prettyTermList :: [Seq a] -> TermDoc Source #
(~) * e Effect => PrettyTerm (Doc e) Source #
Methods prettyTerm :: Doc e -> TermDoc Source # prettyTermList :: [Doc e] -> TermDoc Source #
(PrettyTerm a, PrettyTerm b) => PrettyTerm (a, b) Source #
Methods prettyTerm :: (a, b) -> TermDoc Source # prettyTermList :: [(a, b)] -> TermDoc Source #
(PrettyTerm a, PrettyTerm b, PrettyTerm c) => PrettyTerm (a, b, c) Source #
Methods prettyTerm :: (a, b, c) -> TermDoc Source # prettyTermList :: [(a, b, c)] -> TermDoc Source #

Evaluation

type SimpleTermDoc = SimpleDoc Effect Source #

evalTermState :: Monad m => StateT TermState m a -> m a Source #

displayCap :: SimpleTermDoc -> StateT TermState Capability TermOutput Source #