NOTE: the latest version is 13.0.0

README About Versions Source Modules

Firestore.Codec

Codec for Firestore

type Codec a

asEncoder : Codec a -> a -> Encoder

encode : Codec a -> a -> Value

asDecoder : Codec a -> Decoder a

decode : Codec a -> Decoder a

Constructors

type Document a cons

document : cons -> Document a cons

build : Document a a -> Codec a

required : String -> (a -> b) -> Field b -> Document a (b -> cons) -> Document a cons

String

-> (a -> b)

-> Field b

-> b

-> Document a (b -> cons)

-> Document a cons

Field

type Field a

bool : Field Bool

bytes : Field String

int : Field Int

string : Field String

list : Field a -> Field (List a)

dict : Field a -> Field (Dict String a)

null : Field ()

maybe : Field a -> Field (Maybe a)

timestamp : Field Posix

geopoint : Field Geopoint

reference : Field Reference

Advanced

map : (a -> b) -> (b -> a) -> Field a -> Field b

andThen : (a -> Field b) -> (b -> a) -> Field a -> Field b

succeed : a -> Field a

fail : String -> Field a

construct : Decoder a -> (a -> Encoder) -> Codec a

Modules