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

Methods

toIT :: ItemType -> ItemType Source #

data Item Source #

Constructors

Item 

Fields

Instances

Instances details
GetRange Item Source # 
Instance details

Defined in Common.Item

Methods

getRange :: Item -> Range Source #

rangeSpan :: Item -> [Pos] Source #

hasValue :: ItemType -> Bool Source #

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

Methods

toIT :: ItemType -> ItemType Source #

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 #

listFromAL :: ItemConvertible a m => [Annoted a] -> m [Annoted Item] Source #

listFromLWithA :: ItemConvertible a m => (Item -> Annoted Item) -> [a] -> m [Annoted Item] Source #

listFromL :: ItemConvertible a m => [a] -> m [Annoted Item] Source #

annToAItem :: ItemConvertible a m => Annoted a -> m (Annoted Item) Source #

toAItemWithA :: ItemConvertible a m => (Item -> Annoted Item) -> a -> m (Annoted Item) Source #

toAItem :: ItemConvertible a m => a -> m (Annoted Item) Source #

liftIT2I :: ItemTypeable a => a -> Item Source #

liftIT2AI :: ItemTypeable a => a -> Annoted Item Source #

fromC :: ItemConvertible a m => a -> m (Annoted Item) Source #

fromAC :: ItemConvertible a m => Annoted a -> m (Annoted Item) Source #

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

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

rootItem :: Item Source #

mkItem :: ItemTypeable a => a -> Range -> [Annoted Item] -> Item Source #

mkFlatItem :: ItemTypeable a => a -> Range -> 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 #

flattenItem :: Item -> Item Source #

addRange :: Range -> Item -> Item Source #