Siphon.Types

Documentation

newtype Escaped c

Constructors

Escaped

Fields

• getEscaped :: c

data Siphon c

Constructors

Siphon

Fields

• siphonEscape :: !(c -> Escaped c)
• siphonIntercalate :: !(Vector (Escaped c) -> c)
• siphonParseRow :: c -> IResult c (Vector c)
• siphonNull :: c -> Bool

data DecolonnadeCellError f content

Constructors

DecolonnadeCellError

Fields

• decodingCellErrorContent :: !content
• decodingCellErrorHeader :: !(Indexed f content)
• decodingCellErrorMessage :: !String

Instances

(Eq (f content), Eq content) => Eq (DecolonnadeCellError f content)

Methods

(==) :: DecolonnadeCellError f content -> DecolonnadeCellError f content -> Bool

(/=) :: DecolonnadeCellError f content -> DecolonnadeCellError f content -> Bool

(Read (f content), Read content) => Read (DecolonnadeCellError f content)

Methods

readsPrec :: Int -> ReadS (DecolonnadeCellError f content)

readList :: ReadS [DecolonnadeCellError f content]

readPrec :: ReadPrec (DecolonnadeCellError f content)

readListPrec :: ReadPrec [DecolonnadeCellError f content]

(Show (f content), Show content) => Show (DecolonnadeCellError f content)

Methods

showsPrec :: Int -> DecolonnadeCellError f content -> ShowS

show :: DecolonnadeCellError f content -> String

showList :: [DecolonnadeCellError f content] -> ShowS

data Indexed f a

Constructors

Indexed

Fields

• indexedIndex :: !Int
• indexedHeading :: !(f a)

Instances

Functor f => Functor (Indexed f)

Methods

fmap :: (a -> b) -> Indexed f a -> Indexed f b

(<$) :: a -> Indexed f b -> Indexed f a

Eq (f a) => Eq (Indexed f a)

Methods

(==) :: Indexed f a -> Indexed f a -> Bool

(/=) :: Indexed f a -> Indexed f a -> Bool

Ord (f a) => Ord (Indexed f a)

Methods

compare :: Indexed f a -> Indexed f a -> Ordering

(<) :: Indexed f a -> Indexed f a -> Bool

(<=) :: Indexed f a -> Indexed f a -> Bool

(>) :: Indexed f a -> Indexed f a -> Bool

(>=) :: Indexed f a -> Indexed f a -> Bool

max :: Indexed f a -> Indexed f a -> Indexed f a

min :: Indexed f a -> Indexed f a -> Indexed f a

Read (f a) => Read (Indexed f a)

Methods

readsPrec :: Int -> ReadS (Indexed f a)

readList :: ReadS [Indexed f a]

readPrec :: ReadPrec (Indexed f a)

readListPrec :: ReadPrec [Indexed f a]

Show (f a) => Show (Indexed f a)

Methods

showsPrec :: Int -> Indexed f a -> ShowS

show :: Indexed f a -> String

showList :: [Indexed f a] -> ShowS

newtype DecolonnadeCellErrors f content

Constructors

DecolonnadeCellErrors

Fields

• getDecolonnadeCellErrors :: Vector (DecolonnadeCellError f content)

Instances

(Eq (f content), Eq content) => Eq (DecolonnadeCellErrors f content)

Methods

(==) :: DecolonnadeCellErrors f content -> DecolonnadeCellErrors f content -> Bool

(/=) :: DecolonnadeCellErrors f content -> DecolonnadeCellErrors f content -> Bool

(Read (f content), Read content) => Read (DecolonnadeCellErrors f content)

Methods

readsPrec :: Int -> ReadS (DecolonnadeCellErrors f content)

readList :: ReadS [DecolonnadeCellErrors f content]

readPrec :: ReadPrec (DecolonnadeCellErrors f content)

readListPrec :: ReadPrec [DecolonnadeCellErrors f content]

(Show (f content), Show content) => Show (DecolonnadeCellErrors f content)

Methods

showsPrec :: Int -> DecolonnadeCellErrors f content -> ShowS

show :: DecolonnadeCellErrors f content -> String

showList :: [DecolonnadeCellErrors f content] -> ShowS

Monoid (DecolonnadeCellErrors f content)

Methods

mempty :: DecolonnadeCellErrors f content

mappend :: DecolonnadeCellErrors f content -> DecolonnadeCellErrors f content -> DecolonnadeCellErrors f content

mconcat :: [DecolonnadeCellErrors f content] -> DecolonnadeCellErrors f content

data DecolonnadeRowError f content

Constructors

DecolonnadeRowError

Fields

• decodingRowErrorRow :: !Int
• decodingRowErrorError :: !(RowError f content)

Instances

(Eq (f content), Eq content) => Eq (DecolonnadeRowError f content)

Methods

(==) :: DecolonnadeRowError f content -> DecolonnadeRowError f content -> Bool

(/=) :: DecolonnadeRowError f content -> DecolonnadeRowError f content -> Bool

(Read (f content), Read content) => Read (DecolonnadeRowError f content)

Methods

readsPrec :: Int -> ReadS (DecolonnadeRowError f content)

readList :: ReadS [DecolonnadeRowError f content]

readPrec :: ReadPrec (DecolonnadeRowError f content)

readListPrec :: ReadPrec [DecolonnadeRowError f content]

(Show (f content), Show content) => Show (DecolonnadeRowError f content)

Methods

showsPrec :: Int -> DecolonnadeRowError f content -> ShowS

show :: DecolonnadeRowError f content -> String

showList :: [DecolonnadeRowError f content] -> ShowS

data RowError f content

Constructors

RowErrorParse !String

Error occurred parsing the document into cells

RowErrorDecode !(DecolonnadeCellErrors f content)

Error decoding the content

RowErrorSize !Int !Int

Wrong number of cells in the row

RowErrorHeading !(HeadingErrors content)

RowErrorMinSize !Int !Int

RowErrorMalformed !String

Error decoding unicode content

Instances

(Eq (f content), Eq content) => Eq (RowError f content)

Methods

(==) :: RowError f content -> RowError f content -> Bool

(/=) :: RowError f content -> RowError f content -> Bool

(Read (f content), Read content) => Read (RowError f content)

Methods

readsPrec :: Int -> ReadS (RowError f content)

readList :: ReadS [RowError f content]

readPrec :: ReadPrec (RowError f content)

readListPrec :: ReadPrec [RowError f content]

(Show (f content), Show content) => Show (RowError f content)

Methods

showsPrec :: Int -> RowError f content -> ShowS

show :: RowError f content -> String

showList :: [RowError f content] -> ShowS

data HeadingErrors content

Constructors

HeadingErrors

Fields

• headingErrorsMissing :: Vector content

  headers that were missing

• headingErrorsDuplicate :: Vector (content, Int)

  headers that occurred more than once

Instances

Eq content => Eq (HeadingErrors content)

Methods

(==) :: HeadingErrors content -> HeadingErrors content -> Bool

(/=) :: HeadingErrors content -> HeadingErrors content -> Bool

Read content => Read (HeadingErrors content)

Methods

readsPrec :: Int -> ReadS (HeadingErrors content)

readList :: ReadS [HeadingErrors content]

readPrec :: ReadPrec (HeadingErrors content)

readListPrec :: ReadPrec [HeadingErrors content]

Show content => Show (HeadingErrors content)

Methods

showsPrec :: Int -> HeadingErrors content -> ShowS

show :: HeadingErrors content -> String

showList :: [HeadingErrors content] -> ShowS

Monoid (HeadingErrors content)

Methods

mempty :: HeadingErrors content

mappend :: HeadingErrors content -> HeadingErrors content -> HeadingErrors content

mconcat :: [HeadingErrors content] -> HeadingErrors content

(Show content, Typeable * content) => Exception (HeadingErrors content)

Methods

toException :: HeadingErrors content -> SomeException

fromException :: SomeException -> Maybe (HeadingErrors content)

displayException :: HeadingErrors content -> String

data Decolonnade f content a where

This just actually a specialization of the free applicative. Check out Control.Applicative.Free in the free library to learn more about this. The meanings of the fields are documented slightly more in the source code. Unfortunately, haddock does not play nicely with GADTs.

Constructors

DecolonnadePure :: !a -> Decolonnade f content a

DecolonnadeAp :: !(f content) -> !(content -> Either String a) -> !(Decolonnade f content (a -> b)) -> Decolonnade f content b

Instances

Functor (Decolonnade f content)

Methods

fmap :: (a -> b) -> Decolonnade f content a -> Decolonnade f content b

(<$) :: a -> Decolonnade f content b -> Decolonnade f content a

Applicative (Decolonnade f content)

Methods

pure :: a -> Decolonnade f content a

(<*>) :: Decolonnade f content (a -> b) -> Decolonnade f content a -> Decolonnade f content b

(*>) :: Decolonnade f content a -> Decolonnade f content b -> Decolonnade f content b

(<*) :: Decolonnade f content a -> Decolonnade f content b -> Decolonnade f content a