hets/Haskell/Logic_Haskell.hs

	Logic_Haskell.hs revision 84933d742dc5bcf760653b5d1784e00cee342032


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
{- |
Module      :  $Header$
Description :  Instance of class Logic for the Haskell logic
Copyright   :  (c) Christian Maeder, Sonja Groening, Uni Bremen 2002-2004
License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

Maintainer  :  Christian.Maeder@dfki.de
Stability   :  provisional
Portability :  non-portable(Logic)

Here is the place where the classes 'Category', 'Syntax',
   'StaticAnalysis', 'Sentences', and 'Logic' are instantiated for
   Haskell.

   Some method implementations for 'StaticAnalysis' and 'Sentences'
   are still missing.
-}

module Haskell.Logic_Haskell
    ( Haskell(..)
    , HaskellMorphism
    , SYMB_ITEMS
    , SYMB_MAP_ITEMS
    , Haskell_Sublogics
    , Symbol
    , RawSymbol
    ) where

import Common.AS_Annotation
import Common.DefaultMorphism

import Haskell.TiPropATC()
import Haskell.HatParser
import Haskell.HatAna
import Common.Doc
import Common.DocUtils

import Logic.Logic

-- a dummy datatype for the LogicGraph and for identifying the right
-- instances

data Haskell = Haskell deriving (Show)
instance Language Haskell where
 description _ =
  "Haskell - a purely functional programming language,\
  \ featuring static typing, higher-order functions, polymorphism,\
  \ type classes and monadic effects.\
  \ See http://www.haskell.org. This version is based on Programatica,\
  \ see http://www.cse.ogi.edu/PacSoft/projects/programatica/"

type HaskellMorphism = DefaultMorphism Sign

-- abstract syntax, parsing (and printing)

type SYMB_ITEMS = ()
type SYMB_MAP_ITEMS = ()

instance Syntax Haskell HsDecls
                SYMB_ITEMS SYMB_MAP_ITEMS
      where
         parse_basic_spec Haskell = Just hatParser
         parse_symb_items Haskell = Nothing
         parse_symb_map_items Haskell = Nothing

type Haskell_Sublogics = ()

type Symbol = ()
type RawSymbol = ()

instance Sentences Haskell (TiDecl PNT) Sign HaskellMorphism Symbol where
    map_sen Haskell _m s = return s
    print_named Haskell sen =
        pretty (sentence sen) <>
        case senAttr sen of
          [] -> empty
          lab -> space <> text "{-" <+> text lab <+> text "-}"

instance StaticAnalysis Haskell HsDecls
               (TiDecl PNT)
               SYMB_ITEMS SYMB_MAP_ITEMS
               Sign
               HaskellMorphism
               Symbol RawSymbol where
    basic_analysis Haskell = Just hatAna
    empty_signature Haskell = emptySign
    signature_union Haskell s = return . addSign s
    final_union Haskell = signature_union Haskell
    inclusion Haskell = defaultInclusion isSubSign

instance Logic Haskell Haskell_Sublogics
               HsDecls (TiDecl PNT) SYMB_ITEMS SYMB_MAP_ITEMS
               Sign
               HaskellMorphism
               Symbol RawSymbol ()