Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- newtype BoltGeneric a = BoltGeneric a
- class GIsValue rep where
- class GRecordValue rep where
- gExactEither :: (String -> String) -> Value -> Either UnpackError (rep a)
Documentation
newtype BoltGeneric a Source #
Instances
class GIsValue rep where Source #
Instances
(GIsValue l, GIsValue r) => GIsValue (l :*: r) Source # | |
(GIsValue l, GIsValue r) => GIsValue (l :+: r) Source # | |
KnownSymbol name => GIsValue (C1 ('MetaCons name s2 'False) (U1 :: Type -> Type)) Source # | |
(TypeError ('Text "Can't make IsValue for non-record, non-unit constructor ") :: Constraint) => GIsValue (C1 ('MetaCons s1 s2 'False) cs) Source # | |
GIsValue cs => GIsValue (C1 ('MetaCons s1 s2 'True) cs) Source # | |
GIsValue cs => GIsValue (D1 meta cs) Source # | |
(Selector s, IsValue a) => GIsValue (S1 s (Rec0 a)) Source # | |
class GRecordValue rep where Source #
gExactEither :: (String -> String) -> Value -> Either UnpackError (rep a) Source #
Instances
>>>
:set -XDerivingStrategies -XDerivingVia
>>>
:load Database.Bolt.Extras Database.Bolt.Extras.Generic
>>>
import GHC.Generics
>>>
import Database.Bolt.Extras.Generic
>>>
import Data.Text (Text, pack)
>>>
import Database.Bolt as Bolt (Value (..), IsValue(toValue), RecordValue(exactEither))