Hets - the Heterogeneous Tool Set
Copyrightnevrenato@gmail.com
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.Hybrid2CASL

Description

Comorphism HybridCASL to CASL.

Documentation

data Hybrid2CASL Source #

Constructors

Hybrid2CASL 

Instances

Instances details
Show Hybrid2CASL Source # 
Instance details

Defined in Comorphisms.Hybrid2CASL

Methods

showsPrec :: Int -> Hybrid2CASL -> ShowS

show :: Hybrid2CASL -> String

showList :: [Hybrid2CASL] -> ShowS

Language Hybrid2CASL Source # 
Instance details

Defined in Comorphisms.Hybrid2CASL

Methods

language_name :: Hybrid2CASL -> String Source #

description :: Hybrid2CASL -> String Source #