Colonnade.Types

Documentation

newtype Colonnade f c a

An columnar encoding of a. The type variable f determines what is present in each column in the header row. It is typically instantiated to Headed and occasionally to Headless. There is nothing that restricts it to these two types, although they satisfy the majority of use cases. The type variable c is the content type. This can be Text, String, or ByteString. In the companion libraries reflex-dom-colonnade and yesod-colonnade, additional types that represent HTML with element attributes are provided that serve as the content type.

Internally, a Colonnade is represented as a Vector of individual column encodings. It is possible to use any collection type with Alternative and Foldable instances. However, Vector was chosen to optimize the data structure for the use case of building the structure once and then folding over it many times. It is recommended that Colonnades are defined at the top-level so that GHC avoid reconstructing them every time they are used.

Constructors

Colonnade

Fields

• getColonnade :: Vector (OneColonnade f c a)

Instances

Divisible (Colonnade f content)

Methods

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

conquer :: Colonnade f content a

Contravariant (Colonnade f content)

Methods

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

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

Monoid (Colonnade f c a)

Methods

mempty :: Colonnade f c a

mappend :: Colonnade f c a -> Colonnade f c a -> Colonnade f c a

mconcat :: [Colonnade f c a] -> Colonnade f c a

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

data OneColonnade f content a

Encodes a header and a cell.

Constructors

OneColonnade

Fields

• oneColonnadeHead :: !(f content)
• oneColonnadeEncode :: !(a -> content)

Instances

Contravariant (OneColonnade f content)

Methods

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

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

newtype Headed a

This type is 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

This type is 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 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 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

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