12345678910111213141516171819202122232425262728293031 |
- module Gidl.Interface.AST where
- import Gidl.Types.AST
- data InterfaceEnv
- = InterfaceEnv [(InterfaceName, Interface)]
- deriving (Eq, Show)
- emptyInterfaceEnv :: InterfaceEnv
- emptyInterfaceEnv = InterfaceEnv []
- type InterfaceName = String
- type MethodName = String
- data Interface
- = Interface [Interface] [(MethodName, Method)]
- deriving (Eq, Show)
- data Method
- = AttrMethod Perm Type
- | StreamMethod Integer Type
- deriving (Eq, Show)
- data Perm
- = Read
- | Write
- | ReadWrite
- deriving (Eq, Show)
|