model-0.5: 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).

Orphan instances

Model Bool Source # 
Instance details

Methods

envType :: Proxy Bool -> State Env HType Source #

Model a => Model (Maybe a) Source # 
Instance details

Methods

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

(Model a, Model b) => Model (Either a b) Source # 
Instance details

Methods

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