StructuralSpec/DataTypes.hs at master · vmurali/StructuralSpec · GitHub

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
module DataTypes where

data Field = Field
  { fieldReverse::Bool
  , fieldType::String
  , fieldArgs::String
  , fieldIndices::[String]
  , fieldName::String
  , fieldWriteGuard::String
  , fieldReadGuard::String
  }

data PortArg = Type String | Num String

data Element = Port
    { portName::String
    , portArgs::[PortArg]
    , portFields::[Field]
    }
  | Partition
    { partitionName::String
    , partitionArgs::String
    , implementName::String
    , implementArgs::String
    , partitionProvisos::String
    , partitionBody::String
    }
  | Instance
    { instanceName::String
    , instanceArgs::String
    , instanceImplName::String
    , instanceImplArgs::String
    , instanceProvisos::String
    , instanceExpr::String
    }
  | Alias
    { aliasName::String
    , aliasParams::String
    , aliasPort::String
    , aliasPortParams::String
    }
  | Include String
  | Generic String