Safe Haskell	Safe
Language	Haskell2010

Data.Model.Instances

Contents

Description

Instances of Model for common types (Bool,Maybe,Either).

Documentation

Orphan instances

Model Bool Source #
Methods envType :: Proxy * Bool -> State Env HType Source #
Model a => Model (Maybe a) Source #
Methods envType :: Proxy * (Maybe a) -> State Env HType Source #
(Model a, Model b) => Model (Either a b) Source #
Methods envType :: Proxy * (Either a b) -> State Env HType Source #