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

{- |
    Module      :  Check.Pattern
    Description :  Check and validation for Pattern (incomplete)

    This module contains a template for the check function
    and the validation functions for Patterns.
    This module should be expanded to be able to check patterns
    e.g. for the alignment of their arguments.
-}








module Check.Pattern (patternCheck) where

import Check.Types (CheckF)

-- ----------------------------------------------------------------------------
-- Check Function
-- ----------------------------------------------------------------------------

-- |Check Pattern
patternCheck :: CheckF Pattern
patternCheck _ = []


-- ----------------------------------------------------------------------------
-- Validation Functions
-- ----------------------------------------------------------------------------

-- |Valid if ...
validPattern :: Pos -> Bool
validPattern = error "PatternCheck: not implemented yet!"