greskell-core-1.0.0.6: Haskell binding for Gremlin graph query language - core data types and tools
MaintainerToshio Ito <[email protected]>
Safe HaskellNone
LanguageHaskell2010

Data.Greskell.GraphSON

Description

 
Synopsis

GraphSON

data GraphSON v Source #

Wrapper for "typed JSON object" introduced in GraphSON version 2. See http://tinkerpop.apache.org/docs/current/dev/io/#graphson

This data type is useful for encoding/decoding GraphSON text.

Note that encoding of the "g:Map" type is inconsistent between GraphSON v1 and v2, v3. To handle the encoding, use Data.Greskell.GMap.

Constructors

GraphSON 

Fields

Instances

Instances details
Foldable GraphSON Source # 
Instance details

Defined in Data.Greskell.GraphSON.Core

Methods

fold :: Monoid m => GraphSON m -> m #

foldMap :: Monoid m => (a -> m) -> GraphSON a -> m #

foldMap' :: Monoid m => (a -> m) -> GraphSON a -> m #

foldr :: (a -> b -> b) -> b -> GraphSON a -> b #

foldr' :: (a -> b -> b) -> b -> GraphSON a -> b #

foldl :: (b -> a -> b) -> b -> GraphSON a -> b #

foldl' :: (b -> a -> b) -> b -> GraphSON a -> b #

foldr1 :: (a -> a -> a) -> GraphSON a -> a #

foldl1 :: (a -> a -> a) -> GraphSON a -> a #

toList :: GraphSON a -> [a] #

null :: GraphSON a -> Bool #

length :: GraphSON a -> Int #

elem :: Eq a => a -> GraphSON a -> Bool #

maximum :: Ord a => GraphSON a -> a #

minimum :: Ord a => GraphSON a -> a #

sum :: Num a => GraphSON a -> a #

product :: Num a => GraphSON a -> a #

Traversable GraphSON Source # 
Instance details

Defined in Data.Greskell.GraphSON.Core

Methods

traverse :: Applicative f => (a -> f b) -> GraphSON a -> f (GraphSON b) #

sequenceA :: Applicative f => GraphSON (f a) -> f (GraphSON a) #

mapM :: Monad m => (a -> m b) -> GraphSON a -> m (GraphSON b) #

sequence :: Monad m => GraphSON (m a) -> m (GraphSON a) #

Functor GraphSON Source # 
Instance details

Defined in Data.Greskell.GraphSON.Core

Methods

fmap :: (a -> b) -> GraphSON a -> GraphSON b #

(<$) :: a -> GraphSON b -> GraphSON a #

FromJSON v => FromJSON (GraphSON v) Source #

If the given Value is a typed JSON object, gsonType field of the result is Just. Otherwise, the given Value is directly parsed into gsonValue, and gsonType is Nothing.

Instance details

Defined in Data.Greskell.GraphSON.Core

Methods

parseJSON :: Value -> Parser (GraphSON v) #

parseJSONList :: Value -> Parser [GraphSON v] #

omittedField :: Maybe (GraphSON v) #

ToJSON v => ToJSON (GraphSON v) Source #

If gsonType is Just, the GraphSON is encoded as a typed JSON object. If gsonType is Nothing, the gsonValue is directly encoded.

Instance details

Defined in Data.Greskell.GraphSON.Core

Methods

toJSON :: GraphSON v -> Value #

toEncoding :: GraphSON v -> Encoding #

toJSONList :: [GraphSON v] -> Value #

toEncodingList :: [GraphSON v] -> Encoding #

omitField :: GraphSON v -> Bool #

Generic (GraphSON v) Source # 
Instance details

Defined in Data.Greskell.GraphSON.Core

Associated Types

type Rep (GraphSON v) 
Instance details

Defined in Data.Greskell.GraphSON.Core

type Rep (GraphSON v) = D1 ('MetaData "GraphSON" "Data.Greskell.GraphSON.Core" "greskell-core-1.0.0.6-1yr8dCJYYSrACSC2iDXKAN" 'False) (C1 ('MetaCons "GraphSON" 'PrefixI 'True) (S1 ('MetaSel ('Just "gsonType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "gsonValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v)))

Methods

from :: GraphSON v -> Rep (GraphSON v) x #

to :: Rep (GraphSON v) x -> GraphSON v #

Show v => Show (GraphSON v) Source # 
Instance details

Defined in Data.Greskell.GraphSON.Core

Methods

showsPrec :: Int -> GraphSON v -> ShowS #

show :: GraphSON v -> String #

showList :: [GraphSON v] -> ShowS #

Eq v => Eq (GraphSON v) Source # 
Instance details

Defined in Data.Greskell.GraphSON.Core

Methods

(==) :: GraphSON v -> GraphSON v -> Bool #

(/=) :: GraphSON v -> GraphSON v -> Bool #

Ord v => Ord (GraphSON v) Source # 
Instance details

Defined in Data.Greskell.GraphSON.Core

Methods

compare :: GraphSON v -> GraphSON v -> Ordering #

(<) :: GraphSON v -> GraphSON v -> Bool #

(<=) :: GraphSON v -> GraphSON v -> Bool #

(>) :: GraphSON v -> GraphSON v -> Bool #

(>=) :: GraphSON v -> GraphSON v -> Bool #

max :: GraphSON v -> GraphSON v -> GraphSON v #

min :: GraphSON v -> GraphSON v -> GraphSON v #

Hashable v => Hashable (GraphSON v) Source #

Since: 0.1.2.0

Instance details

Defined in Data.Greskell.GraphSON.Core

Methods

hashWithSalt :: Int -> GraphSON v -> Int #

hash :: GraphSON v -> Int #

type Rep (GraphSON v) Source # 
Instance details

Defined in Data.Greskell.GraphSON.Core

type Rep (GraphSON v) = D1 ('MetaData "GraphSON" "Data.Greskell.GraphSON.Core" "greskell-core-1.0.0.6-1yr8dCJYYSrACSC2iDXKAN" 'False) (C1 ('MetaCons "GraphSON" 'PrefixI 'True) (S1 ('MetaSel ('Just "gsonType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "gsonValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v)))

class GraphSONTyped a where Source #

Types that have an intrinsic type ID for gsonType field.

Methods

gsonTypeFor :: a -> Text Source #

Type ID for gsonType.

Instances

Instances details
GraphSONTyped Int16 Source # 
Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Int16 -> Text Source #

GraphSONTyped Int32 Source # 
Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Int32 -> Text Source #

GraphSONTyped Int64 Source # 
Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Int64 -> Text Source #

GraphSONTyped Int8 Source #

Map to "gx:Byte". Note that Java's Byte is signed.

Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Int8 -> Text Source #

GraphSONTyped IntSet Source #

Since: 0.1.2.0

Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: IntSet -> Text Source #

GraphSONTyped Scientific Source #

Map to "g:Double".

Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Scientific -> Text Source #

GraphSONTyped Char Source # 
Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Char -> Text Source #

GraphSONTyped Double Source # 
Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Double -> Text Source #

GraphSONTyped Float Source # 
Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Float -> Text Source #

GraphSONTyped (IntMap v) Source #

Since: 0.1.2.0

Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: IntMap v -> Text Source #

GraphSONTyped (Seq a) Source #

Since: 0.1.2.0

Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Seq a -> Text Source #

GraphSONTyped (Set a) Source #

Since: 0.1.2.0

Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Set a -> Text Source #

GraphSONTyped (HashSet a) Source # 
Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: HashSet a -> Text Source #

GraphSONTyped (Vector a) Source #

Since: 0.1.2.0

Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Vector a -> Text Source #

GraphSONTyped [a] Source # 
Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: [a] -> Text Source #

(GraphSONTyped a, GraphSONTyped b) => GraphSONTyped (Either a b) Source #

Since: 0.1.2.0

Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Either a b -> Text Source #

GraphSONTyped (Map k v) Source #

Since: 0.1.2.0

Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: Map k v -> Text Source #

GraphSONTyped (GMapEntry k v) Source #

Map to "g:Map".

Instance details

Defined in Data.Greskell.GMap

Methods

gsonTypeFor :: GMapEntry k v -> Text Source #

GraphSONTyped (HashMap k v) Source # 
Instance details

Defined in Data.Greskell.GraphSON.GraphSONTyped

Methods

gsonTypeFor :: HashMap k v -> Text Source #

GraphSONTyped (FlattenedMap c k v) Source #

Map to "g:Map".

Instance details

Defined in Data.Greskell.GMap

Methods

gsonTypeFor :: FlattenedMap c k v -> Text Source #

GraphSONTyped (GMap c k v) Source #

Map to "g:Map".

Instance details

Defined in Data.Greskell.GMap

Methods

gsonTypeFor :: GMap c k v -> Text Source #

constructors

nonTypedGraphSON :: v -> GraphSON v Source #

Create a GraphSON without gsonType.

typedGraphSON :: GraphSONTyped v => v -> GraphSON v Source #

Create a GraphSON with its type ID.

typedGraphSON' :: Text -> v -> GraphSON v Source #

Create a GraphSON with the given type ID.

parser support

parseTypedGraphSON :: (GraphSONTyped v, FromJSON v) => Value -> Parser (GraphSON v) Source #

Parse GraphSON v, but it checks gsonType. If gsonType is Nothing or it's not equal to gsonTypeFor, the Parser fails.

GValue

data GValue Source #

An Aeson Value wrapped in GraphSON wrapper type. Basically this type is the Haskell representaiton of a GraphSON-encoded document.

This type is used to parse GraphSON documents. See also FromGraphSON class.

Since: 0.1.2.0

Instances

Instances details
FromJSON GValue Source #

Parse GraphSON wrappers recursively in Value, making it into GValue.

Instance details

Defined in Data.Greskell.GraphSON.GValue

Methods

parseJSON :: Value -> Parser GValue #

parseJSONList :: Value -> Parser [GValue] #

omittedField :: Maybe GValue #

ToJSON GValue Source #

Reconstruct Value from GValue. It preserves all GraphSON wrappers.

Instance details

Defined in Data.Greskell.GraphSON.GValue

Methods

toJSON :: GValue -> Value #

toEncoding :: GValue -> Encoding #

toJSONList :: [GValue] -> Value #

toEncodingList :: [GValue] -> Encoding #

omitField :: GValue -> Bool #

Generic GValue Source # 
Instance details

Defined in Data.Greskell.GraphSON.GValue

Associated Types

type Rep GValue 
Instance details

Defined in Data.Greskell.GraphSON.GValue

type Rep GValue = D1 ('MetaData "GValue" "Data.Greskell.GraphSON.GValue" "greskell-core-1.0.0.6-1yr8dCJYYSrACSC2iDXKAN" 'True) (C1 ('MetaCons "GValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GraphSON GValueBody))))

Methods

from :: GValue -> Rep GValue x #

to :: Rep GValue x -> GValue #

Show GValue Source # 
Instance details

Defined in Data.Greskell.GraphSON.GValue

Methods

showsPrec :: Int -> GValue -> ShowS #

show :: GValue -> String #

showList :: [GValue] -> ShowS #

Eq GValue Source # 
Instance details

Defined in Data.Greskell.GraphSON.GValue

Methods

(==) :: GValue -> GValue -> Bool #

(/=) :: GValue -> GValue -> Bool #

FromGraphSON GValue Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser GValue Source #

Hashable GValue Source # 
Instance details

Defined in Data.Greskell.GraphSON.GValue

Methods

hashWithSalt :: Int -> GValue -> Int #

hash :: GValue -> Int #

type Rep GValue Source # 
Instance details

Defined in Data.Greskell.GraphSON.GValue

type Rep GValue = D1 ('MetaData "GValue" "Data.Greskell.GraphSON.GValue" "greskell-core-1.0.0.6-1yr8dCJYYSrACSC2iDXKAN" 'True) (C1 ('MetaCons "GValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GraphSON GValueBody))))

data GValueBody Source #

GValue without the top-level GraphSON wrapper.

Since: 1.0.0.0

Constructors

GObject !(KeyMap GValue) 
GArray !(Vector GValue) 
GString !Text 
GNumber !Scientific 
GBool !Bool 
GNull 

Instances

Instances details
ToJSON GValueBody Source # 
Instance details

Defined in Data.Greskell.GraphSON.GValue

Methods

toJSON :: GValueBody -> Value #

toEncoding :: GValueBody -> Encoding #

toJSONList :: [GValueBody] -> Value #

toEncodingList :: [GValueBody] -> Encoding #

omitField :: GValueBody -> Bool #

Generic GValueBody Source # 
Instance details

Defined in Data.Greskell.GraphSON.GValue

Associated Types

type Rep GValueBody 
Instance details

Defined in Data.Greskell.GraphSON.GValue

type Rep GValueBody = D1 ('MetaData "GValueBody" "Data.Greskell.GraphSON.GValue" "greskell-core-1.0.0.6-1yr8dCJYYSrACSC2iDXKAN" 'False) ((C1 ('MetaCons "GObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyMap GValue))) :+: (C1 ('MetaCons "GArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector GValue))) :+: C1 ('MetaCons "GString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))) :+: (C1 ('MetaCons "GNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Scientific)) :+: (C1 ('MetaCons "GBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "GNull" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: GValueBody -> Rep GValueBody x #

to :: Rep GValueBody x -> GValueBody #

Show GValueBody Source # 
Instance details

Defined in Data.Greskell.GraphSON.GValue

Methods

showsPrec :: Int -> GValueBody -> ShowS #

show :: GValueBody -> String #

showList :: [GValueBody] -> ShowS #

Eq GValueBody Source # 
Instance details

Defined in Data.Greskell.GraphSON.GValue

Methods

(==) :: GValueBody -> GValueBody -> Bool #

(/=) :: GValueBody -> GValueBody -> Bool #

Hashable GValueBody Source # 
Instance details

Defined in Data.Greskell.GraphSON.GValue

Methods

hashWithSalt :: Int -> GValueBody -> Int #

hash :: GValueBody -> Int #

type Rep GValueBody Source # 
Instance details

Defined in Data.Greskell.GraphSON.GValue

type Rep GValueBody = D1 ('MetaData "GValueBody" "Data.Greskell.GraphSON.GValue" "greskell-core-1.0.0.6-1yr8dCJYYSrACSC2iDXKAN" 'False) ((C1 ('MetaCons "GObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyMap GValue))) :+: (C1 ('MetaCons "GArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector GValue))) :+: C1 ('MetaCons "GString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))) :+: (C1 ('MetaCons "GNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Scientific)) :+: (C1 ('MetaCons "GBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "GNull" 'PrefixI 'False) (U1 :: Type -> Type))))

constructors

nonTypedGValue :: GValueBody -> GValue Source #

Create a GValue without "@type" field.

Since: 0.1.2.0

typedGValue' Source #

Arguments

:: Text

"@type" field.

-> GValueBody 
-> GValue 

Create a GValue with the given "@type" field.

Since: 0.1.2.0

FromGraphSON

class FromGraphSON a where Source #

Types that can be constructed from GValue. This is analogous to FromJSON class.

Instances of basic types are implemented based on the following rule.

  • Simple scalar types (e.g. Int and Text): use parseUnwrapAll.
  • List-like types (e.g. [], Vector and Set): use parseUnwrapList.
  • Map-like types (e.g. HashMap and Map): parse into GMap first, then unwrap the GMap wrapper. That way, all versions of GraphSON formats are handled properly.
  • Trivial wrapper types (e.g. Identity): just parse the item inside.
  • Other types: see the individual instance documentation.

Note that Char does not have FromGraphSON instance. This is intentional. As stated in the document of AsIterator, using String in greskell is an error in most cases. To prevent you from using String, Char (and thus String) don't have FromGraphSON instances.

Since: 0.1.2.0

Methods

parseGraphSON :: GValue -> Parser a Source #

Instances

Instances details
FromGraphSON Key Source #

First convert to Text, and convert to Key.

Since: 1.0.0.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Key Source #

FromGraphSON Value Source #

Call unwrapAll to remove all GraphSON wrappers.

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Value Source #

FromGraphSON All Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser All Source #

FromGraphSON Any Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Any Source #

FromGraphSON Int16 Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Int16 Source #

FromGraphSON Int32 Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Int32 Source #

FromGraphSON Int64 Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Int64 Source #

FromGraphSON Int8 Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Int8 Source #

FromGraphSON Word16 Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Word16 Source #

FromGraphSON Word32 Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Word32 Source #

FromGraphSON Word64 Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Word64 Source #

FromGraphSON Word8 Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Word8 Source #

FromGraphSON IntSet Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser IntSet Source #

FromGraphSON GValue Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser GValue Source #

FromGraphSON Scientific Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Scientific Source #

FromGraphSON Text Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Text Source #

FromGraphSON Text Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Text Source #

FromGraphSON UUID Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser UUID Source #

FromGraphSON Integer Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Integer Source #

FromGraphSON Natural Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Natural Source #

FromGraphSON () Source #

For any input GValue, parseGraphSON returns (). For example, you can use it to ignore data you get from the Gremlin server.

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser () Source #

FromGraphSON Bool Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Bool Source #

FromGraphSON Double Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Double Source #

FromGraphSON Float Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Float Source #

FromGraphSON Int Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Int Source #

FromGraphSON Word Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser Word Source #

FromGraphSON v => FromGraphSON (KeyMap v) Source #

First convert to Map with Text key, and convert to KeyMap.

Since: 1.0.0.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (KeyMap v) Source #

FromGraphSON a => FromGraphSON (Identity a) Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Identity a) Source #

FromGraphSON a => FromGraphSON (First a) Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (First a) Source #

FromGraphSON a => FromGraphSON (Last a) Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Last a) Source #

FromGraphSON a => FromGraphSON (First a) Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (First a) Source #

FromGraphSON a => FromGraphSON (Last a) Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Last a) Source #

FromGraphSON a => FromGraphSON (Max a) Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Max a) Source #

FromGraphSON a => FromGraphSON (Min a) Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Min a) Source #

FromGraphSON a => FromGraphSON (WrappedMonoid a) Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (WrappedMonoid a) Source #

FromGraphSON a => FromGraphSON (Dual a) Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Dual a) Source #

FromGraphSON a => FromGraphSON (Product a) Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Product a) Source #

FromGraphSON a => FromGraphSON (Sum a) Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Sum a) Source #

FromGraphSON a => FromGraphSON (NonEmpty a) Source #

Since: 0.1.3.0

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (NonEmpty a) Source #

(FromJSON a, Integral a) => FromGraphSON (Ratio a) Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Ratio a) Source #

FromGraphSON v => FromGraphSON (IntMap v) Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (IntMap v) Source #

FromGraphSON a => FromGraphSON (Seq a) Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Seq a) Source #

(FromGraphSON a, Ord a) => FromGraphSON (Set a) Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Set a) Source #

(FromGraphSON a, Eq a, Hashable a) => FromGraphSON (HashSet a) Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (HashSet a) Source #

FromGraphSON a => FromGraphSON (Vector a) Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Vector a) Source #

FromGraphSON a => FromGraphSON (Maybe a) Source #

Parse GNull into Nothing.

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Maybe a) Source #

FromGraphSON a => FromGraphSON [a] Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser [a] Source #

(FromGraphSON a, FromGraphSON b) => FromGraphSON (Either a b) Source #

Try Left, then Right.

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Either a b) Source #

(FromGraphSON v, Ord k, FromJSONKey k, FromGraphSON k) => FromGraphSON (Map k v) Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (Map k v) Source #

(FromGraphSON k, FromGraphSON v, FromJSONKey k) => FromGraphSON (GMapEntry k v) Source #

Use parseToGMapEntry.

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (GMapEntry k v) Source #

(FromGraphSON v, Eq k, Hashable k, FromJSONKey k, FromGraphSON k) => FromGraphSON (HashMap k v) Source # 
Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (HashMap k v) Source #

(FromGraphSON k, FromGraphSON v, IsList (c k v), Item (c k v) ~ (k, v)) => FromGraphSON (FlattenedMap c k v) Source #

Use parseToFlattenedMap.

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (FlattenedMap c k v) Source #

(FromGraphSON k, FromGraphSON v, IsList (c k v), Item (c k v) ~ (k, v), Traversable (c k), FromJSON (c k GValue)) => FromGraphSON (GMap c k v) Source #

Use parseToGMap.

Instance details

Defined in Data.Greskell.GraphSON

Methods

parseGraphSON :: GValue -> Parser (GMap c k v) Source #

parser support

data Parser a #

A JSON parser. N.B. This might not fit your usual understanding of "parser". Instead you might like to think of Parser as a "parse result", i.e. a parser to which the input has already been applied.

Instances

Instances details
MonadFail Parser 
Instance details

Defined in Data.Aeson.Types.Internal

Methods

fail :: String -> Parser a #

MonadFix Parser

Since: aeson-2.1.0.0

Instance details

Defined in Data.Aeson.Types.Internal

Methods

mfix :: (a -> Parser a) -> Parser a #

Alternative Parser 
Instance details

Defined in Data.Aeson.Types.Internal

Methods

empty :: Parser a #

(<|>) :: Parser a -> Parser a -> Parser a #

some :: Parser a -> Parser [a] #

many :: Parser a -> Parser [a] #

Applicative Parser 
Instance details

Defined in Data.Aeson.Types.Internal

Methods

pure :: a -> Parser a #

(<*>) :: Parser (a -> b) -> Parser a -> Parser b #

liftA2 :: (a -> b -> c) -> Parser a -> Parser b -> Parser c #

(*>) :: Parser a -> Parser b -> Parser b #

(<*) :: Parser a -> Parser b -> Parser a #

Functor Parser 
Instance details

Defined in Data.Aeson.Types.Internal

Methods

fmap :: (a -> b) -> Parser a -> Parser b #

(<$) :: a -> Parser b -> Parser a #

Monad Parser 
Instance details

Defined in Data.Aeson.Types.Internal

Methods

(>>=) :: Parser a -> (a -> Parser b) -> Parser b #

(>>) :: Parser a -> Parser b -> Parser b #

return :: a -> Parser a #

MonadPlus Parser 
Instance details

Defined in Data.Aeson.Types.Internal

Methods

mzero :: Parser a #

mplus :: Parser a -> Parser a -> Parser a #

Monoid (Parser a) 
Instance details

Defined in Data.Aeson.Types.Internal

Methods

mempty :: Parser a #

mappend :: Parser a -> Parser a -> Parser a #

mconcat :: [Parser a] -> Parser a #

Semigroup (Parser a) 
Instance details

Defined in Data.Aeson.Types.Internal

Methods

(<>) :: Parser a -> Parser a -> Parser a #

sconcat :: NonEmpty (Parser a) -> Parser a #

stimes :: Integral b => b -> Parser a -> Parser a #

parseEither :: FromGraphSON a => GValue -> Either String a Source #

Parse GValue into FromGraphSON.

Since: 0.1.2.0

parseUnwrapAll :: FromJSON a => GValue -> Parser a Source #

Unwrap the given GValue with unwrapAll, and just parse the result with parseJSON.

Useful to implement FromGraphSON instances for scalar types.

Since: 0.1.2.0

parseUnwrapList :: (IsList a, i ~ Item a, FromGraphSON i) => GValue -> Parser a Source #

Extract GArray from the given GValue, parse the items in the array, and gather them by fromList.

Useful to implement FromGraphSON instances for IsList types.

Since: 0.1.2.0

(.:) :: FromGraphSON a => KeyMap GValue -> Key -> Parser a Source #

Like Aeson's .:, but for FromGraphSON.

Since: 1.0.0.0

parseJSONViaGValue :: FromGraphSON a => Value -> Parser a Source #

Implementation of parseJSON based on parseGraphSON. The input Value is first converted to GValue, and it's parsed to the output type.

Since: 0.1.2.0

Examples

examples :: [(String, String)] Source #

Examples of using this module. See the source. The fst of the output is the testee, while the snd is the expectation.