Data.Sv.Encode.Type

The core type for encoding

Documentation

newtype Encode a

An Encode converts its argument into one or more textual fields, to be written out as CSV.

It is Semigroup, Contravariant', Divisible, and Decidable, allowing for composition of these values to build bigger Encodes from smaller ones.

Constructors

Encode

Fields

• getEncode :: EncodeOptions -> a -> Seq Builder

Instances

Contravariant Encode

Methods

contramap :: (a -> b) -> Encode b -> Encode a

(>$) :: b -> Encode b -> Encode a

Divisible Encode

Methods

divide :: (a -> (b, c)) -> Encode b -> Encode c -> Encode a

conquer :: Encode a

Decidable Encode

Methods

lose :: (a -> Void) -> Encode a

choose :: (a -> Either b c) -> Encode b -> Encode c -> Encode a

Semigroup (Encode a)

Methods

(<>) :: Encode a -> Encode a -> Encode a

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

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

Monoid (Encode a)

Methods

mempty :: Encode a

mappend :: Encode a -> Encode a -> Encode a

mconcat :: [Encode a] -> Encode a