Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder and Ewaryst Schulz and Uni Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerEwaryst.Schulz@dfki.de
Stabilityexperimental
Portabilitynon-portable (MPTC)
Safe HaskellSafe

Common.Item

Description

This module provides the item datatype for an abstract logic independent representation of basic specs.

Documentation

data ItemType Source #

Constructors

IT 

Fields

Instances

Instances details
ItemTypeable ItemType Source # 
Instance details

Defined in Common.Item

data Item Source #

Constructors

Item 

Fields

Instances

Instances details
GetRange Item Source # 
Instance details

Defined in Common.Item

class ItemTypeable a where Source #

Methods

toIT :: a -> ItemType Source #

Instances

Instances details
ItemTypeable String Source # 
Instance details

Defined in Common.Item

Methods

toIT :: String -> ItemType Source #

ItemTypeable ItemType Source # 
Instance details

Defined in Common.Item

ItemTypeable (String, Doc) Source # 
Instance details

Defined in Common.Item

Methods

toIT :: (String, Doc) -> ItemType Source #

ItemTypeable (String, String, String) Source # 
Instance details

Defined in Common.Item

Methods

toIT :: (String, String, String) -> ItemType Source #

class Monad m => ItemConvertible a m where Source #

Methods

toitem :: a -> m Item Source #

fromL :: (ItemConvertible a m, ItemTypeable b) => b -> [a] -> m (Annoted Item) Source #

mkItemM :: (ItemTypeable a, Monad m) => a -> Range -> m [Annoted Item] -> m Item Source #

mkItemMM :: (ItemTypeable a, Monad m) => a -> Range -> [m (Annoted Item)] -> m Item Source #

mkFlatItemM :: (ItemTypeable a, Monad m) => a -> Range -> m Item Source #