Safe Haskell	Trustworthy
Language	Haskell2010

Math.Tools.PrettyP

Synopsis

class PpShow a where
- pp :: a -> Doc
class PpShow a => LeveledPpShow a where
- exprLevel :: a -> Int
- pp_level :: a -> Int -> Doc
enclose :: PpShow a => a -> Doc
parenthesize :: PpShow a => [a] -> Doc
render :: Doc -> String
bracketize :: PpShow a => [a] -> Doc
verticalize :: PpShow a => [a] -> Doc
pPrint :: PpShow a => a -> String
pp_list :: PpShow a => [a] -> Doc
render132 :: Doc -> String
alternativitize :: PpShow a => [a] -> Doc
class PpShowF f where
- ppf :: PpShow a => f a -> Doc
class PpShowF f => PpShowVerticalF f where
- ppf_vertical :: PpShow a => f a -> Doc

Documentation

class PpShow a where Source #

Methods

pp :: a -> Doc Source #

Instances

Instances details

PpShow IOError Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: IOError -> Doc Source #
PpShow CallStack Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: CallStack -> Doc Source #
PpShow Word8 Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Word8 -> Doc Source #
PpShow FiveD Source #
Instance details Defined in Math.Matrix.Points Methods pp :: FiveD -> Doc Source #
PpShow FourD Source #
Instance details Defined in Math.Matrix.Points Methods pp :: FourD -> Doc Source #
PpShow OneD Source #
Instance details Defined in Math.Matrix.Points Methods pp :: OneD -> Doc Source #
PpShow SevenD Source #
Instance details Defined in Math.Matrix.Points Methods pp :: SevenD -> Doc Source #
PpShow SixD Source #
Instance details Defined in Math.Matrix.Points Methods pp :: SixD -> Doc Source #
PpShow ThreeD Source #
Instance details Defined in Math.Matrix.Points Methods pp :: ThreeD -> Doc Source #
PpShow TwoD Source #
Instance details Defined in Math.Matrix.Points Methods pp :: TwoD -> Doc Source #
PpShow Dimension Source #
Instance details Defined in Math.Number.DimensionalAnalysis Methods pp :: Dimension -> Doc Source #
PpShow R Source #
Instance details Defined in Math.Number.R Methods pp :: R -> Doc Source #
PpShow R Source #
Instance details Defined in Math.Number.Real Methods pp :: R -> Doc Source #
PpShow Id Source #
Instance details Defined in Math.Tools.Id Methods pp :: Id -> Doc Source #
PpShow LineInfo Source #
Instance details Defined in Math.Tools.LineInfo Methods pp :: LineInfo -> Doc Source #
PpShow Text Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Text -> Doc Source #
PpShow String Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: String -> Doc Source #
PpShow Integer Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Integer -> Doc Source #
PpShow () Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: () -> Doc Source #
PpShow Bool Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Bool -> Doc Source #
PpShow Char Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Char -> Doc Source #
PpShow Double Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Double -> Doc Source #
PpShow Float Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Float -> Doc Source #
PpShow Int Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Int -> Doc Source #
(PpShow a, Num a, Ord a) => PpShow (Complex a) Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Complex a -> Doc Source #
(Integral a, PpShow a) => PpShow (Ratio a) Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Ratio a -> Doc Source #
PpShow a => PpShow (Vector1 a) Source #
Instance details Defined in Math.Matrix.Vector1 Methods pp :: Vector1 a -> Doc Source #
PpShow a => PpShow (Vector2 a) Source #
Instance details Defined in Math.Matrix.Vector2 Methods pp :: Vector2 a -> Doc Source #
PpShow a => PpShow (Vector3 a) Source #
Instance details Defined in Math.Matrix.Vector3 Methods pp :: Vector3 a -> Doc Source #
PpShow a => PpShow (Vector4 a) Source #
Instance details Defined in Math.Matrix.Vector4 Methods pp :: Vector4 a -> Doc Source #
PpShow a => PpShow (BiStream a) Source #
Instance details Defined in Math.Number.BiStream Methods pp :: BiStream a -> Doc Source #
ShowPrecision r => PpShow (Quantity r) Source #
Instance details Defined in Math.Number.DimensionalAnalysis Methods pp :: Quantity r -> Doc Source #
PpShow a => PpShow (Var a) Source #
Instance details Defined in Math.Number.NumericExpression Methods pp :: Var a -> Doc Source #
PpShow x => PpShow (Stream x) Source #	pretty printing displays 15 element prefix of the stream.
Instance details Defined in Math.Number.Stream Methods pp :: Stream x -> Doc Source #
PpShow a => PpShow (I a) Source #
Instance details Defined in Math.Tools.Identity Methods pp :: I a -> Doc Source #
PpShow x => PpShow (ParseResult x) Source #
Instance details Defined in Math.Tools.ParseMonad Methods pp :: ParseResult x -> Doc Source #
PpShow a => PpShow (Queue a) Source #
Instance details Defined in Math.Tools.Queue Methods pp :: Queue a -> Doc Source #
PpShow a => PpShow (Set a) Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Set a -> Doc Source #
PpShow a => PpShow (Maybe a) Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Maybe a -> Doc Source #
PpShow [Integer] Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: [Integer] -> Doc Source #
PpShow a => PpShow [(Integer, a)] Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: [(Integer, a)] -> Doc Source #
(PpShow a, PpShow b) => PpShow (Either a b) Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Either a b -> Doc Source #
(PpShow v, PpShow e) => PpShow (GraphElem v e) Source #
Instance details Defined in Math.Graph.GraphMonoid Methods pp :: GraphElem v e -> Doc Source #
(Ord a, PpShow a) => PpShow (Graph (Four :: Type -> Type -> Type) a) Source #
Instance details Defined in Math.Graph.Show Methods pp :: Graph Four a -> Doc Source #
(Ord a, PpShow a) => PpShow (Graph (Three :: Type -> Type -> Type) a) Source #
Instance details Defined in Math.Graph.Show Methods pp :: Graph Three a -> Doc Source #
(PpShowVerticalF f, LinearTransform f g a, Linearizable LinearMap ((:*:) :: (Type -> Type) -> (Type -> Type) -> Type -> Type) f g a, PpShowF g, PpShow a, Diagonalizable f a) => PpShow (LinearMap (f a) (g a)) Source #
Instance details Defined in Math.Matrix.Linear Methods pp :: LinearMap (f a) (g a) -> Doc Source #
(PpShow a, PpShowF v) => PpShow (FracExpr v a) Source #
Instance details Defined in Math.Number.NumericExpression Methods pp :: FracExpr v a -> Doc Source #
(PpShow a, PpShowF v) => PpShow (NumExpr v a) Source #
Instance details Defined in Math.Number.NumericExpression Methods pp :: NumExpr v a -> Doc Source #
(PpShow a, PpShowF v) => PpShow (VectorSpaceExpr v a) Source #
Instance details Defined in Math.Number.NumericExpression Methods pp :: VectorSpaceExpr v a -> Doc Source #
(Monad str, PpShow a, Limiting str a) => PpShow (Closure str (Vector3 a)) Source #
Instance details Defined in Math.Matrix.Vector3 Methods pp :: Closure str (Vector3 a) -> Doc Source #
(PpShow n, PpShow e) => PpShow (Tree e n) Source #
Instance details Defined in Math.Tools.Tree Methods pp :: Tree e n -> Doc Source #
(PpShow i, PpShow e) => PpShow (Map i e) Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: Map i e -> Doc Source #
(PpShow a, PpShow b) => PpShow (a, b) Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: (a, b) -> Doc Source #
PpShow (Four a a) Source #
Instance details Defined in Math.Graph.GraphMonoid Methods pp :: Four a a -> Doc Source #
PpShow (Three a a) Source #
Instance details Defined in Math.Graph.GraphMonoid Methods pp :: Three a a -> Doc Source #
PpShowF v => PpShow (FloatExpr v a) Source #
Instance details Defined in Math.Number.NumericExpression Methods pp :: FloatExpr v a -> Doc Source #
(PpShow a, PpShow b, PpShow c) => PpShow (a, b, c) Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: (a, b, c) -> Doc Source #
(PpShow a, PpShow b, PpShow c, PpShow d) => PpShow (a, b, c, d) Source #
Instance details Defined in Math.Tools.PrettyP Methods pp :: (a, b, c, d) -> Doc Source #
PpShow (f a) => PpShow ((Vector2 :*: f) a) Source #
Instance details Defined in Math.Matrix.Vector2 Methods pp :: (Vector2 :*: f) a -> Doc Source #
PpShow (f a) => PpShow ((Vector4 :*: f) a) Source #
Instance details Defined in Math.Matrix.Vector4 Methods pp :: (Vector4 :*: f) a -> Doc Source #
(PpShowF g, PpShowVerticalF f, Functor f, PpShow a) => PpShow ((f :*: g) a) Source #
Instance details Defined in Math.Matrix.Interface Methods pp :: (f :*: g) a -> Doc Source #

class PpShow a => LeveledPpShow a where Source #

Minimal complete definition

Nothing

Methods

exprLevel :: a -> Int Source #

pp_level :: a -> Int -> Doc Source #

enclose :: PpShow a => a -> Doc Source #

parenthesize :: PpShow a => [a] -> Doc Source #

render :: Doc -> String Source #

bracketize :: PpShow a => [a] -> Doc Source #

verticalize :: PpShow a => [a] -> Doc Source #

pPrint :: PpShow a => a -> String Source #

pp_list :: PpShow a => [a] -> Doc Source #

render132 :: Doc -> String Source #

alternativitize :: PpShow a => [a] -> Doc Source #

class PpShowF f where Source #

Methods

ppf :: PpShow a => f a -> Doc Source #

Instances

Instances details

PpShowF Complex Source #
Instance details Defined in Math.Tools.PrettyP Methods ppf :: PpShow a => Complex a -> Doc Source #
PpShowF Vector1 Source #
Instance details Defined in Math.Matrix.Vector1 Methods ppf :: PpShow a => Vector1 a -> Doc Source #
PpShowF Vector2 Source #
Instance details Defined in Math.Matrix.Vector2 Methods ppf :: PpShow a => Vector2 a -> Doc Source #
PpShowF Vector3 Source #
Instance details Defined in Math.Matrix.Vector3 Methods ppf :: PpShow a => Vector3 a -> Doc Source #
PpShowF Vector4 Source #
Instance details Defined in Math.Matrix.Vector4 Methods ppf :: PpShow a => Vector4 a -> Doc Source #
PpShowF BiStream Source #
Instance details Defined in Math.Number.BiStream Methods ppf :: PpShow a => BiStream a -> Doc Source #
PpShowF Var Source #
Instance details Defined in Math.Number.NumericExpression Methods ppf :: PpShow a => Var a -> Doc Source #
PpShowF Stream Source #
Instance details Defined in Math.Number.Stream Methods ppf :: PpShow a => Stream a -> Doc Source #
PpShowF ParseResult Source #
Instance details Defined in Math.Tools.ParseMonad Methods ppf :: PpShow a => ParseResult a -> Doc Source #
PpShowF List Source #
Instance details Defined in Math.Tools.PrettyP Methods ppf :: PpShow a => [a] -> Doc Source #
Ix i => PpShowF (Array i) Source #
Instance details Defined in Math.Matrix.Matrix Methods ppf :: PpShow a => Array i a -> Doc Source #
PpShowF v => PpShowF (FracExpr v) Source #
Instance details Defined in Math.Number.NumericExpression Methods ppf :: PpShow a => FracExpr v a -> Doc Source #
PpShowF v => PpShowF (NumExpr v) Source #
Instance details Defined in Math.Number.NumericExpression Methods ppf :: PpShow a => NumExpr v a -> Doc Source #
PpShowF v => PpShowF (VectorSpaceExpr v) Source #
Instance details Defined in Math.Number.NumericExpression Methods ppf :: PpShow a => VectorSpaceExpr v a -> Doc Source #
Universe a => PpShowF ((->) a) Source #
Instance details Defined in Math.Matrix.Simple Methods ppf :: PpShow a0 => (a -> a0) -> Doc Source #
(Functor f, PpShowVerticalF f, PpShowF g) => PpShowF (f :*: g) Source #
Instance details Defined in Math.Matrix.Interface Methods ppf :: PpShow a => (f :*: g) a -> Doc Source #

class PpShowF f => PpShowVerticalF f where Source #

Methods

ppf_vertical :: PpShow a => f a -> Doc Source #

Instances

Instances details

PpShowVerticalF Complex Source #
Instance details Defined in Math.Matrix.Interface Methods ppf_vertical :: PpShow a => Complex a -> Doc Source #
PpShowVerticalF Vector1 Source #
Instance details Defined in Math.Matrix.Vector1 Methods ppf_vertical :: PpShow a => Vector1 a -> Doc Source #
PpShowVerticalF Vector2 Source #
Instance details Defined in Math.Matrix.Vector2 Methods ppf_vertical :: PpShow a => Vector2 a -> Doc Source #
PpShowVerticalF Vector3 Source #
Instance details Defined in Math.Matrix.Vector3 Methods ppf_vertical :: PpShow a => Vector3 a -> Doc Source #
PpShowVerticalF Vector4 Source #
Instance details Defined in Math.Matrix.Vector4 Methods ppf_vertical :: PpShow a => Vector4 a -> Doc Source #
PpShowVerticalF BiStream Source #
Instance details Defined in Math.Number.BiStream Methods ppf_vertical :: PpShow a => BiStream a -> Doc Source #
PpShowVerticalF Stream Source #
Instance details Defined in Math.Number.Stream Methods ppf_vertical :: PpShow a => Stream a -> Doc Source #
PpShowVerticalF List Source #
Instance details Defined in Math.Tools.PrettyP Methods ppf_vertical :: PpShow a => [a] -> Doc Source #
Ix i => PpShowVerticalF (Array i) Source #
Instance details Defined in Math.Matrix.Matrix Methods ppf_vertical :: PpShow a => Array i a -> Doc Source #
Universe a => PpShowVerticalF ((->) a) Source #
Instance details Defined in Math.Matrix.Simple Methods ppf_vertical :: PpShow a0 => (a -> a0) -> Doc Source #