Karya, built on 2023-08-29T07:47:28 (patch 7a412d5d6ba4968ca4155ef276a062ccdeb9109a)
Safe HaskellSafe-Inferred

Util.LazyVector

Contents

Synopsis

Documentation

data Lazy a Source #

Instances

Instances details
Functor Lazy Source # 
Instance details

Defined in Util.LazyVector

Methods

fmap :: (a -> b) -> Lazy a -> Lazy b #

(<$) :: a -> Lazy b -> Lazy a #

Show a => Show (Lazy a) Source # 
Instance details

Defined in Util.LazyVector

Methods

showsPrec :: Int -> Lazy a -> ShowS #

show :: Lazy a -> String #

showList :: [Lazy a] -> ShowS #

Pretty.Pretty a => Pretty.Pretty (Lazy a) Source # 
Instance details

Defined in Util.LazyVector

Methods

pretty :: Lazy a -> Text Source #

format :: Lazy a -> Doc Source #

formatList :: [Lazy a] -> Doc Source #

builder

data Builder a Source #

Instances

Instances details
Monoid (Builder a) Source # 
Instance details

Defined in Util.LazyVector

Methods

mempty :: Builder a #

mappend :: Builder a -> Builder a -> Builder a #

mconcat :: [Builder a] -> Builder a #

Semigroup (Builder a) Source # 
Instance details

Defined in Util.LazyVector

Methods

(<>) :: Builder a -> Builder a -> Builder a #

sconcat :: NonEmpty (Builder a) -> Builder a #

stimes :: Integral b => b -> Builder a -> Builder a #

Show a => Show (Builder a) Source # 
Instance details

Defined in Util.LazyVector

Methods

showsPrec :: Int -> Builder a -> ShowS #

show :: Builder a -> String #

showList :: [Builder a] -> ShowS #

Pretty.Pretty a => Pretty.Pretty (Builder a) Source # 
Instance details

Defined in Util.LazyVector

fromList :: [a] -> Builder a Source #