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-Inferred

Common.Item

Description

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

Documentation

data ItemType

Constructors

IT 

Fields

getName :: String
 
attrList :: [(String, String)]
 
getText :: Maybe Doc
 

Instances

data Item

Constructors

Item 

Fields

itemType :: ItemType
 
isFlat :: Bool
 
range :: Range
 
items :: [Annoted Item]
 

Instances

hasValue :: ItemType -> Bool

class ItemTypeable a where

Methods

toIT :: a -> ItemType

Instances

class Monad m => ItemConvertible a m where

Methods

toitem :: a -> m Item

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

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

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

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

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

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

liftIT2I :: ItemTypeable a => a -> Item

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

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

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

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

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

rootItem :: Item

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

mkFlatItem :: ItemTypeable a => a -> Range -> Item

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

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

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

flattenItem :: Item -> Item

addRange :: Range -> Item -> Item