zm-0.3.2: Language independent, reproducible, absolute types

Safe HaskellNone
LanguageHaskell2010

ZM.Type.Map

Synopsis

Documentation

data Map a b Source #

A Map is represented as a list of key and value couples

Instances

Generic (Map a b) Source # 

Associated Types

type Rep (Map a b) :: * -> * #

Methods

from :: Map a b -> Rep (Map a b) x #

to :: Rep (Map a b) x -> Map a b #

(Model a, Model b) => Model (Map a b) Source # 

Methods

envType :: Proxy * (Map a b) -> State Env HType #

type Rep (Map a b) Source # 
type Rep (Map a b) = D1 (MetaData "Map" "ZM.Type.Map" "zm-0.3.2-9EffK4RA8nV74pYjwjqtDn" False) (C1 (MetaCons "Map" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (List (Tuple2 a b)))))