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