Codec.Winery.Base

Basic types

Documentation

data Tag

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

Constructors

TagInt !Int

TagStr !Text

TagList ![Tag]

Instances

IsList Tag

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

Defined in Codec.Winery.Base

Methods

(==) :: Tag -> Tag -> Bool

(/=) :: Tag -> Tag -> Bool

Read Tag

Defined in Codec.Winery.Base

Methods

readsPrec :: Int -> ReadS Tag

readList :: ReadS [Tag]

readPrec :: ReadPrec Tag

readListPrec :: ReadPrec [Tag]

Show Tag

Defined in Codec.Winery.Base

Methods

showsPrec :: Int -> Tag -> ShowS

show :: Tag -> String

showList :: [Tag] -> ShowS

IsString Tag

Defined in Codec.Winery.Base

Methods

fromString :: String -> Tag

Generic Tag

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

Defined in Codec.Winery.Base

Methods

pretty :: Tag -> Doc ann

prettyList :: [Tag] -> Doc ann

Serialise Tag

Defined in Codec.Winery.Class

Methods

schemaGen :: Proxy Tag -> SchemaGen Schema

toBuilder :: Tag -> Builder

extractor :: Extractor Tag

decodeCurrent :: Decoder Tag

bundleSerialise :: BundleSerialise Tag

type Rep Tag

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

Defined in Codec.Winery.Base

type Item Tag = Tag

type Schema = SchemaP Int

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

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

Functor SchemaP

Defined in Codec.Winery.Base

Methods

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

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

Foldable SchemaP

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

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

Defined in Codec.Winery.Class

Methods

schemaGen :: Proxy Schema -> SchemaGen Schema

toBuilder :: Schema -> Builder

extractor :: Extractor Schema

decodeCurrent :: Decoder Schema

bundleSerialise :: BundleSerialise Schema

Eq a => Eq (SchemaP a)

Defined in Codec.Winery.Base

Methods

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

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

Read a => Read (SchemaP a)

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)

Defined in Codec.Winery.Base

Methods

showsPrec :: Int -> SchemaP a -> ShowS

show :: SchemaP a -> String

showList :: [SchemaP a] -> ShowS

Generic (SchemaP a)

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)

Defined in Codec.Winery.Base

Methods

pretty :: SchemaP a -> Doc ann

prettyList :: [SchemaP a] -> Doc ann

type Rep (SchemaP a)

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

Schema generator

Constructors

SchemaGen

Fields

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

Instances

Functor SchemaGen

Defined in Codec.Winery.Base

Methods

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

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

Applicative SchemaGen

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

The current version of the schema

bootstrapSchema :: Word8 -> Either WineryException Schema

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

data Term

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

Show Term

Defined in Codec.Winery.Base

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

ToJSON Term

Defined in Codec.Winery.Base

Methods

toJSON :: Term -> Value

toEncoding :: Term -> Encoding

toJSONList :: [Term] -> Value

toEncodingList :: [Term] -> Encoding

Pretty Term

Defined in Codec.Winery.Base

Methods

pretty :: Term -> Doc ann

prettyList :: [Term] -> Doc ann

data ExtractException

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

Constructors

InvalidTerm !Term

Instances

Show ExtractException

Defined in Codec.Winery.Base

Methods

showsPrec :: Int -> ExtractException -> ShowS

show :: ExtractException -> String

showList :: [ExtractException] -> ShowS

Exception ExtractException

Defined in Codec.Winery.Base

Methods

toException :: ExtractException -> SomeException

fromException :: SomeException -> Maybe ExtractException

displayException :: ExtractException -> String

newtype Extractor a

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

Functor Extractor

Defined in Codec.Winery.Base

Methods

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

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

Applicative Extractor

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

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

data StrategyBind

Constructors

DynDecoder !Dynamic

A fixpoint of a decoder

BoundSchema !Int !Schema

schema bound by SLet. Int is a basis of the variables

data StrategyEnv

Constructors

StrategyEnv !Int ![StrategyBind]

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

Deprecated: Use runExtractor instead

Run an Extractor.

data WineryException

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

Show WineryException

Defined in Codec.Winery.Base

Methods

showsPrec :: Int -> WineryException -> ShowS

show :: WineryException -> String

showList :: [WineryException] -> ShowS

IsString WineryException

Defined in Codec.Winery.Base

Methods

fromString :: String -> WineryException

Exception WineryException

Defined in Codec.Winery.Base

Methods

toException :: WineryException -> SomeException

fromException :: SomeException -> Maybe WineryException

displayException :: WineryException -> String

pushTrace :: TypeRep -> WineryException -> WineryException

prettyWineryException :: WineryException -> Doc AnsiStyle

Pretty-print WineryException