@@ -9,9 +9,10 @@ module Type.Constraint
99 )
1010 where
1111
12+
1213import qualified Data.Map.Strict as Map
13−import Data.Text (Text)
1414
15+import qualified Elm.Name as N
1516import qualified Reporting.Annotation as A
1617import qualified Reporting.Error.Type as Error
1718import qualified Reporting.Region as R
@@ -35,7 +36,7 @@ data Constraint
3536-- SCHEMES
3637
3738
38−type SchemeName = Text
39+type SchemeName = N.Name
3940
4041
4142data Scheme =
@@ -43,7 +44,7 @@ data Scheme =
4344 { _rigidQuantifiers :: [Variable]
4445 , _flexibleQuantifiers :: [Variable]
4546 , _constraint :: Constraint
46− , _header :: Map.Map Text (A.Located Type)
47+ , _header :: Map.Map N.Name (A.Located Type)
4748 }
4849
4950
@@ -51,7 +52,7 @@ data Scheme =
5152-- SCHEME HELPERS
5253
5354
54−monoscheme :: Map.Map Text (A.Located Type) -> Scheme
55+monoscheme :: Map.Map N.Name (A.Located Type) -> Scheme
5556monoscheme headers =
5657 Scheme [] [] CTrue headers
5758