Copyright	(c) Fumiaki Kinoshita 2019
License	BSD3
Maintainer	Fumiaki Kinoshita <fumiexcel@gmail.com>
Stability	Provisional
Safe Haskell	None
Language	Haskell2010

Codec.Winery.Base

Description

Basic types

Synopsis

data Tag
- = TagInt !Int
- | TagStr !Text
- | TagList ![Tag]
type Schema = SchemaP Int
data SchemaP a
- = SFix !(SchemaP a)
- | SVar !a
- | SVector !(SchemaP a)
- | SProduct !(Vector (SchemaP a))
- | SRecord !(Vector (Text, SchemaP a))
- | SVariant !(Vector (Text, SchemaP a))
- | SBool
- | SChar
- | SWord8
- | SWord16
- | SWord32
- | SWord64
- | SInt8
- | SInt16
- | SInt32
- | SInt64
- | SInteger
- | SFloat
- | SDouble
- | SBytes
- | SText
- | SUTCTime
- | STag !Tag !(SchemaP a)
- | SLet !(SchemaP a) !(SchemaP a)
newtype SchemaGen a = SchemaGen {
- unSchemaGen :: Set TypeRep -> (Set TypeRep, [TypeRep] -> a)
}
currentSchemaVersion :: Word8
bootstrapSchema :: Word8 -> Either WineryException Schema
data Term
- = TBool !Bool
- | TChar !Char
- | TWord8 !Word8
- | TWord16 !Word16
- | TWord32 !Word32
- | TWord64 !Word64
- | TInt8 !Int8
- | TInt16 !Int16
- | TInt32 !Int32
- | TInt64 !Int64
- | TInteger !Integer
- | TFloat !Float
- | TDouble !Double
- | TBytes !ByteString
- | TText !Text
- | TUTCTime !UTCTime
- | TVector !(Vector Term)
- | TProduct !(Vector Term)
- | TRecord !(Vector (Text, Term))
- | TVariant !Int !Text Term
data ExtractException = InvalidTerm !Term
newtype Extractor a = Extractor {
- runExtractor :: Schema -> Strategy' (Term -> a)
}
type Strategy' = Strategy WineryException StrategyEnv
data StrategyBind
- = DynDecoder !Dynamic
- | BoundSchema !Int !Schema
data StrategyEnv = StrategyEnv !Int ![StrategyBind]
unwrapExtractor :: Extractor a -> Schema -> Strategy' (Term -> a)
data WineryException
- = UnexpectedSchema ![TypeRep] !(Doc AnsiStyle) !Schema
- | FieldNotFound ![TypeRep] !Text ![Text]
- | TypeMismatch ![TypeRep] !Int !TypeRep !TypeRep
- | ProductTooSmall ![TypeRep] !Int
- | UnboundVariable ![TypeRep] !Int
- | EmptyInput
- | WineryMessage !(Doc AnsiStyle)
- | UnsupportedSchemaVersion !Word8
pushTrace :: TypeRep -> WineryException -> WineryException
prettyWineryException :: WineryException -> Doc AnsiStyle

Documentation

data Tag Source #

Tag is an extra value that can be attached to a schema.

Constructors

TagInt !Int
TagStr !Text
TagList ![Tag]

Instances

Instances details

IsList Tag Source #
Instance details Defined in Codec.Winery.Base Associated Types type Item Tag # Methods fromList :: [Item Tag] -> Tag # fromListN :: Int -> [Item Tag] -> Tag # toList :: Tag -> [Item Tag] #
Eq Tag Source #
Instance details Defined in Codec.Winery.Base Methods (==) :: Tag -> Tag -> Bool # (/=) :: Tag -> Tag -> Bool #
Read Tag Source #
Instance details Defined in Codec.Winery.Base Methods readsPrec :: Int -> ReadS Tag # readList :: ReadS [Tag] # readPrec :: ReadPrec Tag # readListPrec :: ReadPrec [Tag] #
Show Tag Source #
Instance details Defined in Codec.Winery.Base Methods showsPrec :: Int -> Tag -> ShowS # show :: Tag -> String # showList :: [Tag] -> ShowS #
IsString Tag Source #
Instance details Defined in Codec.Winery.Base Methods fromString :: String -> Tag #
Generic Tag Source #
Instance details Defined in Codec.Winery.Base Associated Types type Rep Tag :: Type -> Type # Methods from :: Tag -> Rep Tag x # to :: Rep Tag x -> Tag #
Pretty Tag Source #
Instance details Defined in Codec.Winery.Base Methods pretty :: Tag -> Doc ann # prettyList :: [Tag] -> Doc ann #
Serialise Tag Source #
Instance details Defined in Codec.Winery.Class Methods schemaGen :: Proxy Tag -> SchemaGen Schema Source # toBuilder :: Tag -> Builder Source # extractor :: Extractor Tag Source # decodeCurrent :: Decoder Tag Source # bundleSerialise :: BundleSerialise Tag Source #
type Rep Tag Source #
Instance details Defined in Codec.Winery.Base type Rep Tag = D1 ('MetaData "Tag" "Codec.Winery.Base" "winery-1.3.2-KhjWZ07kGaY74i3HCD3TU0" 'False) (C1 ('MetaCons "TagInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: (C1 ('MetaCons "TagStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "TagList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Tag]))))
type Item Tag Source #
Instance details Defined in Codec.Winery.Base type Item Tag = Tag

type Schema = SchemaP Int Source #

A schema preserves structure of a datatype, allowing users to inspect the data regardless of the current implementation.

"Yeah, it’s just a memento. Just, you know, from the first time we met."

data SchemaP a Source #

The basic schema datatype

Constructors

SFix !(SchemaP a)	binds a fixpoint
SVar !a	`SVar n` refers to the n-th innermost fixpoint
SVector !(SchemaP a)
SProduct !(Vector (SchemaP a))
SRecord !(Vector (Text, SchemaP a))
SVariant !(Vector (Text, SchemaP a))
SBool
SChar
SWord8
SWord16
SWord32
SWord64
SInt8
SInt16
SInt32
SInt64
SInteger
SFloat
SDouble
SBytes
SText
SUTCTime	nanoseconds from POSIX epoch
STag !Tag !(SchemaP a)
SLet !(SchemaP a) !(SchemaP a)

Instances

Instances details

Functor SchemaP Source #
Instance details Defined in Codec.Winery.Base Methods fmap :: (a -> b) -> SchemaP a -> SchemaP b # (<$) :: a -> SchemaP b -> SchemaP a #
Foldable SchemaP Source #
Instance details Defined in Codec.Winery.Base Methods fold :: Monoid m => SchemaP m -> m # foldMap :: Monoid m => (a -> m) -> SchemaP a -> m # foldMap' :: Monoid m => (a -> m) -> SchemaP a -> m # foldr :: (a -> b -> b) -> b -> SchemaP a -> b # foldr' :: (a -> b -> b) -> b -> SchemaP a -> b # foldl :: (b -> a -> b) -> b -> SchemaP a -> b # foldl' :: (b -> a -> b) -> b -> SchemaP a -> b # foldr1 :: (a -> a -> a) -> SchemaP a -> a # foldl1 :: (a -> a -> a) -> SchemaP a -> a # toList :: SchemaP a -> [a] # null :: SchemaP a -> Bool # length :: SchemaP a -> Int # elem :: Eq a => a -> SchemaP a -> Bool # maximum :: Ord a => SchemaP a -> a # minimum :: Ord a => SchemaP a -> a # sum :: Num a => SchemaP a -> a # product :: Num a => SchemaP a -> a #
Traversable SchemaP Source #
Instance details Defined in Codec.Winery.Base Methods traverse :: Applicative f => (a -> f b) -> SchemaP a -> f (SchemaP b) # sequenceA :: Applicative f => SchemaP (f a) -> f (SchemaP a) # mapM :: Monad m => (a -> m b) -> SchemaP a -> m (SchemaP b) # sequence :: Monad m => SchemaP (m a) -> m (SchemaP a) #
Serialise Schema Source #
Instance details Defined in Codec.Winery.Class Methods schemaGen :: Proxy Schema -> SchemaGen Schema Source # toBuilder :: Schema -> Builder Source # extractor :: Extractor Schema Source # decodeCurrent :: Decoder Schema Source # bundleSerialise :: BundleSerialise Schema Source #
Eq a => Eq (SchemaP a) Source #
Instance details Defined in Codec.Winery.Base Methods (==) :: SchemaP a -> SchemaP a -> Bool # (/=) :: SchemaP a -> SchemaP a -> Bool #
Read a => Read (SchemaP a) Source #
Instance details Defined in Codec.Winery.Base Methods readsPrec :: Int -> ReadS (SchemaP a) # readList :: ReadS [SchemaP a] # readPrec :: ReadPrec (SchemaP a) # readListPrec :: ReadPrec [SchemaP a] #
Show a => Show (SchemaP a) Source #
Instance details Defined in Codec.Winery.Base Methods showsPrec :: Int -> SchemaP a -> ShowS # show :: SchemaP a -> String # showList :: [SchemaP a] -> ShowS #
Generic (SchemaP a) Source #
Instance details Defined in Codec.Winery.Base Associated Types type Rep (SchemaP a) :: Type -> Type # Methods from :: SchemaP a -> Rep (SchemaP a) x # to :: Rep (SchemaP a) x -> SchemaP a #
Pretty a => Pretty (SchemaP a) Source #
Instance details Defined in Codec.Winery.Base Methods pretty :: SchemaP a -> Doc ann # prettyList :: [SchemaP a] -> Doc ann #
type Rep (SchemaP a) Source #
Instance details Defined in Codec.Winery.Base type Rep (SchemaP a) = D1 ('MetaData "SchemaP" "Codec.Winery.Base" "winery-1.3.2-KhjWZ07kGaY74i3HCD3TU0" 'False) ((((C1 ('MetaCons "SFix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SchemaP a))) :+: (C1 ('MetaCons "SVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "SVector" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SchemaP a))))) :+: (C1 ('MetaCons "SProduct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector (SchemaP a)))) :+: (C1 ('MetaCons "SRecord" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector (Text, SchemaP a)))) :+: C1 ('MetaCons "SVariant" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector (Text, SchemaP a))))))) :+: ((C1 ('MetaCons "SBool" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SChar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SWord8" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "SWord16" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SWord32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SWord64" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "SInt8" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SInt16" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SInt32" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "SInt64" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SInteger" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SFloat" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "SDouble" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SBytes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SText" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "SUTCTime" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "STag" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Tag) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SchemaP a))) :+: C1 ('MetaCons "SLet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SchemaP a)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SchemaP a))))))))

newtype SchemaGen a Source #

Schema generator

Constructors

SchemaGen
Fields unSchemaGen :: Set TypeRep -> (Set TypeRep, [TypeRep] -> a)

Instances

Instances details

Functor SchemaGen Source #
Instance details Defined in Codec.Winery.Base Methods fmap :: (a -> b) -> SchemaGen a -> SchemaGen b # (<$) :: a -> SchemaGen b -> SchemaGen a #
Applicative SchemaGen Source #
Instance details Defined in Codec.Winery.Base Methods pure :: a -> SchemaGen a # (<>) :: SchemaGen (a -> b) -> SchemaGen a -> SchemaGen b # liftA2 :: (a -> b -> c) -> SchemaGen a -> SchemaGen b -> SchemaGen c # (>) :: SchemaGen a -> SchemaGen b -> SchemaGen b # (<*) :: SchemaGen a -> SchemaGen b -> SchemaGen a #

currentSchemaVersion :: Word8 Source #

The current version of the schema

bootstrapSchema :: Word8 -> Either WineryException Schema Source #

Obtain the schema of the schema corresponding to the specified version.

data Term Source #

Common representation for any winery data. Handy for prettyprinting winery-serialised data.

Constructors

TBool !Bool
TChar !Char
TWord8 !Word8
TWord16 !Word16
TWord32 !Word32
TWord64 !Word64
TInt8 !Int8
TInt16 !Int16
TInt32 !Int32
TInt64 !Int64
TInteger !Integer
TFloat !Float
TDouble !Double
TBytes !ByteString
TText !Text
TUTCTime !UTCTime
TVector !(Vector Term)
TProduct !(Vector Term)
TRecord !(Vector (Text, Term))
TVariant !Int !Text Term

Instances

Instances details

Show Term Source #
Instance details Defined in Codec.Winery.Base Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
ToJSON Term Source #
Instance details Defined in Codec.Winery.Base Methods toJSON :: Term -> Value # toEncoding :: Term -> Encoding # toJSONList :: [Term] -> Value # toEncodingList :: [Term] -> Encoding #
Pretty Term Source #
Instance details Defined in Codec.Winery.Base Methods pretty :: Term -> Doc ann # prettyList :: [Term] -> Doc ann #

data ExtractException Source #

This may be thrown if illegal Term is passed to an extractor.

Constructors

InvalidTerm !Term

Instances

Instances details

Show ExtractException Source #
Instance details Defined in Codec.Winery.Base Methods showsPrec :: Int -> ExtractException -> ShowS # show :: ExtractException -> String # showList :: [ExtractException] -> ShowS #
Exception ExtractException Source #
Instance details Defined in Codec.Winery.Base Methods toException :: ExtractException -> SomeException # fromException :: SomeException -> Maybe ExtractException # displayException :: ExtractException -> String #

newtype Extractor a Source #

Extractor is a Plan that creates a function to extract a value from Term.

The Applicative instance can be used to build a user-defined extractor. This is also Alternative, meaning that fallback plans may be added.

"Don't get set into one form, adapt it and build your own, and let it grow, be like water."

Constructors

Extractor
Fields runExtractor :: Schema -> Strategy' (Term -> a)

Instances

Instances details

Functor Extractor Source #
Instance details Defined in Codec.Winery.Base Methods fmap :: (a -> b) -> Extractor a -> Extractor b # (<$) :: a -> Extractor b -> Extractor a #
Applicative Extractor Source #
Instance details Defined in Codec.Winery.Base Methods pure :: a -> Extractor a # (<>) :: Extractor (a -> b) -> Extractor a -> Extractor b # liftA2 :: (a -> b -> c) -> Extractor a -> Extractor b -> Extractor c # (>) :: Extractor a -> Extractor b -> Extractor b # (<*) :: Extractor a -> Extractor b -> Extractor a #
Alternative Extractor Source #
Instance details Defined in Codec.Winery.Base Methods empty :: Extractor a # (<\|>) :: Extractor a -> Extractor a -> Extractor a # some :: Extractor a -> Extractor [a] # many :: Extractor a -> Extractor [a] #

type Strategy' = Strategy WineryException StrategyEnv Source #

data StrategyBind Source #

Constructors

DynDecoder !Dynamic	A fixpoint of a decoder
BoundSchema !Int !Schema	schema bound by `SLet`. `Int` is a basis of the variables

data StrategyEnv Source #

Constructors

StrategyEnv !Int ![StrategyBind]

unwrapExtractor :: Extractor a -> Schema -> Strategy' (Term -> a) Source #

Deprecated: Use runExtractor instead

Run an Extractor.

data WineryException Source #

Exceptions thrown by an extractor

Constructors

UnexpectedSchema ![TypeRep] !(Doc AnsiStyle) !Schema
FieldNotFound ![TypeRep] !Text ![Text]
TypeMismatch ![TypeRep] !Int !TypeRep !TypeRep
ProductTooSmall ![TypeRep] !Int
UnboundVariable ![TypeRep] !Int
EmptyInput
WineryMessage !(Doc AnsiStyle)
UnsupportedSchemaVersion !Word8

Instances

Instances details

Show WineryException Source #
Instance details Defined in Codec.Winery.Base Methods showsPrec :: Int -> WineryException -> ShowS # show :: WineryException -> String # showList :: [WineryException] -> ShowS #
IsString WineryException Source #
Instance details Defined in Codec.Winery.Base Methods fromString :: String -> WineryException #
Exception WineryException Source #
Instance details Defined in Codec.Winery.Base Methods toException :: WineryException -> SomeException # fromException :: SomeException -> Maybe WineryException # displayException :: WineryException -> String #

pushTrace :: TypeRep -> WineryException -> WineryException Source #

prettyWineryException :: WineryException -> Doc AnsiStyle Source #

Pretty-print WineryException