git.iko.soy/elk
on 63243ca help sign in
elk/compiler/Type/Fragment.hs
28 lines 739 B history raw
1module Type.Fragment where
3import qualified Data.List as List
4import qualified Data.Map as Map
6import Type.Type
7import SourceSyntax.Pattern
8import SourceSyntax.Location (noneNoDocs)
10data Fragment = Fragment {
11 typeEnv :: Map.Map String Type,
12 vars :: [Variable],
13 typeConstraint :: TypeConstraint
14} deriving Show
16emptyFragment = Fragment Map.empty [] (noneNoDocs CTrue)
18joinFragment f1 f2 = Fragment {
19 typeEnv = Map.union (typeEnv f1) (typeEnv f2),
20 vars = vars f1 ++ vars f2,
21 typeConstraint = typeConstraint f1 /\ typeConstraint f2
24joinFragments = List.foldl' (flip joinFragment) emptyFragment
27toScheme fragment =
28 Scheme [] (vars fragment) (typeConstraint fragment) (typeEnv fragment)