Colonnade.Types

Documentation

newtype Encoding f content a

Constructors

Encoding

Fields

• getEncoding :: Vector (OneEncoding f content a)

Instances

Divisible (Encoding f content)

Methods

divide :: (a -> (b, c)) -> Encoding f content b -> Encoding f content c -> Encoding f content a

conquer :: Encoding f content a

Contravariant (Encoding f content)

Methods

contramap :: (a -> b) -> Encoding f content b -> Encoding f content a

(>$) :: b -> Encoding f content b -> Encoding f content a

Monoid (Encoding f content a)

Methods

mempty :: Encoding f content a

mappend :: Encoding f content a -> Encoding f content a -> Encoding f content a

mconcat :: [Encoding f content a] -> Encoding f content a

data Decoding 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

DecodingPure :: !a -> Decoding f content a

DecodingAp :: !(f content) -> !(content -> Either String a) -> !(Decoding f content (a -> b)) -> Decoding f content b

Instances

Functor (Decoding f content)

Methods

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

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

Applicative (Decoding f content)

Methods

pure :: a -> Decoding f content a

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

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

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

data OneEncoding f content a

Encodes a header and a cell.

Constructors

OneEncoding

Fields

• oneEncodingHead :: !(f content)
• oneEncodingEncode :: !(a -> content)

Instances

Contravariant (OneEncoding f content)

Methods

contramap :: (a -> b) -> OneEncoding f content b -> OneEncoding f content a

(>$) :: b -> OneEncoding f content b -> OneEncoding f content a

newtype Headed a

Isomorphic to Identity

Constructors

Headed

Fields

• getHeaded :: a

Instances

Functor Headed

Methods

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

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

Foldable Headed

Methods

fold :: Monoid m => Headed m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Headed a -> a

foldl1 :: (a -> a -> a) -> Headed a -> a

toList :: Headed a -> [a]

null :: Headed a -> Bool

length :: Headed a -> Int

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

maximum :: Ord a => Headed a -> a

minimum :: Ord a => Headed a -> a

sum :: Num a => Headed a -> a

product :: Num a => Headed a -> a

Eq a => Eq (Headed a)

Methods

(==) :: Headed a -> Headed a -> Bool

(/=) :: Headed a -> Headed a -> Bool

Ord a => Ord (Headed a)

Methods

compare :: Headed a -> Headed a -> Ordering

(<) :: Headed a -> Headed a -> Bool

(<=) :: Headed a -> Headed a -> Bool

(>) :: Headed a -> Headed a -> Bool

(>=) :: Headed a -> Headed a -> Bool

max :: Headed a -> Headed a -> Headed a

min :: Headed a -> Headed a -> Headed a

Read a => Read (Headed a)

Methods

readsPrec :: Int -> ReadS (Headed a)

readList :: ReadS [Headed a]

readPrec :: ReadPrec (Headed a)

readListPrec :: ReadPrec [Headed a]

Show a => Show (Headed a)

Methods

showsPrec :: Int -> Headed a -> ShowS

show :: Headed a -> String

showList :: [Headed a] -> ShowS

data Headless a

Isomorphic to Proxy

Constructors

Headless

Instances

Functor Headless

Methods

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

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

Foldable Headless

Methods

fold :: Monoid m => Headless m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Headless a -> a

foldl1 :: (a -> a -> a) -> Headless a -> a

toList :: Headless a -> [a]

null :: Headless a -> Bool

length :: Headless a -> Int

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

maximum :: Ord a => Headless a -> a

minimum :: Ord a => Headless a -> a

sum :: Num a => Headless a -> a

product :: Num a => Headless a -> a

Contravariant Headless

Methods

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

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

Eq (Headless a)

Methods

(==) :: Headless a -> Headless a -> Bool

(/=) :: Headless a -> Headless a -> Bool

Ord (Headless a)

Methods

compare :: Headless a -> Headless a -> Ordering

(<) :: Headless a -> Headless a -> Bool

(<=) :: Headless a -> Headless a -> Bool

(>) :: Headless a -> Headless a -> Bool

(>=) :: Headless a -> Headless a -> Bool

max :: Headless a -> Headless a -> Headless a

min :: Headless a -> Headless a -> Headless a

Read (Headless a)

Methods

readsPrec :: Int -> ReadS (Headless a)

readList :: ReadS [Headless a]

readPrec :: ReadPrec (Headless a)

readListPrec :: ReadPrec [Headless a]

Show (Headless a)

Methods

showsPrec :: Int -> Headless a -> ShowS

show :: Headless a -> String

showList :: [Headless a] -> 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

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 DecodingCellError f content

Constructors

DecodingCellError

Fields

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

Instances

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

Methods

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

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

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

Methods

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

readList :: ReadS [DecodingCellError f content]

readPrec :: ReadPrec (DecodingCellError f content)

readListPrec :: ReadPrec [DecodingCellError f content]

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

Methods

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

show :: DecodingCellError f content -> String

showList :: [DecodingCellError f content] -> ShowS

data DecodingRowError f content

Constructors

DecodingRowError

Fields

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

Instances

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

Methods

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

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

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

Methods

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

readList :: ReadS [DecodingRowError f content]

readPrec :: ReadPrec (DecodingRowError f content)

readListPrec :: ReadPrec [DecodingRowError f content]

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

Methods

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

show :: DecodingRowError f content -> String

showList :: [DecodingRowError f content] -> ShowS

newtype DecodingCellErrors f content

Constructors

DecodingCellErrors

Fields

• getDecodingCellErrors :: Vector (DecodingCellError f content)

Instances

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

Methods

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

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

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

Methods

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

readList :: ReadS [DecodingCellErrors f content]

readPrec :: ReadPrec (DecodingCellErrors f content)

readListPrec :: ReadPrec [DecodingCellErrors f content]

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

Methods

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

show :: DecodingCellErrors f content -> String

showList :: [DecodingCellErrors f content] -> ShowS

Monoid (DecodingCellErrors f content)

Methods

mempty :: DecodingCellErrors f content

mappend :: DecodingCellErrors f content -> DecodingCellErrors f content -> DecodingCellErrors f content

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

data RowError f content

Constructors

RowErrorParse !String

Error occurred parsing the document into cells

RowErrorDecode !(DecodingCellErrors 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 content, Eq (f content)) => Eq (RowError f content)

Methods

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

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

(Read content, Read (f 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 content, Show (f content)) => Show (RowError f content)

Methods

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

show :: RowError f content -> String

showList :: [RowError f content] -> ShowS