Silkscreen.Printer.Prec

Precedence printer

runPrec :: level -> Prec level a -> a

newtype Prec level a

Constructors

Prec (level -> a)

Instances

Monad (Prec level)

Defined in Silkscreen.Printer.Prec

Methods

(>>=) :: Prec level a -> (a -> Prec level b) -> Prec level b

(>>) :: Prec level a -> Prec level b -> Prec level b

return :: a -> Prec level a

Functor (Prec level)

Defined in Silkscreen.Printer.Prec

Methods

fmap :: (a -> b) -> Prec level a -> Prec level b

(<$) :: a -> Prec level b -> Prec level a

Applicative (Prec level)

Defined in Silkscreen.Printer.Prec

Methods

pure :: a -> Prec level a

(<*>) :: Prec level (a -> b) -> Prec level a -> Prec level b

liftA2 :: (a -> b -> c) -> Prec level a -> Prec level b -> Prec level c

(*>) :: Prec level a -> Prec level b -> Prec level b

(<*) :: Prec level a -> Prec level b -> Prec level a

(Bounded level, Show a) => Show (Prec level a)

Defined in Silkscreen.Printer.Prec

Methods

showsPrec :: Int -> Prec level a -> ShowS

show :: Prec level a -> String

showList :: [Prec level a] -> ShowS

Semigroup a => Semigroup (Prec level a)

Defined in Silkscreen.Printer.Prec

Methods

(<>) :: Prec level a -> Prec level a -> Prec level a

sconcat :: NonEmpty (Prec level a) -> Prec level a

stimes :: Integral b => b -> Prec level a -> Prec level a

Monoid a => Monoid (Prec level a)

Defined in Silkscreen.Printer.Prec

Methods

mempty :: Prec level a

mappend :: Prec level a -> Prec level a -> Prec level a

mconcat :: [Prec level a] -> Prec level a

(Bounded level, Printer a) => Printer (Prec level a)

Defined in Silkscreen.Printer.Prec

Associated Types

type Ann (Prec level a)

Methods

liftDoc0 :: Doc (Ann (Prec level a)) -> Prec level a

liftDoc1 :: (Doc (Ann (Prec level a)) -> Doc (Ann (Prec level a))) -> Prec level a -> Prec level a

liftDoc2 :: (Doc (Ann (Prec level a)) -> Doc (Ann (Prec level a)) -> Doc (Ann (Prec level a))) -> Prec level a -> Prec level a -> Prec level a

enclosing :: Prec level a -> Prec level a -> Prec level a -> Prec level a

squotes :: Prec level a -> Prec level a

dquotes :: Prec level a -> Prec level a

parens :: Prec level a -> Prec level a

brackets :: Prec level a -> Prec level a

braces :: Prec level a -> Prec level a

angles :: Prec level a -> Prec level a

column :: (Int -> Prec level a) -> Prec level a

nesting :: (Int -> Prec level a) -> Prec level a

pageWidth :: (PageWidth -> Prec level a) -> Prec level a

(Bounded level, NestingPrinter p) => NestingPrinter (Prec level p)

Defined in Silkscreen.Printer.Prec

Methods

askingNesting :: (Int -> Prec level p) -> Prec level p

localNesting :: (Int -> Int) -> Prec level p -> Prec level p

applyNesting :: Prec level p -> Prec level p

(Bounded level, Printer a) => PrecedencePrinter (Prec level a)

Defined in Silkscreen.Printer.Prec

Associated Types

type Level (Prec level a)

Methods

askingPrec :: (Level (Prec level a) -> Prec level a) -> Prec level a

localPrec :: (Level (Prec level a) -> Level (Prec level a)) -> Prec level a -> Prec level a

type Ann (Prec level a)

Defined in Silkscreen.Printer.Prec

type Ann (Prec level a) = Ann a

type Level (Prec level a)

Defined in Silkscreen.Printer.Prec

type Level (Prec level a) = level

Re-exports

module Silkscreen.Precedence