| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Core.Contexts.ArrayEncoder
Documentation
data ArrayEncoder a Source #
Constructors
| ArrayEncoder OID OID (a -> Array) (a -> TextBuilder) |
Instances
| Contravariant ArrayEncoder Source # | |
Defined in Core.Contexts.ArrayEncoder Methods contramap :: (a' -> a) -> ArrayEncoder a -> ArrayEncoder a' # (>$) :: b -> ArrayEncoder b -> ArrayEncoder a # | |
value :: OID -> OID -> (a -> Encoding) -> (a -> TextBuilder) -> ArrayEncoder a Source #
nullableValue :: OID -> OID -> (a -> Encoding) -> (a -> TextBuilder) -> ArrayEncoder (Maybe a) Source #
dimension :: (forall a. (a -> b -> a) -> a -> c -> a) -> ArrayEncoder b -> ArrayEncoder c Source #