telomare-0.1.0.0: A simple but robust virtual machine
Safe HaskellSafe-Inferred
LanguageHaskell2010

PrettyPrint

Documentation

class PrettyPrintable p where Source #

Methods

showP :: p -> State Int String Source #

Instances

Instances details
PrettyPrintable Term3 Source # 
Instance details

Defined in PrettyPrint

Methods

showP :: Term3 -> State Int String Source #

PrettyPrintable AbortExpr Source # 
Instance details

Defined in Telomare.Possible

Methods

showP :: AbortExpr -> State Int String Source #

PrettyPrintable FunctionIndex Source # 
Instance details

Defined in Telomare.Possible

Methods

showP :: FunctionIndex -> State Int String Source #

PrettyPrintable StuckExpr Source # 
Instance details

Defined in Telomare.Possible

Methods

showP :: StuckExpr -> State Int String Source #

PrettyPrintable SuperExpr Source # 
Instance details

Defined in Telomare.Possible

Methods

showP :: SuperExpr -> State Int String Source #

PrettyPrintable UnsizedExpr Source # 
Instance details

Defined in Telomare.Possible

Methods

showP :: UnsizedExpr -> State Int String Source #

PrettyPrintable Char Source # 
Instance details

Defined in Telomare.Possible

Methods

showP :: Char -> State Int String Source #

(PrettyPrintable1 f, PrettyPrintable x) => PrettyPrintable (f x) Source # 
Instance details

Defined in PrettyPrint

Methods

showP :: f x -> State Int String Source #

class PrettyPrintable1 p where Source #

Methods

showP1 :: PrettyPrintable a => p a -> State Int String Source #

Instances

Instances details
PrettyPrintable1 AbortExprF Source # 
Instance details

Defined in Telomare.Possible

Methods

showP1 :: PrettyPrintable a => AbortExprF a -> State Int String Source #

PrettyPrintable1 AbortableF Source # 
Instance details

Defined in Telomare.Possible

Methods

showP1 :: PrettyPrintable a => AbortableF a -> State Int String Source #

PrettyPrintable1 PartExprF Source # 
Instance details

Defined in Telomare.Possible

Methods

showP1 :: PrettyPrintable a => PartExprF a -> State Int String Source #

PrettyPrintable1 StuckExprF Source # 
Instance details

Defined in Telomare.Possible

Methods

showP1 :: PrettyPrintable a => StuckExprF a -> State Int String Source #

PrettyPrintable1 StuckF Source # 
Instance details

Defined in Telomare.Possible

Methods

showP1 :: PrettyPrintable a => StuckF a -> State Int String Source #

PrettyPrintable1 SuperExprF Source # 
Instance details

Defined in Telomare.Possible

Methods

showP1 :: PrettyPrintable a => SuperExprF a -> State Int String Source #

PrettyPrintable1 SuperPositionF Source # 
Instance details

Defined in Telomare.Possible

Methods

showP1 :: PrettyPrintable a => SuperPositionF a -> State Int String Source #

PrettyPrintable1 UnsizedExprF Source # 
Instance details

Defined in Telomare.Possible

Methods

showP1 :: PrettyPrintable a => UnsizedExprF a -> State Int String Source #

PrettyPrintable1 UnsizedRecursionF Source # 
Instance details

Defined in Telomare.Possible

Methods

showP1 :: PrettyPrintable a => UnsizedRecursionF a -> State Int String Source #

PrettyPrintable1 VoidF Source # 
Instance details

Defined in Telomare.Possible

Methods

showP1 :: PrettyPrintable a => VoidF a -> State Int String Source #

PrettyPrintable1 (StrictAccum SizedRecursion) Source # 
Instance details

Defined in Telomare.Possible

Methods

showP1 :: PrettyPrintable a => StrictAccum SizedRecursion a -> State Int String Source #

PrettyPrintable1 ((,) SizedRecursion) Source # 
Instance details

Defined in Telomare.Possible

Methods

showP1 :: PrettyPrintable a => (SizedRecursion, a) -> State Int String Source #

prettyPrint :: PrettyPrintable p => p -> String Source #

indentation :: Int -> String Source #

showPIExpr :: Int -> Int -> IExpr -> String Source #

showPIE :: IExpr -> String Source #

showTPIExpr :: Map Int PartialType -> Int -> Int -> IExpr -> String Source #

showNExpr :: Map FragIndex NResult -> Int -> Int -> NExpr -> String Source #

showNIE :: NExprs -> String Source #

showFragInds :: (Show (f Int), Functor f) => f FragIndex -> String Source #

showOneNExpr :: Int -> Int -> NExpr -> String Source #

showNExprs :: NExprs -> String Source #

data TypeDebugInfo Source #

Constructors

TypeDebugInfo Term3 (FragIndex -> PartialType) PartialType 

showTypeDebugInfo :: TypeDebugInfo -> String Source #

newtype PrettyIExpr Source #

Constructors

PrettyIExpr IExpr 

Instances

Instances details
Show PrettyIExpr Source # 
Instance details

Defined in PrettyPrint

Methods

showsPrec :: Int -> PrettyIExpr -> ShowS Source #

show :: PrettyIExpr -> String Source #

showList :: [PrettyIExpr] -> ShowS Source #

indentSansFirstLine :: Int -> String -> String Source #

newtype PrettierIExpr Source #

Constructors

PrettierIExpr IExpr 

Instances

Instances details
Show PrettierIExpr Source # 
Instance details

Defined in PrettyPrint

Methods

showsPrec :: Int -> PrettierIExpr -> ShowS Source #

show :: PrettierIExpr -> String Source #

showList :: [PrettierIExpr] -> ShowS Source #

newtype PrettyDataType Source #

Constructors

PrettyDataType DataType 

Instances

Instances details
Show PrettyDataType Source # 
Instance details

Defined in PrettyPrint

Methods

showsPrec :: Int -> PrettyDataType -> ShowS Source #

show :: PrettyDataType -> String Source #

showList :: [PrettyDataType] -> ShowS Source #

showInternal :: DataType -> String Source #

newtype PrettyPartialType Source #

Constructors

PrettyPartialType PartialType 

Instances

Instances details
Show PrettyPartialType Source # 
Instance details

Defined in PrettyPrint

Methods

showsPrec :: Int -> PrettyPartialType -> ShowS Source #

show :: PrettyPartialType -> String Source #

showList :: [PrettyPartialType] -> ShowS Source #

showInternalP :: PartialType -> String Source #

newtype PrettyPattern Source #

Constructors

PrettyPattern Pattern 

Instances

Instances details
Show PrettyPattern Source # 
Instance details

Defined in PrettyPrint

Methods

showsPrec :: Int -> PrettyPattern -> ShowS Source #

show :: PrettyPattern -> String Source #

showList :: [PrettyPattern] -> ShowS Source #

newtype MultiLineShowUPT Source #

Constructors

MultiLineShowUPT UnprocessedParsedTerm 

Instances

Instances details
Show MultiLineShowUPT Source # 
Instance details

Defined in PrettyPrint

Methods

showsPrec :: Int -> MultiLineShowUPT -> ShowS Source #

show :: MultiLineShowUPT -> String Source #

showList :: [MultiLineShowUPT] -> ShowS Source #

newtype PrettyUPT Source #

Constructors

PrettyUPT UnprocessedParsedTerm 

Instances

Instances details
Show PrettyUPT Source # 
Instance details

Defined in PrettyPrint

Methods

showsPrec :: Int -> PrettyUPT -> ShowS Source #

show :: PrettyUPT -> String Source #

showList :: [PrettyUPT] -> ShowS Source #