Safe Haskell	None
Language	Haskell2010

ZM.Model

Contents

Orphan instances

Description

Mapping of basic Haskell types to equivalent ZhengMing types (Char, (), Words, Ints, Floats, Text, Tuples, List, Seq, Map)

Orphan instances

Model Char #
Methods envType :: Proxy * Char -> State Env HType #
Model Double #
Methods envType :: Proxy * Double -> State Env HType #
Model Float #
Methods envType :: Proxy * Float -> State Env HType #
Model Int #
Methods envType :: Proxy * Int -> State Env HType #
Model Int8 #
Methods envType :: Proxy * Int8 -> State Env HType #
Model Int16 #
Methods envType :: Proxy * Int16 -> State Env HType #
Model Int32 #
Methods envType :: Proxy * Int32 -> State Env HType #
Model Int64 #
Methods envType :: Proxy * Int64 -> State Env HType #
Model Integer #
Methods envType :: Proxy * Integer -> State Env HType #
Model Word #
Methods envType :: Proxy * Word -> State Env HType #
Model Word8 #
Methods envType :: Proxy * Word8 -> State Env HType #
Model Word16 #
Methods envType :: Proxy * Word16 -> State Env HType #
Model Word32 #
Methods envType :: Proxy * Word32 -> State Env HType #
Model Word64 #
Methods envType :: Proxy * Word64 -> State Env HType #
Model () #
Methods envType :: Proxy * () -> State Env HType #
Model ShortByteString #
Methods envType :: Proxy * ShortByteString -> State Env HType #
Model ByteString #
Methods envType :: Proxy * ByteString -> State Env HType #
Model ByteString #
Methods envType :: Proxy * ByteString -> State Env HType #
Model UTF8Text #
Methods envType :: Proxy * UTF8Text -> State Env HType #
Model UTF16Text #
Methods envType :: Proxy * UTF16Text -> State Env HType #
Model Text #
Methods envType :: Proxy * Text -> State Env HType #
Model a => Model [a] #
Methods envType :: Proxy * [a] -> State Env HType #
Model a => Model (Seq a) #
Methods envType :: Proxy * (Seq a) -> State Env HType #
AsType (Typ * UTF8Text) #
Methods asType :: Typ * UTF8Text -> State Env HType #
AsType (Typ * UTF16Text) #
Methods asType :: Typ * UTF16Text -> State Env HType #
AsType (Typ * Text) #
Methods asType :: Typ * Text -> State Env HType #
(Model a, Model b) => Model (a, b) #
Methods envType :: Proxy * (a, b) -> State Env HType #
(Model a, Model b) => Model (Map a b) #
Methods envType :: Proxy * (Map a b) -> State Env HType #
(Model a, Model b, Model c) => Model (a, b, c) #
Methods envType :: Proxy * (a, b, c) -> State Env HType #
(Model a, Model b, Model c, Model d) => Model (a, b, c, d) #
Methods envType :: Proxy * (a, b, c, d) -> State Env HType #
(Model a1, Model a2, Model a3, Model a4, Model a5) => Model (a1, a2, a3, a4, a5) #
Methods envType :: Proxy * (a1, a2, a3, a4, a5) -> State Env HType #
(Model a1, Model a2, Model a3, Model a4, Model a5, Model a6) => Model (a1, a2, a3, a4, a5, a6) #
Methods envType :: Proxy * (a1, a2, a3, a4, a5, a6) -> State Env HType #
(Model a1, Model a2, Model a3, Model a4, Model a5, Model a6, Model a7) => Model (a1, a2, a3, a4, a5, a6, a7) #
Methods envType :: Proxy * (a1, a2, a3, a4, a5, a6, a7) -> State Env HType #
(Model a1, Model a2, Model a3, Model a4, Model a5, Model a6, Model a7, Model a8) => Model (a1, a2, a3, a4, a5, a6, a7, a8) #
Methods envType :: Proxy * (a1, a2, a3, a4, a5, a6, a7, a8) -> State Env HType #
(Model a1, Model a2, Model a3, Model a4, Model a5, Model a6, Model a7, Model a8, Model a9) => Model (a1, a2, a3, a4, a5, a6, a7, a8, a9) #
Methods envType :: Proxy * (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> State Env HType #