Copyright	(c) Fumiaki Kinoshita 2019
License	BSD3
Stability	Provisional
Safe Haskell	None
Language	Haskell2010

Data.Winery.Base

Description

Maintainer : Fumiaki Kinoshita fumiexcel@gmail.com

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)
currentSchemaVersion :: Word8
bootstrapSchema :: Word8 -> 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
newtype Extractor a = Extractor {
- getExtractor :: Plan (Term -> a)
}
type Strategy' = Strategy WineryException StrategyEnv
data StrategyBind
- = DynDecoder !Dynamic
- | BoundSchema !Int !Schema
data StrategyEnv = StrategyEnv !Int ![StrategyBind]
newtype Plan a = Plan {
- unPlan :: Schema -> Strategy' a
}
unwrapExtractor :: Extractor a -> Schema -> Strategy' (Term -> a)
data WineryException
- = UnexpectedSchema !(Doc AnsiStyle) !(Doc AnsiStyle) !Schema
- | FieldNotFound !(Doc AnsiStyle) !Text ![Text]
- | TypeMismatch !Int !TypeRep !TypeRep
- | ProductTooSmall !Int
- | UnboundVariable !Int
- | EmptyInput
- | WineryMessage !(Doc AnsiStyle)
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

IsList Tag Source #
Instance details Defined in Data.Winery.Base Associated Types type Item Tag :: Type # Methods fromList :: [Item Tag] -> Tag # fromListN :: Int -> [Item Tag] -> Tag # toList :: Tag -> [Item Tag] #
Eq Tag Source #
Instance details Defined in Data.Winery.Base Methods (==) :: Tag -> Tag -> Bool # (/=) :: Tag -> Tag -> Bool #
Read Tag Source #
Instance details Defined in Data.Winery.Base Methods readsPrec :: Int -> ReadS Tag # readList :: ReadS [Tag] # readPrec :: ReadPrec Tag # readListPrec :: ReadPrec [Tag] #
Show Tag Source #
Instance details Defined in Data.Winery.Base Methods showsPrec :: Int -> Tag -> ShowS # show :: Tag -> String # showList :: [Tag] -> ShowS #
IsString Tag Source #
Instance details Defined in Data.Winery.Base Methods fromString :: String -> Tag #
Generic Tag Source #
Instance details Defined in Data.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 Data.Winery.Base Methods pretty :: Tag -> Doc ann # prettyList :: [Tag] -> Doc ann #
Serialise Tag Source #
Instance details Defined in Data.Winery Methods schemaGen :: Proxy Tag -> SchemaGen Schema Source # toBuilder :: Tag -> Builder Source # extractor :: Extractor Tag Source # decodeCurrent :: Decoder Tag Source #
type Rep Tag Source #
Instance details Defined in Data.Winery.Base type Rep Tag = D1 (MetaData "Tag" "Data.Winery.Base" "winery-1-Icmh3EEwZZX4DdnHtaSx4r" 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 Data.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 #

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 Source #
Instance details Defined in Data.Winery.Base Methods fmap :: (a -> b) -> SchemaP a -> SchemaP b # (<$) :: a -> SchemaP b -> SchemaP a #
Foldable SchemaP Source #
Instance details Defined in Data.Winery.Base Methods fold :: Monoid m => SchemaP m -> 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 Data.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 Data.Winery Methods schemaGen :: Proxy Schema -> SchemaGen Schema Source # toBuilder :: Schema -> Builder Source # extractor :: Extractor Schema Source # decodeCurrent :: Decoder Schema Source #
Eq a => Eq (SchemaP a) Source #
Instance details Defined in Data.Winery.Base Methods (==) :: SchemaP a -> SchemaP a -> Bool # (/=) :: SchemaP a -> SchemaP a -> Bool #
Read a => Read (SchemaP a) Source #
Instance details Defined in Data.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 Data.Winery.Base Methods showsPrec :: Int -> SchemaP a -> ShowS # show :: SchemaP a -> String # showList :: [SchemaP a] -> ShowS #
Generic (SchemaP a) Source #
Instance details Defined in Data.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 Data.Winery.Base Methods pretty :: SchemaP a -> Doc ann # prettyList :: [SchemaP a] -> Doc ann #
type Rep (SchemaP a) Source #
Instance details Defined in Data.Winery.Base type Rep (SchemaP a) = D1 (MetaData "SchemaP" "Data.Winery.Base" "winery-1-Icmh3EEwZZX4DdnHtaSx4r" 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))))))))

currentSchemaVersion :: Word8 Source #

bootstrapSchema :: Word8 -> Schema Source #

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

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

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 getExtractor :: Plan (Term -> a)

Instances

Functor Extractor Source #
Instance details Defined in Data.Winery.Base Methods fmap :: (a -> b) -> Extractor a -> Extractor b # (<$) :: a -> Extractor b -> Extractor a #
Applicative Extractor Source #
Instance details Defined in Data.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 Data.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]

newtype Plan a Source #

Plan is a monad for computations which interpret Schema.

Constructors

Plan
Fields unPlan :: Schema -> Strategy' a

Instances

Monad Plan Source #
Instance details Defined in Data.Winery.Base Methods (>>=) :: Plan a -> (a -> Plan b) -> Plan b # (>>) :: Plan a -> Plan b -> Plan b # return :: a -> Plan a # fail :: String -> Plan a #
Functor Plan Source #
Instance details Defined in Data.Winery.Base Methods fmap :: (a -> b) -> Plan a -> Plan b # (<$) :: a -> Plan b -> Plan a #
Applicative Plan Source #
Instance details Defined in Data.Winery.Base Methods pure :: a -> Plan a # (<>) :: Plan (a -> b) -> Plan a -> Plan b # liftA2 :: (a -> b -> c) -> Plan a -> Plan b -> Plan c # (>) :: Plan a -> Plan b -> Plan b # (<*) :: Plan a -> Plan b -> Plan a #
Alternative Plan Source #
Instance details Defined in Data.Winery.Base Methods empty :: Plan a # (<\|>) :: Plan a -> Plan a -> Plan a # some :: Plan a -> Plan [a] # many :: Plan a -> Plan [a] #

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

data WineryException Source #

Constructors

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

Instances

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

prettyWineryException :: WineryException -> Doc AnsiStyle Source #