Colonnade.Types

Synopsis

• newtype Encoding f content a = Encoding {
  • getEncoding :: Vector (OneEncoding f content a)
  }
• data Decoding f content a where
  • DecodingPure :: !a -> Decoding f content a
  • DecodingAp :: !(f content) -> !(content -> Either String a) -> !(Decoding f content (a -> b)) -> Decoding f content b
• data OneEncoding f content a = OneEncoding {
  • oneEncodingHead :: !(f content)
  • oneEncodingEncode :: !(a -> content)
  }
• newtype Headed a = Headed {
  • getHeaded :: a
  }
• data Headless a = Headless
• data Indexed f a = Indexed {
  • indexedIndex :: !Int
  • indexedHeading :: !(f a)
  }
• data HeadingErrors content = HeadingErrors {
  • headingErrorsMissing :: Vector content
  • headingErrorsDuplicate :: Vector (content, Int)
  }
• data DecodingCellError f content = DecodingCellError {
  • decodingCellErrorContent :: !content
  • decodingCellErrorHeader :: !(Indexed f content)
  • decodingCellErrorMessage :: !String
  }
• data DecodingRowError f content = DecodingRowError {
  • decodingRowErrorRow :: !Int
  • decodingRowErrorError :: !(RowError f content)
  }
• newtype DecodingCellErrors f content = DecodingCellErrors {
  • getDecodingCellErrors :: Vector (DecodingCellError f content)
  }
• data RowError f content
  • = RowErrorParse !String
  • | RowErrorDecode !(DecodingCellErrors f content)
  • | RowErrorSize !Int !Int
  • | RowErrorHeading !(HeadingErrors content)
  • | RowErrorMinSize !Int !Int
  • | RowErrorMalformed !String

Documentation