Copyright	(C) CSIRO 2017-2018
License	BSD3
Maintainer	George Wilson <george.wilson@data61.csiro.au>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Sv.Encode.Type

Description

The core type for encoding

Synopsis

Documentation

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 Source #
Instance details Defined in Data.Sv.Encode.Type Methods contramap :: (a -> b) -> Encode b -> Encode a # (>$) :: b -> Encode b -> Encode a #
Divisible Encode Source #
Instance details Defined in Data.Sv.Encode.Type Methods divide :: (a -> (b, c)) -> Encode b -> Encode c -> Encode a # conquer :: Encode a #
Decidable Encode Source #
Instance details Defined in Data.Sv.Encode.Type Methods lose :: (a -> Void) -> Encode a # choose :: (a -> Either b c) -> Encode b -> Encode c -> Encode a #
Semigroup (Encode a) Source #
Instance details Defined in Data.Sv.Encode.Type Methods (<>) :: Encode a -> Encode a -> Encode a # sconcat :: NonEmpty (Encode a) -> Encode a # stimes :: Integral b => b -> Encode a -> Encode a #
Monoid (Encode a) Source #
Instance details Defined in Data.Sv.Encode.Type Methods mempty :: Encode a # mappend :: Encode a -> Encode a -> Encode a # mconcat :: [Encode a] -> Encode a #