Database.EJDB2.Meta

Documentation

data Meta

Metadata about database.

Constructors

Meta

Fields

• version :: String

  EJDB engine version

• file :: String

  Path to storage file

• size :: Int64

  Storage file size in bytes

• collections :: [CollectionMeta]

  List of collections

Instances

Eq Meta

Defined in Database.EJDB2.Meta

Methods

(==) :: Meta -> Meta -> Bool

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

Show Meta

Defined in Database.EJDB2.Meta

Methods

showsPrec :: Int -> Meta -> ShowS

show :: Meta -> String

showList :: [Meta] -> ShowS

Generic Meta

Defined in Database.EJDB2.Meta

Associated Types

type Rep Meta :: Type -> Type

Methods

from :: Meta -> Rep Meta x

to :: Rep Meta x -> Meta

FromJSON Meta

Defined in Database.EJDB2.Meta

Methods

parseJSON :: Value -> Parser Meta

parseJSONList :: Value -> Parser [Meta]

type Rep Meta

Defined in Database.EJDB2.Meta

type Rep Meta = D1 (MetaData "Meta" "Database.EJDB2.Meta" "ejdb2-binding-0.1.0.0-inplace" False) (C1 (MetaCons "Meta" PrefixI True) ((S1 (MetaSel (Just "version") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Just "file") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :*: (S1 (MetaSel (Just "size") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64) :*: S1 (MetaSel (Just "collections") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [CollectionMeta]))))