model-0.4.4: Derive a model of a data type using Generics

Safe HaskellSafe
LanguageHaskell2010

Data.Model.Instances

Contents

Description

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

Documentation

Orphan instances

Model Bool # 
Model a => Model (Maybe a) # 

Methods

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

(Model a, Model b) => Model (Either a b) # 

Methods

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