module Language.SimpleShell.AST.SimpleType
  ( SimpleType(..)
  , Typed
  , FunSig
  , ProcedureSig
  )
where


-- TODO: Replace type aliases by proper types.


data SimpleType
  = IntType
  | StrType
  | BoolType
  deriving (Show, Eq)

type Typed a = (SimpleType, a)

type FunSig = (SimpleType, [SimpleType])

type ProcedureSig = (SimpleType, [SimpleType])