Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

VSE.ATC_VSE

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Paramkind Procparam Profile Sigentry Procdecls Ranged PlainProgram VarDecl VSEforms BoxOrDiamond ProcKind Defproc Procs

Orphan instances

ShATermConvertible Procs Source # 

Methods

toShATermAux :: ATermTable -> Procs -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Procs] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Procs)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Procs])

ShATermConvertible Defproc Source # 

Methods

toShATermAux :: ATermTable -> Defproc -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Defproc] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Defproc)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Defproc])

ShATermConvertible ProcKind Source # 

Methods

toShATermAux :: ATermTable -> ProcKind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ProcKind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ProcKind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProcKind])

ShATermConvertible BoxOrDiamond Source # 

Methods

toShATermAux :: ATermTable -> BoxOrDiamond -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [BoxOrDiamond] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, BoxOrDiamond)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [BoxOrDiamond])

ShATermConvertible VSEforms Source # 

Methods

toShATermAux :: ATermTable -> VSEforms -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [VSEforms] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, VSEforms)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [VSEforms])

ShATermConvertible VarDecl Source # 

Methods

toShATermAux :: ATermTable -> VarDecl -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [VarDecl] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, VarDecl)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [VarDecl])

ShATermConvertible PlainProgram Source # 

Methods

toShATermAux :: ATermTable -> PlainProgram -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [PlainProgram] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, PlainProgram)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [PlainProgram])

ShATermConvertible Procdecls Source # 

Methods

toShATermAux :: ATermTable -> Procdecls -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Procdecls] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Procdecls)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Procdecls])

ShATermConvertible Sigentry Source # 

Methods

toShATermAux :: ATermTable -> Sigentry -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Sigentry] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Sigentry)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sigentry])

ShATermConvertible Profile Source # 

Methods

toShATermAux :: ATermTable -> Profile -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Profile] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Profile)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Profile])

ShATermConvertible Procparam Source # 

Methods

toShATermAux :: ATermTable -> Procparam -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Procparam] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Procparam)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Procparam])

ShATermConvertible Paramkind Source # 

Methods

toShATermAux :: ATermTable -> Paramkind -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Paramkind] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Paramkind)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Paramkind])

ShATermConvertible a => ShATermConvertible (Ranged a) Source # 

Methods

toShATermAux :: ATermTable -> Ranged a -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [Ranged a] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, Ranged a)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [Ranged a])