1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

{- |
    Module      :  Check.Types
    Description :  Types for Checks

    This module provides the data structure for Messages and a type for Checks.
-}





module Check.Types where

import AST.Span (Pos)

-- |A message contains
-- | * the position it refers to
-- | * a string describing the problem
data Message = Message Pos String

-- |Signature for check functions
type CheckF a = a -> [Message]