Ersatz.Decoding

Documentation

class Decoding a where

Associated Types

type Decoded a :: *

Methods

decode :: Solution -> a -> Maybe (Decoded a)

Return a value based on the solution if one can be determined.

Instances

Decoding ()

Decoding Lit

Decoding Literal

Decoding Bit

Decoding Bit8

Decoding Bit7

Decoding Bit6

Decoding Bit5

Decoding Bit4

Decoding Bit3

Decoding Bit2

Decoding Bit1

Decoding a => Decoding [a]

Decoding a => Decoding (Maybe a)

Decoding a => Decoding (Tree a)

Decoding a => Decoding (Seq a)

Decoding a => Decoding (IntMap a)

(Decoding a, Decoding b) => Decoding (Either a b)

(Decoding a, Decoding b) => Decoding (a, b)

(Ix i, Decoding e) => Decoding (Array i e)

Decoding a => Decoding (Map k a)

Decoding a => Decoding (HashMap k a)

(Decoding a, Decoding b, Decoding c) => Decoding (a, b, c)

(Decoding a, Decoding b, Decoding c, Decoding d) => Decoding (a, b, c, d)

(Decoding a, Decoding b, Decoding c, Decoding d, Decoding e) => Decoding (a, b, c, d, e)

(Decoding a, Decoding b, Decoding c, Decoding d, Decoding e, Decoding f) => Decoding (a, b, c, d, e, f)

(Decoding a, Decoding b, Decoding c, Decoding d, Decoding e, Decoding f, Decoding g) => Decoding (a, b, c, d, e, f, g)

(Decoding a, Decoding b, Decoding c, Decoding d, Decoding e, Decoding f, Decoding g, Decoding h) => Decoding (a, b, c, d, e, f, g, h)