Data.Layout

Documentation

betweenWith :: (a -> a -> a) -> a -> a -> a -> a

surroundedWith :: (a -> a -> a) -> a -> a -> a -> a

between :: Semigroup a => a -> a -> a -> a

between' :: Semigroup a => a -> a -> a

space :: IsString a => a

parensed :: (Semigroup a, IsString a) => a -> a

bracked :: (Semigroup a, IsString a) => a -> a

braced :: (Semigroup a, IsString a) => a -> a

chevroned :: (Semigroup a, IsString a) => a -> a

spaced :: (Semigroup a, IsString a) => a -> a

quoted :: (Semigroup a, IsString a) => a -> a

singleQuoted :: (Semigroup a, IsString a) => a -> a

backticked :: (Semigroup a, IsString a) => a -> a

enumerateWith :: (Monoid a, Foldable f) => a -> a -> f a -> a

enumerateAlt :: (Monoid a, IsString a, Foldable f) => f a -> a

enumerateSeq :: (Monoid a, IsString a, Foldable f) => f a -> a

newtype Delta

Constructors

Delta Word64

Instances

Enum Delta

Methods

succ :: Delta -> Delta

pred :: Delta -> Delta

toEnum :: Int -> Delta

fromEnum :: Delta -> Int

enumFrom :: Delta -> [Delta]

enumFromThen :: Delta -> Delta -> [Delta]

enumFromTo :: Delta -> Delta -> [Delta]

enumFromThenTo :: Delta -> Delta -> Delta -> [Delta]

Eq Delta

Methods

(==) :: Delta -> Delta -> Bool

(/=) :: Delta -> Delta -> Bool

Num Delta

Methods

(+) :: Delta -> Delta -> Delta

(-) :: Delta -> Delta -> Delta

(*) :: Delta -> Delta -> Delta

negate :: Delta -> Delta

abs :: Delta -> Delta

signum :: Delta -> Delta

fromInteger :: Integer -> Delta

Ord Delta

Methods

compare :: Delta -> Delta -> Ordering

(<) :: Delta -> Delta -> Bool

(<=) :: Delta -> Delta -> Bool

(>) :: Delta -> Delta -> Bool

(>=) :: Delta -> Delta -> Bool

max :: Delta -> Delta -> Delta

min :: Delta -> Delta -> Delta

Show Delta

Methods

showsPrec :: Int -> Delta -> ShowS

show :: Delta -> String

showList :: [Delta] -> ShowS

Generic Delta

Associated Types

type Rep Delta :: * -> *

Methods

from :: Delta -> Rep Delta x

to :: Rep Delta x -> Delta

Semigroup Delta

Methods

(<>) :: Delta -> Delta -> Delta

sconcat :: NonEmpty Delta -> Delta

stimes :: Integral b => b -> Delta -> Delta

Default Delta

Methods

def :: Delta

NFData Delta

Methods

rnf :: Delta -> ()

Wrapped Delta

Associated Types

type Unwrapped Delta :: *

Methods

_Wrapped' :: Iso' Delta (Unwrapped Delta)

Mempty Delta

Methods

mempty :: Delta

Convertible' a Word64 => Convertible a Delta

Methods

convert :: a -> Delta

Convertible' Word64 a => Convertible Delta a

Methods

convert :: Delta -> a

(~) * Delta t => Rewrapped Delta t

type Rep Delta

type Rep Delta = D1 * (MetaData "Delta" "Data.Layout" "layouting-1.1.3-Gvju3fsip4HE8rtFBYfd3L" True) (C1 * (MetaCons "Delta" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Word64)))

type Unwrapped Delta

type Unwrapped Delta = Word64

class ElemBuilderT t m a where

Minimal complete definition

plainT

Methods

plainT :: m a -> t m a

Instances

ElemBuilderT BlockBuilderT m a

Methods

plainT :: m a -> BlockBuilderT m a

ElemBuilderT LineBuilderT m a

Methods

plainT :: m a -> LineBuilderT m a

class ElemBuilder m a where

Minimal complete definition

plain

Methods

plain :: a -> m a

Instances

ElemBuilder Identity a

Methods

plain :: a -> Identity a

(ElemBuilder m a, ElemBuilderT t m a) => ElemBuilder (t m) a

Methods

plain :: a -> t m a

class RenderT t m a where

Minimal complete definition

renderT

Methods

renderT :: t m a -> m a

Instances

(Mempty (m a), Concatenable (m a)) => RenderT BlockBuilderT m a

Methods

renderT :: BlockBuilderT m a -> m a

(Concatenable (m a), Monoid (m a)) => RenderT LineBuilderT m a

Methods

renderT :: LineBuilderT m a -> m a

class Render m a where

Minimal complete definition

render, nested

Methods

render :: m a -> a

nested :: m a -> m a

Instances

Render Identity a

Methods

render :: Identity a -> a

nested :: Identity a -> Identity a

(RenderT t m a, Render m a, ElemBuilderT t m a) => Render (t m) a

Methods

render :: t m a -> a

nested :: t m a -> t m a

phantom :: (ElemBuilder t a, Mempty a) => t a

data Bounds

Constructors

Bounds

Fields

• _width :: !Delta
• _height :: !Delta

Instances

Show Bounds

Methods

showsPrec :: Int -> Bounds -> ShowS

show :: Bounds -> String

showList :: [Bounds] -> ShowS

Mempty Bounds

Methods

mempty :: Bounds

HasBounds Bounds

Methods

bounds :: Lens' Bounds Bounds

height :: Lens' Bounds Delta

width :: Lens' Bounds Delta

Concatenable Bounds

Methods

concat :: Dir -> Bounds -> Bounds -> Bounds

data Bounded a

Constructors

Bounded

Fields

• __bounds :: Bounds
• __elem :: a

Instances

Functor Bounded

Methods

fmap :: (a -> b) -> Bounded a -> Bounded b

(<$) :: a -> Bounded b -> Bounded a

Foldable Bounded

Methods

fold :: Monoid m => Bounded m -> m

foldMap :: Monoid m => (a -> m) -> Bounded a -> m

foldr :: (a -> b -> b) -> b -> Bounded a -> b

foldr' :: (a -> b -> b) -> b -> Bounded a -> b

foldl :: (b -> a -> b) -> b -> Bounded a -> b

foldl' :: (b -> a -> b) -> b -> Bounded a -> b

foldr1 :: (a -> a -> a) -> Bounded a -> a

foldl1 :: (a -> a -> a) -> Bounded a -> a

toList :: Bounded a -> [a]

null :: Bounded a -> Bool

length :: Bounded a -> Int

elem :: Eq a => a -> Bounded a -> Bool

maximum :: Ord a => Bounded a -> a

minimum :: Ord a => Bounded a -> a

sum :: Num a => Bounded a -> a

product :: Num a => Bounded a -> a

Traversable Bounded

Methods

traverse :: Applicative f => (a -> f b) -> Bounded a -> f (Bounded b)

sequenceA :: Applicative f => Bounded (f a) -> f (Bounded a)

mapM :: Monad m => (a -> m b) -> Bounded a -> m (Bounded b)

sequence :: Monad m => Bounded (m a) -> m (Bounded a)

Show a => Show (Bounded a)

Methods

showsPrec :: Int -> Bounded a -> ShowS

show :: Bounded a -> String

showList :: [Bounded a] -> ShowS

Mempty a => Mempty (Bounded a)

Methods

mempty :: Bounded a

HasBounds (Bounded a)

Methods

bounds :: Lens' (Bounded a) Bounds

height :: Lens' (Bounded a) Delta

width :: Lens' (Bounded a) Delta

Measurable (Bounded a)

Methods

measure :: Bounded a -> Bounds

class HasBounds c where

Minimal complete definition

bounds

Methods

bounds :: Lens' c Bounds

height :: Lens' c Delta

width :: Lens' c Delta

Instances

HasBounds Bounds

Methods

bounds :: Lens' Bounds Bounds

height :: Lens' Bounds Delta

width :: Lens' Bounds Delta

HasBounds (Bounded a)

Methods

bounds :: Lens' (Bounded a) Bounds

height :: Lens' (Bounded a) Delta

width :: Lens' (Bounded a) Delta

HasBounds (LineBlock a)

Methods

bounds :: Lens' (LineBlock a) Bounds

height :: Lens' (LineBlock a) Delta

width :: Lens' (LineBlock a) Delta

bounded_elem :: forall a a. Lens (Bounded a) (Bounded a) a a

bounded_bounds :: forall a. Lens' (Bounded a) Bounds

class Measurable a where

Minimal complete definition

measure

Methods

measure :: a -> Bounds

Instances

Measurable Text

Methods

measure :: Text -> Bounds

Measurable TermText

Methods

measure :: TermText -> Bounds

Measurable (Bounded a)

Methods

measure :: Bounded a -> Bounds

Measurable (LineBlock a)

Methods

measure :: LineBlock a -> Bounds

bounded :: Lens (Bounded a) (Bounded b) a b

unbound :: Bounded a -> a

data Dir

Constructors

Vertical

Horizontal

Instances

Show Dir

Methods

showsPrec :: Int -> Dir -> ShowS

show :: Dir -> String

showList :: [Dir] -> ShowS

data CartTree t m a

Constructors

Empty

Plain !(m a)

Concat !Dir !(t m a) !(t m a)

Instances

(Functor (t m), Functor m) => Functor (CartTree t m)

Methods

fmap :: (a -> b) -> CartTree t m a -> CartTree t m b

(<$) :: a -> CartTree t m b -> CartTree t m a

(Foldable (t m), Foldable m) => Foldable (CartTree t m)

Methods

fold :: Monoid m => CartTree t m m -> m

foldMap :: Monoid m => (a -> m) -> CartTree t m a -> m

foldr :: (a -> b -> b) -> b -> CartTree t m a -> b

foldr' :: (a -> b -> b) -> b -> CartTree t m a -> b

foldl :: (b -> a -> b) -> b -> CartTree t m a -> b

foldl' :: (b -> a -> b) -> b -> CartTree t m a -> b

foldr1 :: (a -> a -> a) -> CartTree t m a -> a

foldl1 :: (a -> a -> a) -> CartTree t m a -> a

toList :: CartTree t m a -> [a]

null :: CartTree t m a -> Bool

length :: CartTree t m a -> Int

elem :: Eq a => a -> CartTree t m a -> Bool

maximum :: Ord a => CartTree t m a -> a

minimum :: Ord a => CartTree t m a -> a

sum :: Num a => CartTree t m a -> a

product :: Num a => CartTree t m a -> a

(Traversable (t m), Traversable m) => Traversable (CartTree t m)

Methods

traverse :: Applicative f => (a -> f b) -> CartTree t m a -> f (CartTree t m b)

sequenceA :: Applicative f => CartTree t m (f a) -> f (CartTree t m a)

mapM :: Monad m => (a -> m b) -> CartTree t m a -> m (CartTree t m b)

sequence :: Monad m => CartTree t m (m a) -> m (CartTree t m a)

Convertible2 (* -> *) * (CartTree BlockBuilderT) BlockBuilderT

Methods

convert2 :: t s1 s2 -> t' s1 s2

Convertible2 (* -> *) * (CartTree LineBuilderT) LineBuilderT

Methods

convert2 :: t s1 s2 -> t' s1 s2

(Show (t m a), Show (m a)) => Show (CartTree t m a)

Methods

showsPrec :: Int -> CartTree t m a -> ShowS

show :: CartTree t m a -> String

showList :: [CartTree t m a] -> ShowS

Convertible2' (* -> *) * (CartTree t) t => Semigroup (CartTree t m a)

Methods

(<>) :: CartTree t m a -> CartTree t m a -> CartTree t m a

sconcat :: NonEmpty (CartTree t m a) -> CartTree t m a

stimes :: Integral b => b -> CartTree t m a -> CartTree t m a

Convertible2' (* -> *) * (CartTree t) t => Monoid (CartTree t m a)

Methods

mempty :: CartTree t m a

mappend :: CartTree t m a -> CartTree t m a -> CartTree t m a

mconcat :: [CartTree t m a] -> CartTree t m a

Mempty (CartTree t m a)

Methods

mempty :: CartTree t m a

Convertible2' (* -> *) * (CartTree t) t => Concatenable (CartTree t m a)

Methods

concat :: Dir -> CartTree t m a -> CartTree t m a -> CartTree t m a

class Concatenable a where

Minimal complete definition

concat

Methods

concat :: Dir -> a -> a -> a

Instances

Concatenable Bounds

Methods

concat :: Dir -> Bounds -> Bounds -> Bounds

Concatenable a => Concatenable (Identity a)

Methods

concat :: Dir -> Identity a -> Identity a -> Identity a

GenLineBlockConcatCtx a => Concatenable (LineBlock a)

Methods

concat :: Dir -> LineBlock a -> LineBlock a -> LineBlock a

Concatenable (BlockBuilderT m a)

Methods

concat :: Dir -> BlockBuilderT m a -> BlockBuilderT m a -> BlockBuilderT m a

Concatenable (LineBuilderT m a)

Methods

concat :: Dir -> LineBuilderT m a -> LineBuilderT m a -> LineBuilderT m a

Convertible2' (* -> *) * (CartTree t) t => Concatenable (CartTree t m a)

Methods

concat :: Dir -> CartTree t m a -> CartTree t m a -> CartTree t m a

hcat :: Concatenable a => a -> a -> a

vcat :: Concatenable a => a -> a -> a

(</>) :: Concatenable a => a -> a -> a infixr 6

class Spacing a where

Minimal complete definition

spacing

Methods

spacing :: Bounds -> a

Instances

(Convertible String a, Mempty a) => Spacing (LineBlock a)

Methods

spacing :: Bounds -> LineBlock a

hspacing :: (ElemBuilder t a, Spacing a) => Delta -> t a

vspacing :: (ElemBuilder t a, Spacing a) => Delta -> t a

(<+>) :: (ElemBuilder t a, Semigroup (t a), Spacing a) => t a -> t a -> t a infixr 6

(<//>) :: (Concatenable (t a), ElemBuilder t a, Spacing a) => t a -> t a -> t a infixr 6

(<///>) :: (Concatenable (t a), ElemBuilder t a, Spacing a) => t a -> t a -> t a infixr 6

(<////>) :: (Concatenable (t a), ElemBuilder t a, Spacing a) => t a -> t a -> t a infixr 6

data LineBlock a

Constructors

LineBlock

Fields

• __bounds :: Bounds
• _lines :: [a]

Instances

Functor LineBlock

Methods

fmap :: (a -> b) -> LineBlock a -> LineBlock b

(<$) :: a -> LineBlock b -> LineBlock a

Foldable LineBlock

Methods

fold :: Monoid m => LineBlock m -> m

foldMap :: Monoid m => (a -> m) -> LineBlock a -> m

foldr :: (a -> b -> b) -> b -> LineBlock a -> b

foldr' :: (a -> b -> b) -> b -> LineBlock a -> b

foldl :: (b -> a -> b) -> b -> LineBlock a -> b

foldl' :: (b -> a -> b) -> b -> LineBlock a -> b

foldr1 :: (a -> a -> a) -> LineBlock a -> a

foldl1 :: (a -> a -> a) -> LineBlock a -> a

toList :: LineBlock a -> [a]

null :: LineBlock a -> Bool

length :: LineBlock a -> Int

elem :: Eq a => a -> LineBlock a -> Bool

maximum :: Ord a => LineBlock a -> a

minimum :: Ord a => LineBlock a -> a

sum :: Num a => LineBlock a -> a

product :: Num a => LineBlock a -> a

Traversable LineBlock

Methods

traverse :: Applicative f => (a -> f b) -> LineBlock a -> f (LineBlock b)

sequenceA :: Applicative f => LineBlock (f a) -> f (LineBlock a)

mapM :: Monad m => (a -> m b) -> LineBlock a -> m (LineBlock b)

sequence :: Monad m => LineBlock (m a) -> m (LineBlock a)

(Convertible' Text a, Measurable a) => Convertible Text (LineBlock a)

Methods

convert :: Text -> LineBlock a

Show a => Show (LineBlock a)

Methods

showsPrec :: Int -> LineBlock a -> ShowS

show :: LineBlock a -> String

showList :: [LineBlock a] -> ShowS

(IsString a, Measurable a) => IsString (LineBlock a)

Methods

fromString :: String -> LineBlock a

GenLineBlockConcatCtx a => Semigroup (LineBlock a)

Methods

(<>) :: LineBlock a -> LineBlock a -> LineBlock a

sconcat :: NonEmpty (LineBlock a) -> LineBlock a

stimes :: Integral b => b -> LineBlock a -> LineBlock a

GenLineBlockConcatCtx a => Monoid (LineBlock a)

Methods

mempty :: LineBlock a

mappend :: LineBlock a -> LineBlock a -> LineBlock a

mconcat :: [LineBlock a] -> LineBlock a

Mempty (LineBlock a)

Methods

mempty :: LineBlock a

Stylable a => Stylable (LineBlock a)

Methods

cleanStyles :: LineBlock a -> LineBlock a

withStyle :: [StyleChange] -> LineBlock a -> LineBlock a

HasBounds (LineBlock a)

Methods

bounds :: Lens' (LineBlock a) Bounds

height :: Lens' (LineBlock a) Delta

width :: Lens' (LineBlock a) Delta

(Convertible String a, Mempty a) => Spacing (LineBlock a)

Methods

spacing :: Bounds -> LineBlock a

GenLineBlockConcatCtx a => Concatenable (LineBlock a)

Methods

concat :: Dir -> LineBlock a -> LineBlock a -> LineBlock a

Measurable (LineBlock a)

Methods

measure :: LineBlock a -> Bounds

lines :: forall a a. Lens (LineBlock a) (LineBlock a) [a] [a]

lineBlock_bounds :: forall a. Lens' (LineBlock a) Bounds

renderLineBlock :: (IsString a, Monoid a, Item a ~ Char, FiniteSequence a) => LineBlock a -> a

concatLineBlock :: (IsString a, Monoid a) => LineBlock a -> a

type GenLineBlockConcatCtx a = (Convertible String a, Monoid a)

type BlockBuilder = BlockBuilderT Identity

newtype BlockBuilderT m a

Constructors

BlockBuilderT (CartTree BlockBuilderT m a)

Instances

(Mempty (m a), Concatenable (m a)) => RenderT BlockBuilderT m a

Methods

renderT :: BlockBuilderT m a -> m a

ElemBuilderT BlockBuilderT m a

Methods

plainT :: m a -> BlockBuilderT m a

(ElemBuilder m a, Convertible' Text a) => Convertible Char (BlockBuilderT m a)

Methods

convert :: Char -> BlockBuilderT m a

(ElemBuilder m a, Convertible' Text a) => Convertible String (BlockBuilderT m a)

Methods

convert :: String -> BlockBuilderT m a

(ElemBuilder m a, Convertible' Text a) => Convertible Text (BlockBuilderT m a)

Methods

convert :: Text -> BlockBuilderT m a

Functor m => Functor (BlockBuilderT m)

Methods

fmap :: (a -> b) -> BlockBuilderT m a -> BlockBuilderT m b

(<$) :: a -> BlockBuilderT m b -> BlockBuilderT m a

Foldable m => Foldable (BlockBuilderT m)

Methods

fold :: Monoid m => BlockBuilderT m m -> m

foldMap :: Monoid m => (a -> m) -> BlockBuilderT m a -> m

foldr :: (a -> b -> b) -> b -> BlockBuilderT m a -> b

foldr' :: (a -> b -> b) -> b -> BlockBuilderT m a -> b

foldl :: (b -> a -> b) -> b -> BlockBuilderT m a -> b

foldl' :: (b -> a -> b) -> b -> BlockBuilderT m a -> b

foldr1 :: (a -> a -> a) -> BlockBuilderT m a -> a

foldl1 :: (a -> a -> a) -> BlockBuilderT m a -> a

toList :: BlockBuilderT m a -> [a]

null :: BlockBuilderT m a -> Bool

length :: BlockBuilderT m a -> Int

elem :: Eq a => a -> BlockBuilderT m a -> Bool

maximum :: Ord a => BlockBuilderT m a -> a

minimum :: Ord a => BlockBuilderT m a -> a

sum :: Num a => BlockBuilderT m a -> a

product :: Num a => BlockBuilderT m a -> a

Traversable m => Traversable (BlockBuilderT m)

Methods

traverse :: Applicative f => (a -> f b) -> BlockBuilderT m a -> f (BlockBuilderT m b)

sequenceA :: Applicative f => BlockBuilderT m (f a) -> f (BlockBuilderT m a)

mapM :: Monad m => (a -> m b) -> BlockBuilderT m a -> m (BlockBuilderT m b)

sequence :: Monad m => BlockBuilderT m (m a) -> m (BlockBuilderT m a)

Show (m a) => Show (BlockBuilderT m a)

Methods

showsPrec :: Int -> BlockBuilderT m a -> ShowS

show :: BlockBuilderT m a -> String

showList :: [BlockBuilderT m a] -> ShowS

(ElemBuilder m a, IsString a) => IsString (BlockBuilderT m a)

Methods

fromString :: String -> BlockBuilderT m a

Semigroup (BlockBuilderT m a)

Methods

(<>) :: BlockBuilderT m a -> BlockBuilderT m a -> BlockBuilderT m a

sconcat :: NonEmpty (BlockBuilderT m a) -> BlockBuilderT m a

stimes :: Integral b => b -> BlockBuilderT m a -> BlockBuilderT m a

Monoid (BlockBuilderT m a)

Methods

mempty :: BlockBuilderT m a

mappend :: BlockBuilderT m a -> BlockBuilderT m a -> BlockBuilderT m a

mconcat :: [BlockBuilderT m a] -> BlockBuilderT m a

Wrapped (BlockBuilderT m a)

Associated Types

type Unwrapped (BlockBuilderT m a) :: *

Methods

_Wrapped' :: Iso' (BlockBuilderT m a) (Unwrapped (BlockBuilderT m a))

Mempty (BlockBuilderT m a)

Methods

mempty :: BlockBuilderT m a

(Stylable a, Functor m) => Stylable (BlockBuilderT m a)

Methods

cleanStyles :: BlockBuilderT m a -> BlockBuilderT m a

withStyle :: [StyleChange] -> BlockBuilderT m a -> BlockBuilderT m a

Concatenable (BlockBuilderT m a)

Methods

concat :: Dir -> BlockBuilderT m a -> BlockBuilderT m a -> BlockBuilderT m a

(~) * (BlockBuilderT m1 a1) t => Rewrapped (BlockBuilderT m2 a2) t

Convertible2 (* -> *) * (CartTree BlockBuilderT) BlockBuilderT

Methods

convert2 :: t s1 s2 -> t' s1 s2

type Unwrapped (BlockBuilderT m a)

type Unwrapped (BlockBuilderT m a) = CartTree BlockBuilderT m a

append :: BlockBuilder a -> BlockBuilder a -> BlockBuilder a

prepend :: BlockBuilder a -> BlockBuilder a -> BlockBuilder a

type LineBuilder = LineBuilderT Identity

newtype LineBuilderT m a

Constructors

LineBuilderT (CartTree LineBuilderT m a)

Instances

(Concatenable (m a), Monoid (m a)) => RenderT LineBuilderT m a

Methods

renderT :: LineBuilderT m a -> m a

ElemBuilderT LineBuilderT m a

Methods

plainT :: m a -> LineBuilderT m a

(ElemBuilder m a, Convertible' Text a) => Convertible Char (LineBuilderT m a)

Methods

convert :: Char -> LineBuilderT m a

(ElemBuilder m a, Convertible' Text a) => Convertible String (LineBuilderT m a)

Methods

convert :: String -> LineBuilderT m a

(ElemBuilder m a, Convertible' Text a) => Convertible Text (LineBuilderT m a)

Methods

convert :: Text -> LineBuilderT m a

Functor m => Functor (LineBuilderT m)

Methods

fmap :: (a -> b) -> LineBuilderT m a -> LineBuilderT m b

(<$) :: a -> LineBuilderT m b -> LineBuilderT m a

Foldable m => Foldable (LineBuilderT m)

Methods

fold :: Monoid m => LineBuilderT m m -> m

foldMap :: Monoid m => (a -> m) -> LineBuilderT m a -> m

foldr :: (a -> b -> b) -> b -> LineBuilderT m a -> b

foldr' :: (a -> b -> b) -> b -> LineBuilderT m a -> b

foldl :: (b -> a -> b) -> b -> LineBuilderT m a -> b

foldl' :: (b -> a -> b) -> b -> LineBuilderT m a -> b

foldr1 :: (a -> a -> a) -> LineBuilderT m a -> a

foldl1 :: (a -> a -> a) -> LineBuilderT m a -> a

toList :: LineBuilderT m a -> [a]

null :: LineBuilderT m a -> Bool

length :: LineBuilderT m a -> Int

elem :: Eq a => a -> LineBuilderT m a -> Bool

maximum :: Ord a => LineBuilderT m a -> a

minimum :: Ord a => LineBuilderT m a -> a

sum :: Num a => LineBuilderT m a -> a

product :: Num a => LineBuilderT m a -> a

Traversable m => Traversable (LineBuilderT m)

Methods

traverse :: Applicative f => (a -> f b) -> LineBuilderT m a -> f (LineBuilderT m b)

sequenceA :: Applicative f => LineBuilderT m (f a) -> f (LineBuilderT m a)

mapM :: Monad m => (a -> m b) -> LineBuilderT m a -> m (LineBuilderT m b)

sequence :: Monad m => LineBuilderT m (m a) -> m (LineBuilderT m a)

Show (m a) => Show (LineBuilderT m a)

Methods

showsPrec :: Int -> LineBuilderT m a -> ShowS

show :: LineBuilderT m a -> String

showList :: [LineBuilderT m a] -> ShowS

(ElemBuilder m a, IsString a) => IsString (LineBuilderT m a)

Methods

fromString :: String -> LineBuilderT m a

Semigroup (LineBuilderT m a)

Methods

(<>) :: LineBuilderT m a -> LineBuilderT m a -> LineBuilderT m a

sconcat :: NonEmpty (LineBuilderT m a) -> LineBuilderT m a

stimes :: Integral b => b -> LineBuilderT m a -> LineBuilderT m a

Monoid (LineBuilderT m a)

Methods

mempty :: LineBuilderT m a

mappend :: LineBuilderT m a -> LineBuilderT m a -> LineBuilderT m a

mconcat :: [LineBuilderT m a] -> LineBuilderT m a

Wrapped (LineBuilderT m a)

Associated Types

type Unwrapped (LineBuilderT m a) :: *

Methods

_Wrapped' :: Iso' (LineBuilderT m a) (Unwrapped (LineBuilderT m a))

Mempty (LineBuilderT m a)

Methods

mempty :: LineBuilderT m a

(Stylable a, Functor m) => Stylable (LineBuilderT m a)

Methods

cleanStyles :: LineBuilderT m a -> LineBuilderT m a

withStyle :: [StyleChange] -> LineBuilderT m a -> LineBuilderT m a

Concatenable (LineBuilderT m a)

Methods

concat :: Dir -> LineBuilderT m a -> LineBuilderT m a -> LineBuilderT m a

(~) * (LineBuilderT m1 a1) t => Rewrapped (LineBuilderT m2 a2) t

Convertible2 (* -> *) * (CartTree LineBuilderT) LineBuilderT

Methods

convert2 :: t s1 s2 -> t' s1 s2

type Unwrapped (LineBuilderT m a)

type Unwrapped (LineBuilderT m a) = CartTree LineBuilderT m a

block :: (Render t a, Concatenable (t a), ElemBuilder t a, Mempty a) => t a -> t a

indented :: (ElemBuilder t a, Spacing a, Semigroup (t a)) => t a -> t a

type Doc a = LineBuilderT BlockBuilder (LineBlock a)

The Doc type is just an alias to predefined layouting transformers. It is unified type allowing many fancy utils, like inserting indented code blocks.