Octane.Type.Dictionary

Documentation

newtype Dictionary a

A dictionary that maps text to values.

Constructors

Dictionary (Map Text a)

Instances

IsList (Dictionary a)

Associated Types

type Item (Dictionary a) :: *

Methods

fromList :: [Item (Dictionary a)] -> Dictionary a

fromListN :: Int -> [Item (Dictionary a)] -> Dictionary a

toList :: Dictionary a -> [Item (Dictionary a)]

Eq a => Eq (Dictionary a)

Methods

(==) :: Dictionary a -> Dictionary a -> Bool

(/=) :: Dictionary a -> Dictionary a -> Bool

Show a => Show (Dictionary a)

Methods

showsPrec :: Int -> Dictionary a -> ShowS

show :: Dictionary a -> String

showList :: [Dictionary a] -> ShowS

Generic (Dictionary a)

Associated Types

type Rep (Dictionary a) :: * -> *

Methods

from :: Dictionary a -> Rep (Dictionary a) x

to :: Rep (Dictionary a) x -> Dictionary a

ToJSON a => ToJSON (Dictionary a)

Methods

toJSON :: Dictionary a -> Value

toEncoding :: Dictionary a -> Encoding

Binary a => Binary (Dictionary a)

Reads elements are stored with the key first, then the value. The dictionary ends when a key is None.

Methods

put :: Dictionary a -> Put

get :: Get (Dictionary a)

putList :: [Dictionary a] -> Put

NFData a => NFData (Dictionary a)

Methods

rnf :: Dictionary a -> ()

type Rep (Dictionary a)

type Rep (Dictionary a) = D1 (MetaData "Dictionary" "Octane.Type.Dictionary" "octane-0.11.0-K3oATOAOKzu3J42bjJyWZ8" True) (C1 (MetaCons "Dictionary" PrefixI True) (S1 (MetaSel (Just Symbol "unpack") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Text a))))

type Item (Dictionary a)

type Item (Dictionary a) = (Text, a)