Skip to content

Instantly share code, notes, and snippets.

@andys8
Last active November 24, 2018 11:11
Show Gist options
  • Save andys8/d73996fa4739a179406a19da9e08c43f to your computer and use it in GitHub Desktop.
Save andys8/d73996fa4739a179406a19da9e08c43f to your computer and use it in GitHub Desktop.
elm-summary-example
Summary {_root = "/home/as/Dev/repository/elm-geohash"
,_project = Pkg (PkgInfo {_pkg_name = Name {_author = "andys8"
,_project = "elm-geohash"}
,_pkg_summary = "Geohash for Elm"
,_pkg_license = License {_name = "MIT License"
,_code = "MIT"}
,_pkg_version = Version {_major = 1
,_minor = 1
,_patch = 2}
,_pkg_exposed = ExposedList [Name {_name = "Geohash"}]
,_pkg_deps = fromList [(Name {_author = "elm"
,_project = "core"}
,Range (Version {_major = 1
,_minor = 0
,_patch = 0})
LessOrEqual Less (Version {_major = 2
,_minor = 0
,_patch = 0}))
,(Name {_author = "elm"
,_project = "json"}
,Range (Version {_major = 1
,_minor = 0
,_patch = 0})
LessOrEqual Less (Version {_major = 2
,_minor = 0
,_patch = 0}))
,(Name {_author = "elm"
,_project = "random"}
,Range (Version {_major = 1
,_minor = 0
,_patch = 0})
LessOrEqual Less (Version {_major = 2
,_minor = 0
,_patch = 0}))
,(Name {_author = "elm"
,_project = "regex"}
,Range (Version {_major = 1
,_minor = 0
,_patch = 0})
LessOrEqual Less (Version {_major = 2
,_minor = 0
,_patch = 0}))
,(Name {_author = "elm"
,_project = "time"}
,Range (Version {_major = 1
,_minor = 0
,_patch = 0})
LessOrEqual Less (Version {_major = 2
,_minor = 0
,_patch = 0}))
,(Name {_author = "elm-explorations"
,_project = "test"}
,Range (Version {_major = 1
,_minor = 0
,_patch = 0})
LessOrEqual Less (Version {_major = 2
,_minor = 0
,_patch = 0}))]
,_pkg_test_deps = fromList []
,_pkg_elm_version = Range (Version {_major = 0
,_minor = 19
,_patch = 0})
LessOrEqual Less (Version {_major = 0
,_minor = 20
,_patch = 0})})
,_exposed = fromList [(Name {_name = "Array"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Basics"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Bitwise"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Char"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Debug"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Dict"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Expect"}
,[Package {_name = Name {_author = "elm-explorations"
,_project = "test"}
,_version = Version {_major = 1
,_minor = 2
,_patch = 0}}])
,(Name {_name = "Fuzz"}
,[Package {_name = Name {_author = "elm-explorations"
,_project = "test"}
,_version = Version {_major = 1
,_minor = 2
,_patch = 0}}])
,(Name {_name = "Json.Decode"}
,[Package {_name = Name {_author = "elm"
,_project = "json"}
,_version = Version {_major = 1
,_minor = 1
,_patch = 2}}])
,(Name {_name = "Json.Encode"}
,[Package {_name = Name {_author = "elm"
,_project = "json"}
,_version = Version {_major = 1
,_minor = 1
,_patch = 2}}])
,(Name {_name = "List"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Maybe"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Platform"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Platform.Cmd"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Platform.Sub"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Process"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Random"}
,[Package {_name = Name {_author = "elm"
,_project = "random"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 0}}])
,(Name {_name = "Regex"}
,[Package {_name = Name {_author = "elm"
,_project = "regex"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 0}}])
,(Name {_name = "Result"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Set"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Shrink"}
,[Package {_name = Name {_author = "elm-explorations"
,_project = "test"}
,_version = Version {_major = 1
,_minor = 2
,_patch = 0}}])
,(Name {_name = "String"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Task"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])
,(Name {_name = "Test"}
,[Package {_name = Name {_author = "elm-explorations"
,_project = "test"}
,_version = Version {_major = 1
,_minor = 2
,_patch = 0}}])
,(Name {_name = "Test.Html.Event"}
,[Package {_name = Name {_author = "elm-explorations"
,_project = "test"}
,_version = Version {_major = 1
,_minor = 2
,_patch = 0}}])
,(Name {_name = "Test.Html.Query"}
,[Package {_name = Name {_author = "elm-explorations"
,_project = "test"}
,_version = Version {_major = 1
,_minor = 2
,_patch = 0}}])
,(Name {_name = "Test.Html.Selector"}
,[Package {_name = Name {_author = "elm-explorations"
,_project = "test"}
,_version = Version {_major = 1
,_minor = 2
,_patch = 0}}])
,(Name {_name = "Test.Runner"}
,[Package {_name = Name {_author = "elm-explorations"
,_project = "test"}
,_version = Version {_major = 1
,_minor = 2
,_patch = 0}}])
,(Name {_name = "Test.Runner.Failure"}
,[Package {_name = Name {_author = "elm-explorations"
,_project = "test"}
,_version = Version {_major = 1
,_minor = 2
,_patch = 0}}])
,(Name {_name = "Time"}
,[Package {_name = Name {_author = "elm"
,_project = "time"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 0}}])
,(Name {_name = "Tuple"}
,[Package {_name = Name {_author = "elm"
,_project = "core"}
,_version = Version {_major = 1
,_minor = 0
,_patch = 2}}])]
,_ifaces = fromList [(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}}
,Interface {_types = fromList [(Name {_name = "append"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "empty"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})]))
,(Name {_name = "filter"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "foldl"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "b"}))))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TVar (Name {_name = "b"}))))))
,(Name {_name = "foldr"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "b"}))))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TVar (Name {_name = "b"}))))))
,(Name {_name = "fromList"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "get"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "indexedMap"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"}))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "b"})]))))
,(Name {_name = "initialize"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TVar (Name {_name = "a"})))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "isEmpty"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "length"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,(Name {_name = "map"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"})))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "b"})]))))
,(Name {_name = "push"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "repeat"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "set"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])))))
,(Name {_name = "slice"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])))))
,(Name {_name = "toIndexedList"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TVar (Name {_name = "a"}))
Nothing])))
,(Name {_name = "toList"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])))]
,_unions = fromList [(Name {_name = "Array"}
,ClosedUnion (Union {_u_vars = [Name {_name = "a"}]
,_u_alts = [Ctor (Name {_name = "Array_elm_builtin"})
(ZeroBased 0)
4 [TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]
,TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]
,TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Tree"})
[(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Holey (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Elm.JsArray"}})
(Name {_name = "JsArray"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Node"})
[TVar (Name {_name = "a"})]]))
,TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Elm.JsArray"}})
(Name {_name = "JsArray"})
[TVar (Name {_name = "a"})]]]
,_u_numAlts = 1
,_u_opts = Normal}))
,(Name {_name = "Node"}
,PrivateUnion (Union {_u_vars = [Name {_name = "a"}]
,_u_alts = [Ctor (Name {_name = "SubTree"})
(ZeroBased 0)
1 [TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Tree"})
[(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Holey (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Elm.JsArray"}})
(Name {_name = "JsArray"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Node"})
[TVar (Name {_name = "a"})]]))]
,Ctor (Name {_name = "Leaf"})
(ZeroBased 1)
1 [TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Elm.JsArray"}})
(Name {_name = "JsArray"})
[TVar (Name {_name = "a"})]]]
,_u_numAlts = 2
,_u_opts = Normal}))]
,_aliases = fromList [(Name {_name = "Builder"}
,PrivateAlias (Alias [Name {_name = "a"}]
(TRecord (fromList [(Name {_name = "nodeList"}
,FieldType 1 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Node"})
[TVar (Name {_name = "a"})]]))
,(Name {_name = "nodeListSize"}
,FieldType 2 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "tail"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Elm.JsArray"}})
(Name {_name = "JsArray"})
[TVar (Name {_name = "a"})]))])
Nothing)))
,(Name {_name = "Tree"}
,PrivateAlias (Alias [Name {_name = "a"}]
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Elm.JsArray"}})
(Name {_name = "JsArray"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Node"})
[TVar (Name {_name = "a"})]])))]
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}}
,Interface {_types = fromList [(Name {_name = "abs"}
,Forall (fromList [(Name {_name = "number"}
,())])
(TLambda (TVar (Name {_name = "number"}))
(TVar (Name {_name = "number"}))))
,(Name {_name = "acos"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])))
,(Name {_name = "always"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "a"})))))
,(Name {_name = "asin"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])))
,(Name {_name = "atan"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])))
,(Name {_name = "atan2"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[]))))
,(Name {_name = "ceiling"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,(Name {_name = "clamp"}
,Forall (fromList [(Name {_name = "number"}
,())])
(TLambda (TVar (Name {_name = "number"}))
(TLambda (TVar (Name {_name = "number"}))
(TLambda (TVar (Name {_name = "number"}))
(TVar (Name {_name = "number"}))))))
,(Name {_name = "compare"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "comparable"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Order"})
[]))))
,(Name {_name = "cos"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])))
,(Name {_name = "degrees"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])))
,(Name {_name = "e"}
,Forall (fromList [])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[]))
,(Name {_name = "floor"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,(Name {_name = "fromPolar"}
,Forall (fromList [])
(TLambda (TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
Nothing)
(TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
Nothing)))
,(Name {_name = "identity"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "a"}))))
,(Name {_name = "isInfinite"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "isNaN"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "logBase"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[]))))
,(Name {_name = "max"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "comparable"}))
(TVar (Name {_name = "comparable"})))))
,(Name {_name = "min"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "comparable"}))
(TVar (Name {_name = "comparable"})))))
,(Name {_name = "modBy"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))))
,(Name {_name = "negate"}
,Forall (fromList [(Name {_name = "number"}
,())])
(TLambda (TVar (Name {_name = "number"}))
(TVar (Name {_name = "number"}))))
,(Name {_name = "never"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Never"})
[])
(TVar (Name {_name = "a"}))))
,(Name {_name = "not"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "pi"}
,Forall (fromList [])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[]))
,(Name {_name = "radians"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])))
,(Name {_name = "remainderBy"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))))
,(Name {_name = "round"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,(Name {_name = "sin"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])))
,(Name {_name = "sqrt"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])))
,(Name {_name = "tan"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])))
,(Name {_name = "toFloat"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])))
,(Name {_name = "toPolar"}
,Forall (fromList [])
(TLambda (TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
Nothing)
(TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
Nothing)))
,(Name {_name = "truncate"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,(Name {_name = "turns"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])))
,(Name {_name = "xor"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))))]
,_unions = fromList [(Name {_name = "Bool"}
,OpenUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "True"})
(ZeroBased 0)
0 []
,Ctor (Name {_name = "False"})
(ZeroBased 1)
0 []]
,_u_numAlts = 2
,_u_opts = Enum}))
,(Name {_name = "Float"}
,ClosedUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "Float"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))
,(Name {_name = "Int"}
,ClosedUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "Int"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))
,(Name {_name = "Never"}
,ClosedUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "JustOneMore"})
(ZeroBased 0)
1 [TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Never"})
[]]]
,_u_numAlts = 1
,_u_opts = Unbox}))
,(Name {_name = "Order"}
,OpenUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "LT"})
(ZeroBased 0)
0 []
,Ctor (Name {_name = "EQ"})
(ZeroBased 1)
0 []
,Ctor (Name {_name = "GT"})
(ZeroBased 2)
0 []]
,_u_numAlts = 3
,_u_opts = Enum}))]
,_aliases = fromList []
,_binops = fromList [(Name {_name = "&&"}
,Binop {_op_name = Name {_name = "and"}
,_op_annotation = Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,_op_associativity = Right
,_op_precedence = Precedence 3})
,(Name {_name = "*"}
,Binop {_op_name = Name {_name = "mul"}
,_op_annotation = Forall (fromList [(Name {_name = "number"}
,())])
(TLambda (TVar (Name {_name = "number"}))
(TLambda (TVar (Name {_name = "number"}))
(TVar (Name {_name = "number"}))))
,_op_associativity = Left
,_op_precedence = Precedence 7})
,(Name {_name = "+"}
,Binop {_op_name = Name {_name = "add"}
,_op_annotation = Forall (fromList [(Name {_name = "number"}
,())])
(TLambda (TVar (Name {_name = "number"}))
(TLambda (TVar (Name {_name = "number"}))
(TVar (Name {_name = "number"}))))
,_op_associativity = Left
,_op_precedence = Precedence 6})
,(Name {_name = "++"}
,Binop {_op_name = Name {_name = "append"}
,_op_annotation = Forall (fromList [(Name {_name = "appendable"}
,())])
(TLambda (TVar (Name {_name = "appendable"}))
(TLambda (TVar (Name {_name = "appendable"}))
(TVar (Name {_name = "appendable"}))))
,_op_associativity = Right
,_op_precedence = Precedence 5})
,(Name {_name = "-"}
,Binop {_op_name = Name {_name = "sub"}
,_op_annotation = Forall (fromList [(Name {_name = "number"}
,())])
(TLambda (TVar (Name {_name = "number"}))
(TLambda (TVar (Name {_name = "number"}))
(TVar (Name {_name = "number"}))))
,_op_associativity = Left
,_op_precedence = Precedence 6})
,(Name {_name = "/"}
,Binop {_op_name = Name {_name = "fdiv"}
,_op_annotation = Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])))
,_op_associativity = Left
,_op_precedence = Precedence 7})
,(Name {_name = "//"}
,Binop {_op_name = Name {_name = "idiv"}
,_op_annotation = Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,_op_associativity = Left
,_op_precedence = Precedence 7})
,(Name {_name = "/="}
,Binop {_op_name = Name {_name = "neq"}
,_op_annotation = Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,_op_associativity = Non
,_op_precedence = Precedence 4})
,(Name {_name = "<"}
,Binop {_op_name = Name {_name = "lt"}
,_op_annotation = Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "comparable"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,_op_associativity = Non
,_op_precedence = Precedence 4})
,(Name {_name = "<<"}
,Binop {_op_name = Name {_name = "composeL"}
,_op_annotation = Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())])
(TLambda (TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "c"})))
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"})))
(TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "c"})))))
,_op_associativity = Left
,_op_precedence = Precedence 9})
,(Name {_name = "<="}
,Binop {_op_name = Name {_name = "le"}
,_op_annotation = Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "comparable"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,_op_associativity = Non
,_op_precedence = Precedence 4})
,(Name {_name = "<|"}
,Binop {_op_name = Name {_name = "apL"}
,_op_annotation = Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"})))
(TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"}))))
,_op_associativity = Right
,_op_precedence = Precedence 0})
,(Name {_name = "=="}
,Binop {_op_name = Name {_name = "eq"}
,_op_annotation = Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,_op_associativity = Non
,_op_precedence = Precedence 4})
,(Name {_name = ">"}
,Binop {_op_name = Name {_name = "gt"}
,_op_annotation = Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "comparable"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,_op_associativity = Non
,_op_precedence = Precedence 4})
,(Name {_name = ">="}
,Binop {_op_name = Name {_name = "ge"}
,_op_annotation = Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "comparable"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,_op_associativity = Non
,_op_precedence = Precedence 4})
,(Name {_name = ">>"}
,Binop {_op_name = Name {_name = "composeR"}
,_op_annotation = Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"})))
(TLambda (TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "c"})))
(TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "c"})))))
,_op_associativity = Right
,_op_precedence = Precedence 9})
,(Name {_name = "^"}
,Binop {_op_name = Name {_name = "pow"}
,_op_annotation = Forall (fromList [(Name {_name = "number"}
,())])
(TLambda (TVar (Name {_name = "number"}))
(TLambda (TVar (Name {_name = "number"}))
(TVar (Name {_name = "number"}))))
,_op_associativity = Right
,_op_precedence = Precedence 8})
,(Name {_name = "|>"}
,Binop {_op_name = Name {_name = "apR"}
,_op_annotation = Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"})))
(TVar (Name {_name = "b"}))))
,_op_associativity = Left
,_op_precedence = Precedence 0})
,(Name {_name = "||"}
,Binop {_op_name = Name {_name = "or"}
,_op_annotation = Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,_op_associativity = Right
,_op_precedence = Precedence 2})]})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Bitwise"}}
,Interface {_types = fromList [(Name {_name = "and"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))))
,(Name {_name = "complement"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,(Name {_name = "or"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))))
,(Name {_name = "shiftLeftBy"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))))
,(Name {_name = "shiftRightBy"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))))
,(Name {_name = "shiftRightZfBy"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))))
,(Name {_name = "xor"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))))]
,_unions = fromList []
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}}
,Interface {_types = fromList [(Name {_name = "fromCode"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])))
,(Name {_name = "isAlpha"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "isAlphaNum"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "isDigit"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "isHexDigit"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "isLower"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "isOctDigit"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "isUpper"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "toCode"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,(Name {_name = "toLocaleLower"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])))
,(Name {_name = "toLocaleUpper"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])))
,(Name {_name = "toLower"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])))
,(Name {_name = "toUpper"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])))]
,_unions = fromList [(Name {_name = "Char"}
,ClosedUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "Char"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))]
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Debug"}}
,Interface {_types = fromList [(Name {_name = "log"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "a"})))))
,(Name {_name = "toString"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "todo"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TVar (Name {_name = "a"}))))]
,_unions = fromList []
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}}
,Interface {_types = fromList [(Name {_name = "diff"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "comparable"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "b"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "a"})]))))
,(Name {_name = "empty"}
,Forall (fromList [(Name {_name = "k"}
,())
,(Name {_name = "v"}
,())])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "v"})]))
,(Name {_name = "filter"}
,Forall (fromList [(Name {_name = "comparable"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "v"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})]))))
,(Name {_name = "foldl"}
,Forall (fromList [(Name {_name = "b"}
,())
,(Name {_name = "k"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TLambda (TVar (Name {_name = "k"}))
(TLambda (TVar (Name {_name = "v"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "b"})))))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "v"})])
(TVar (Name {_name = "b"}))))))
,(Name {_name = "foldr"}
,Forall (fromList [(Name {_name = "b"}
,())
,(Name {_name = "k"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TLambda (TVar (Name {_name = "k"}))
(TLambda (TVar (Name {_name = "v"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "b"})))))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "v"})])
(TVar (Name {_name = "b"}))))))
,(Name {_name = "fromList"}
,Forall (fromList [(Name {_name = "comparable"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TTuple (TVar (Name {_name = "comparable"}))
(TVar (Name {_name = "v"}))
Nothing])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])))
,(Name {_name = "get"}
,Forall (fromList [(Name {_name = "comparable"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "v"})]))))
,(Name {_name = "insert"}
,Forall (fromList [(Name {_name = "comparable"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "v"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])))))
,(Name {_name = "intersect"}
,Forall (fromList [(Name {_name = "comparable"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})]))))
,(Name {_name = "isEmpty"}
,Forall (fromList [(Name {_name = "k"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "keys"}
,Forall (fromList [(Name {_name = "k"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "k"})])))
,(Name {_name = "map"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "k"}
,())])
(TLambda (TLambda (TVar (Name {_name = "k"}))
(TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"}))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "b"})]))))
,(Name {_name = "member"}
,Forall (fromList [(Name {_name = "comparable"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))))
,(Name {_name = "merge"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "comparable"}
,())
,(Name {_name = "result"}
,())])
(TLambda (TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "result"}))
(TVar (Name {_name = "result"})))))
(TLambda (TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "result"}))
(TVar (Name {_name = "result"}))))))
(TLambda (TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "result"}))
(TVar (Name {_name = "result"})))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "b"})])
(TLambda (TVar (Name {_name = "result"}))
(TVar (Name {_name = "result"})))))))))
,(Name {_name = "partition"}
,Forall (fromList [(Name {_name = "comparable"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "v"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
(TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
Nothing))))
,(Name {_name = "remove"}
,Forall (fromList [(Name {_name = "comparable"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})]))))
,(Name {_name = "singleton"}
,Forall (fromList [(Name {_name = "comparable"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TVar (Name {_name = "v"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})]))))
,(Name {_name = "size"}
,Forall (fromList [(Name {_name = "k"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,(Name {_name = "toList"}
,Forall (fromList [(Name {_name = "k"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TTuple (TVar (Name {_name = "k"}))
(TVar (Name {_name = "v"}))
Nothing])))
,(Name {_name = "union"}
,Forall (fromList [(Name {_name = "comparable"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})]))))
,(Name {_name = "update"}
,Forall (fromList [(Name {_name = "comparable"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "v"})]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "comparable"})
,TVar (Name {_name = "v"})])))))
,(Name {_name = "values"}
,Forall (fromList [(Name {_name = "k"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "v"})])))]
,_unions = fromList [(Name {_name = "Dict"}
,ClosedUnion (Union {_u_vars = [Name {_name = "k"}
,Name {_name = "v"}]
,_u_alts = [Ctor (Name {_name = "RBNode_elm_builtin"})
(ZeroBased 0)
5 [TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "NColor"})
[]
,TVar (Name {_name = "k"})
,TVar (Name {_name = "v"})
,TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "v"})]
,TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "v"})]]
,Ctor (Name {_name = "RBEmpty_elm_builtin"})
(ZeroBased 1)
0 []]
,_u_numAlts = 2
,_u_opts = Normal}))
,(Name {_name = "NColor"}
,PrivateUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "Red"})
(ZeroBased 0)
0 []
,Ctor (Name {_name = "Black"})
(ZeroBased 1)
0 []]
,_u_numAlts = 2
,_u_opts = Enum}))]
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}}
,Interface {_types = fromList [(Name {_name = "all"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))))
,(Name {_name = "any"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))))
,(Name {_name = "append"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "concat"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "concatMap"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "b"})]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "b"})]))))
,(Name {_name = "drop"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "filter"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "filterMap"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "b"})]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "b"})]))))
,(Name {_name = "foldl"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "b"}))))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TVar (Name {_name = "b"}))))))
,(Name {_name = "foldr"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "b"}))))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TVar (Name {_name = "b"}))))))
,(Name {_name = "head"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "indexedMap"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"}))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "b"})]))))
,(Name {_name = "intersperse"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "isEmpty"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "length"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,(Name {_name = "map"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"})))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "b"})]))))
,(Name {_name = "map2"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "result"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "result"}))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "b"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "result"})])))))
,(Name {_name = "map3"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "result"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TVar (Name {_name = "result"})))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "c"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "result"})]))))))
,(Name {_name = "map4"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "result"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TVar (Name {_name = "result"}))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "d"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "result"})])))))))
,(Name {_name = "map5"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "e"}
,())
,(Name {_name = "result"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TLambda (TVar (Name {_name = "e"}))
(TVar (Name {_name = "result"})))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "d"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "e"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "result"})]))))))))
,(Name {_name = "maximum"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "comparable"})])))
,(Name {_name = "member"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))))
,(Name {_name = "minimum"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "comparable"})])))
,(Name {_name = "partition"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
Nothing))))
,(Name {_name = "product"}
,Forall (fromList [(Name {_name = "number"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "number"})])
(TVar (Name {_name = "number"}))))
,(Name {_name = "range"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]]))))
,(Name {_name = "repeat"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "reverse"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "singleton"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "sort"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "comparable"})])))
,(Name {_name = "sortBy"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "comparable"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "comparable"})))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "sortWith"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Order"})
[])))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "sum"}
,Forall (fromList [(Name {_name = "number"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "number"})])
(TVar (Name {_name = "number"}))))
,(Name {_name = "tail"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]])))
,(Name {_name = "take"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "unzip"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TTuple (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"}))
Nothing])
(TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "b"})])
Nothing)))]
,_unions = fromList []
,_aliases = fromList []
,_binops = fromList [(Name {_name = "::"}
,Binop {_op_name = Name {_name = "cons"}
,_op_annotation = Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])))
,_op_associativity = Right
,_op_precedence = Precedence 5})]})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}}
,Interface {_types = fromList [(Name {_name = "andThen"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "b"})]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "b"})]))))
,(Name {_name = "map"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"})))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "b"})]))))
,(Name {_name = "map2"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "value"}))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "b"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "value"})])))))
,(Name {_name = "map3"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TVar (Name {_name = "value"})))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "c"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "value"})]))))))
,(Name {_name = "map4"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TVar (Name {_name = "value"}))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "d"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "value"})])))))))
,(Name {_name = "map5"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "e"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TLambda (TVar (Name {_name = "e"}))
(TVar (Name {_name = "value"})))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "d"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "e"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "value"})]))))))))
,(Name {_name = "withDefault"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})])
(TVar (Name {_name = "a"})))))]
,_unions = fromList [(Name {_name = "Maybe"}
,OpenUnion (Union {_u_vars = [Name {_name = "a"}]
,_u_alts = [Ctor (Name {_name = "Just"})
(ZeroBased 0)
1 [TVar (Name {_name = "a"})]
,Ctor (Name {_name = "Nothing"})
(ZeroBased 1)
0 []]
,_u_numAlts = 2
,_u_opts = Normal}))]
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}}
,Interface {_types = fromList [(Name {_name = "sendToApp"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "msg"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Router"})
[TVar (Name {_name = "msg"})
,TVar (Name {_name = "a"})])
(TLambda (TVar (Name {_name = "msg"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TUnit]))))
,(Name {_name = "sendToSelf"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "msg"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Router"})
[TVar (Name {_name = "a"})
,TVar (Name {_name = "msg"})])
(TLambda (TVar (Name {_name = "msg"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TUnit]))))
,(Name {_name = "worker"}
,Forall (fromList [(Name {_name = "flags"}
,())
,(Name {_name = "model"}
,())
,(Name {_name = "msg"}
,())])
(TLambda (TRecord (fromList [(Name {_name = "init"}
,FieldType 0 (TLambda (TVar (Name {_name = "flags"}))
(TTuple (TVar (Name {_name = "model"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Cmd"}})
(Name {_name = "Cmd"})
[TVar (Name {_name = "msg"})])
Nothing)))
,(Name {_name = "subscriptions"}
,FieldType 0 (TLambda (TVar (Name {_name = "model"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Sub"}})
(Name {_name = "Sub"})
[TVar (Name {_name = "msg"})])))
,(Name {_name = "update"}
,FieldType 0 (TLambda (TVar (Name {_name = "msg"}))
(TLambda (TVar (Name {_name = "model"}))
(TTuple (TVar (Name {_name = "model"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Cmd"}})
(Name {_name = "Cmd"})
[TVar (Name {_name = "msg"})])
Nothing))))])
Nothing)
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Program"})
[TVar (Name {_name = "flags"})
,TVar (Name {_name = "model"})
,TVar (Name {_name = "msg"})])))]
,_unions = fromList [(Name {_name = "ProcessId"}
,ClosedUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "ProcessId"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))
,(Name {_name = "Program"}
,ClosedUnion (Union {_u_vars = [Name {_name = "flags"}
,Name {_name = "model"}
,Name {_name = "msg"}]
,_u_alts = [Ctor (Name {_name = "Program"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))
,(Name {_name = "Router"}
,ClosedUnion (Union {_u_vars = [Name {_name = "appMsg"}
,Name {_name = "selfMsg"}]
,_u_alts = [Ctor (Name {_name = "Router"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))
,(Name {_name = "Task"}
,ClosedUnion (Union {_u_vars = [Name {_name = "err"}
,Name {_name = "ok"}]
,_u_alts = [Ctor (Name {_name = "Task"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))]
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Cmd"}}
,Interface {_types = fromList [(Name {_name = "batch"}
,Forall (fromList [(Name {_name = "msg"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Cmd"}})
(Name {_name = "Cmd"})
[TVar (Name {_name = "msg"})]])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Cmd"}})
(Name {_name = "Cmd"})
[TVar (Name {_name = "msg"})])))
,(Name {_name = "map"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "msg"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "msg"})))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Cmd"}})
(Name {_name = "Cmd"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Cmd"}})
(Name {_name = "Cmd"})
[TVar (Name {_name = "msg"})]))))
,(Name {_name = "none"}
,Forall (fromList [(Name {_name = "msg"}
,())])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Cmd"}})
(Name {_name = "Cmd"})
[TVar (Name {_name = "msg"})]))]
,_unions = fromList [(Name {_name = "Cmd"}
,ClosedUnion (Union {_u_vars = [Name {_name = "msg"}]
,_u_alts = [Ctor (Name {_name = "Cmd"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))]
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Sub"}}
,Interface {_types = fromList [(Name {_name = "batch"}
,Forall (fromList [(Name {_name = "msg"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Sub"}})
(Name {_name = "Sub"})
[TVar (Name {_name = "msg"})]])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Sub"}})
(Name {_name = "Sub"})
[TVar (Name {_name = "msg"})])))
,(Name {_name = "map"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "msg"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "msg"})))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Sub"}})
(Name {_name = "Sub"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Sub"}})
(Name {_name = "Sub"})
[TVar (Name {_name = "msg"})]))))
,(Name {_name = "none"}
,Forall (fromList [(Name {_name = "msg"}
,())])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Sub"}})
(Name {_name = "Sub"})
[TVar (Name {_name = "msg"})]))]
,_unions = fromList [(Name {_name = "Sub"}
,ClosedUnion (Union {_u_vars = [Name {_name = "msg"}]
,_u_alts = [Ctor (Name {_name = "Sub"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))]
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Process"}}
,Interface {_types = fromList [(Name {_name = "kill"}
,Forall (fromList [(Name {_name = "x"}
,())])
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Process"}})
(Name {_name = "Id"})
[]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "ProcessId"})
[])))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TUnit)]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TUnit])))))
,(Name {_name = "sleep"}
,Forall (fromList [(Name {_name = "x"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TUnit)]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TUnit])))))
,(Name {_name = "spawn"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "x"}
,())
,(Name {_name = "y"}
,())])
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "y"}))
,(Name {_name = "a"}
,TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Process"}})
(Name {_name = "Id"})
[]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "ProcessId"})
[])))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "y"})
,TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Process"}})
(Name {_name = "Id"})
[]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "ProcessId"})
[]))])))))]
,_unions = fromList []
,_aliases = fromList [(Name {_name = "Id"}
,PublicAlias (Alias []
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "ProcessId"})
[])))]
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}}
,Interface {_types = fromList [(Name {_name = "andThen"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})]))))
,(Name {_name = "fromMaybe"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TVar (Name {_name = "x"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})]))))
,(Name {_name = "map"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "value"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "value"})))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "value"})]))))
,(Name {_name = "map2"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "value"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "value"}))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "value"})])))))
,(Name {_name = "map3"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "value"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TVar (Name {_name = "value"})))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "c"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "value"})]))))))
,(Name {_name = "map4"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "value"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TVar (Name {_name = "value"}))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "d"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "value"})])))))))
,(Name {_name = "map5"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "e"}
,())
,(Name {_name = "value"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TLambda (TVar (Name {_name = "e"}))
(TVar (Name {_name = "value"})))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "d"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "e"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "value"})]))))))))
,(Name {_name = "mapError"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "x"}
,())
,(Name {_name = "y"}
,())])
(TLambda (TLambda (TVar (Name {_name = "x"}))
(TVar (Name {_name = "y"})))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "y"})
,TVar (Name {_name = "a"})]))))
,(Name {_name = "toMaybe"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "withDefault"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])
(TVar (Name {_name = "a"})))))]
,_unions = fromList [(Name {_name = "Result"}
,OpenUnion (Union {_u_vars = [Name {_name = "error"}
,Name {_name = "value"}]
,_u_alts = [Ctor (Name {_name = "Ok"})
(ZeroBased 0)
1 [TVar (Name {_name = "value"})]
,Ctor (Name {_name = "Err"})
(ZeroBased 1)
1 [TVar (Name {_name = "error"})]]
,_u_numAlts = 2
,_u_opts = Normal}))]
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}}
,Interface {_types = fromList [(Name {_name = "diff"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})]))))
,(Name {_name = "empty"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "a"})]))
,(Name {_name = "filter"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TLambda (TVar (Name {_name = "comparable"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})]))))
,(Name {_name = "foldl"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "b"}))))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "a"})])
(TVar (Name {_name = "b"}))))))
,(Name {_name = "foldr"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "b"}))))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "a"})])
(TVar (Name {_name = "b"}))))))
,(Name {_name = "fromList"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])))
,(Name {_name = "insert"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})]))))
,(Name {_name = "intersect"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})]))))
,(Name {_name = "isEmpty"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "map"}
,Forall (fromList [(Name {_name = "comparable"}
,())
,(Name {_name = "comparable2"}
,())])
(TLambda (TLambda (TVar (Name {_name = "comparable"}))
(TVar (Name {_name = "comparable2"})))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable2"})]))))
,(Name {_name = "member"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))))
,(Name {_name = "partition"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TLambda (TVar (Name {_name = "comparable"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
Nothing))))
,(Name {_name = "remove"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})]))))
,(Name {_name = "singleton"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TVar (Name {_name = "comparable"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])))
,(Name {_name = "size"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,(Name {_name = "toList"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "union"}
,Forall (fromList [(Name {_name = "comparable"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "comparable"})]))))]
,_unions = fromList [(Name {_name = "Set"}
,ClosedUnion (Union {_u_vars = [Name {_name = "t"}]
,_u_alts = [Ctor (Name {_name = "Set_elm_builtin"})
(ZeroBased 0)
1 [TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "t"})
,TUnit]]]
,_u_numAlts = 1
,_u_opts = Unbox}))]
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}}
,Interface {_types = fromList [(Name {_name = "all"}
,Forall (fromList [])
(TLambda (TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))))
,(Name {_name = "any"}
,Forall (fromList [])
(TLambda (TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))))
,(Name {_name = "append"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))))
,(Name {_name = "concat"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "cons"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))))
,(Name {_name = "contains"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))))
,(Name {_name = "dropLeft"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))))
,(Name {_name = "dropRight"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))))
,(Name {_name = "endsWith"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))))
,(Name {_name = "filter"}
,Forall (fromList [])
(TLambda (TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))))
,(Name {_name = "foldl"}
,Forall (fromList [(Name {_name = "b"}
,())])
(TLambda (TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "b"}))))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TVar (Name {_name = "b"}))))))
,(Name {_name = "foldr"}
,Forall (fromList [(Name {_name = "b"}
,())])
(TLambda (TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "b"}))))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TVar (Name {_name = "b"}))))))
,(Name {_name = "fromChar"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "fromFloat"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "fromInt"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "fromList"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[]])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "indexes"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]]))))
,(Name {_name = "indices"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]]))))
,(Name {_name = "isEmpty"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])))
,(Name {_name = "join"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))))
,(Name {_name = "left"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))))
,(Name {_name = "length"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,(Name {_name = "lines"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]])))
,(Name {_name = "map"}
,Forall (fromList [])
(TLambda (TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))))
,(Name {_name = "pad"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))))
,(Name {_name = "padLeft"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))))
,(Name {_name = "padRight"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))))
,(Name {_name = "repeat"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))))
,(Name {_name = "replace"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))))
,(Name {_name = "reverse"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "right"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))))
,(Name {_name = "slice"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))))
,(Name {_name = "split"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]]))))
,(Name {_name = "startsWith"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))))
,(Name {_name = "toFloat"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[]])))
,(Name {_name = "toInt"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]])))
,(Name {_name = "toList"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[]])))
,(Name {_name = "toLower"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "toUpper"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "trim"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "trimLeft"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "trimRight"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "uncons"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Char"}})
(Name {_name = "Char"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
Nothing])))
,(Name {_name = "words"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]])))]
,_unions = fromList [(Name {_name = "String"}
,ClosedUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "String"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))]
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}}
,Interface {_types = fromList [(Name {_name = "andThen"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "b"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})]))))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "b"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})]))))))
,(Name {_name = "attempt"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "msg"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])
(TVar (Name {_name = "msg"})))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Cmd"}})
(Name {_name = "Cmd"})
[TVar (Name {_name = "msg"})]))))
,(Name {_name = "fail"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TVar (Name {_name = "x"}))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))))
,(Name {_name = "map"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"})))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "b"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})]))))))
,(Name {_name = "map2"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "result"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "result"}))))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "b"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})])))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "result"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "result"})])))))))
,(Name {_name = "map3"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "result"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TVar (Name {_name = "result"})))))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "b"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})])))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "c"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "c"})])))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "result"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "result"})]))))))))
,(Name {_name = "map4"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "result"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TVar (Name {_name = "result"}))))))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "b"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})])))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "c"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "c"})])))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "d"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "d"})])))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "result"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "result"})])))))))))
,(Name {_name = "map5"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "e"}
,())
,(Name {_name = "result"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TLambda (TVar (Name {_name = "e"}))
(TVar (Name {_name = "result"})))))))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "b"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "b"})])))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "c"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "c"})])))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "d"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "d"})])))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "e"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "e"})])))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "result"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "result"})]))))))))))
,(Name {_name = "mapError"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "x"}
,())
,(Name {_name = "y"}
,())])
(TLambda (TLambda (TVar (Name {_name = "x"}))
(TVar (Name {_name = "y"})))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "y"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "y"})
,TVar (Name {_name = "a"})]))))))
,(Name {_name = "onError"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "x"}
,())
,(Name {_name = "y"}
,())])
(TLambda (TLambda (TVar (Name {_name = "x"}))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "y"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "y"})
,TVar (Name {_name = "a"})]))))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "y"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "y"})
,TVar (Name {_name = "a"})]))))))
,(Name {_name = "perform"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "msg"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "msg"})))
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Never"})
[])
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Never"})
[]
,TVar (Name {_name = "a"})])))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Cmd"}})
(Name {_name = "Cmd"})
[TVar (Name {_name = "msg"})]))))
,(Name {_name = "sequence"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})]))])
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]])))))
,(Name {_name = "succeed"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TVar (Name {_name = "a"}))]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))))]
,_unions = fromList [(Name {_name = "MyCmd"}
,PrivateUnion (Union {_u_vars = [Name {_name = "msg"}]
,_u_alts = [Ctor (Name {_name = "Perform"})
(ZeroBased 0)
1 [TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Never"})
[])
,(Name {_name = "a"}
,TVar (Name {_name = "msg"}))]
(Holey (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})]))]]
,_u_numAlts = 1
,_u_opts = Unbox}))]
,_aliases = fromList [(Name {_name = "Task"}
,PublicAlias (Alias [Name {_name = "x"}
,Name {_name = "a"}]
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TVar (Name {_name = "a"})])))]
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Tuple"}}
,Interface {_types = fromList [(Name {_name = "first"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TTuple (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"}))
Nothing)
(TVar (Name {_name = "a"}))))
,(Name {_name = "mapBoth"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "x"}
,())
,(Name {_name = "y"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "x"})))
(TLambda (TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "y"})))
(TLambda (TTuple (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"}))
Nothing)
(TTuple (TVar (Name {_name = "x"}))
(TVar (Name {_name = "y"}))
Nothing)))))
,(Name {_name = "mapFirst"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "x"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "x"})))
(TLambda (TTuple (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"}))
Nothing)
(TTuple (TVar (Name {_name = "x"}))
(TVar (Name {_name = "b"}))
Nothing))))
,(Name {_name = "mapSecond"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "y"}
,())])
(TLambda (TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "y"})))
(TLambda (TTuple (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"}))
Nothing)
(TTuple (TVar (Name {_name = "a"}))
(TVar (Name {_name = "y"}))
Nothing))))
,(Name {_name = "pair"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TTuple (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"}))
Nothing))))
,(Name {_name = "second"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TTuple (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"}))
Nothing)
(TVar (Name {_name = "b"}))))]
,_unions = fromList []
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}}
,Interface {_types = fromList [(Name {_name = "andThen"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "b"})]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "b"})]))))
,(Name {_name = "array"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})]])))
,(Name {_name = "at"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "bool"}
,Forall (fromList [])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]]))
,(Name {_name = "decodeString"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Error"})
[]
,TVar (Name {_name = "a"})]))))
,(Name {_name = "decodeValue"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Value"})
[]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[])))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Result"}})
(Name {_name = "Result"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Error"})
[]
,TVar (Name {_name = "a"})]))))
,(Name {_name = "dict"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]
,TVar (Name {_name = "a"})]])))
,(Name {_name = "errorToString"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Error"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))
,(Name {_name = "fail"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "field"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "float"}
,Forall (fromList [])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[]]))
,(Name {_name = "index"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "int"}
,Forall (fromList [])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]]))
,(Name {_name = "keyValuePairs"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TVar (Name {_name = "a"}))
Nothing]])))
,(Name {_name = "lazy"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TLambda TUnit (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})]))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "list"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]])))
,(Name {_name = "map"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "value"})))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "value"})]))))
,(Name {_name = "map2"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "value"}))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "b"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "value"})])))))
,(Name {_name = "map3"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TVar (Name {_name = "value"})))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "c"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "value"})]))))))
,(Name {_name = "map4"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TVar (Name {_name = "value"}))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "d"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "value"})])))))))
,(Name {_name = "map5"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "e"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TLambda (TVar (Name {_name = "e"}))
(TVar (Name {_name = "value"})))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "d"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "e"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "value"})]))))))))
,(Name {_name = "map6"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "e"}
,())
,(Name {_name = "f"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TLambda (TVar (Name {_name = "e"}))
(TLambda (TVar (Name {_name = "f"}))
(TVar (Name {_name = "value"}))))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "d"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "e"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "f"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "value"})])))))))))
,(Name {_name = "map7"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "e"}
,())
,(Name {_name = "f"}
,())
,(Name {_name = "g"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TLambda (TVar (Name {_name = "e"}))
(TLambda (TVar (Name {_name = "f"}))
(TLambda (TVar (Name {_name = "g"}))
(TVar (Name {_name = "value"})))))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "d"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "e"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "f"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "g"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "value"})]))))))))))
,(Name {_name = "map8"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "e"}
,())
,(Name {_name = "f"}
,())
,(Name {_name = "g"}
,())
,(Name {_name = "h"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TLambda (TVar (Name {_name = "e"}))
(TLambda (TVar (Name {_name = "f"}))
(TLambda (TVar (Name {_name = "g"}))
(TLambda (TVar (Name {_name = "h"}))
(TVar (Name {_name = "value"}))))))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "d"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "e"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "f"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "g"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "h"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "value"})])))))))))))
,(Name {_name = "maybe"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})]])))
,(Name {_name = "null"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "nullable"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TVar (Name {_name = "a"})]])))
,(Name {_name = "oneOf"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})]])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "oneOrMore"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "value"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TVar (Name {_name = "value"}))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "value"})]))))
,(Name {_name = "string"}
,Forall (fromList [])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]]))
,(Name {_name = "succeed"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "value"}
,Forall (fromList [])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Decoder"})
[TAlias (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Value"})
[]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[]))]))]
,_unions = fromList [(Name {_name = "Decoder"}
,ClosedUnion (Union {_u_vars = [Name {_name = "a"}]
,_u_alts = [Ctor (Name {_name = "Decoder"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))
,(Name {_name = "Error"}
,OpenUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "Field"})
(ZeroBased 0)
2 [TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]
,TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Error"})
[]]
,Ctor (Name {_name = "Index"})
(ZeroBased 1)
2 [TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]
,TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Error"})
[]]
,Ctor (Name {_name = "OneOf"})
(ZeroBased 2)
1 [TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Error"})
[]]]
,Ctor (Name {_name = "Failure"})
(ZeroBased 3)
2 [TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]
,TAlias (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Decode"}})
(Name {_name = "Value"})
[]
(Holey (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[]))]]
,_u_numAlts = 4
,_u_opts = Normal}))]
,_aliases = fromList [(Name {_name = "Value"}
,PublicAlias (Alias []
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[])))]
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}}
,Interface {_types = fromList [(Name {_name = "array"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Array"}})
(Name {_name = "Array"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[]))))
,(Name {_name = "bool"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[])))
,(Name {_name = "dict"}
,Forall (fromList [(Name {_name = "k"}
,())
,(Name {_name = "v"}
,())])
(TLambda (TLambda (TVar (Name {_name = "k"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))
(TLambda (TLambda (TVar (Name {_name = "v"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Dict"}})
(Name {_name = "Dict"})
[TVar (Name {_name = "k"})
,TVar (Name {_name = "v"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[])))))
,(Name {_name = "encode"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))))
,(Name {_name = "float"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[])))
,(Name {_name = "int"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[])))
,(Name {_name = "list"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[]))))
,(Name {_name = "null"}
,Forall (fromList [])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[]))
,(Name {_name = "object"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[])
Nothing])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[])))
,(Name {_name = "set"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Set"}})
(Name {_name = "Set"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[]))))
,(Name {_name = "string"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "json"}
,_module = Name {_name = "Json.Encode"}})
(Name {_name = "Value"})
[])))]
,_unions = fromList [(Name {_name = "Value"}
,ClosedUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "Value"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))]
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}}
,Interface {_types = fromList [(Name {_name = "andThen"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "b"})]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "b"})]))))
,(Name {_name = "constant"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "float"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[]]))))
,(Name {_name = "generate"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "msg"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "msg"})))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Cmd"}})
(Name {_name = "Cmd"})
[TVar (Name {_name = "msg"})]))))
,(Name {_name = "independentSeed"}
,Forall (fromList [])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Seed"})
[]]))
,(Name {_name = "initialSeed"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Seed"})
[])))
,(Name {_name = "int"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]]))))
,(Name {_name = "lazy"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TLambda TUnit (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})]))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})])))
,(Name {_name = "list"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})]]))))
,(Name {_name = "map"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"})))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "b"})]))))
,(Name {_name = "map2"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TVar (Name {_name = "c"}))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "b"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "c"})])))))
,(Name {_name = "map3"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TVar (Name {_name = "d"})))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "c"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "d"})]))))))
,(Name {_name = "map4"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "e"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TVar (Name {_name = "e"}))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "d"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "e"})])))))))
,(Name {_name = "map5"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())
,(Name {_name = "c"}
,())
,(Name {_name = "d"}
,())
,(Name {_name = "e"}
,())
,(Name {_name = "f"}
,())])
(TLambda (TLambda (TVar (Name {_name = "a"}))
(TLambda (TVar (Name {_name = "b"}))
(TLambda (TVar (Name {_name = "c"}))
(TLambda (TVar (Name {_name = "d"}))
(TLambda (TVar (Name {_name = "e"}))
(TVar (Name {_name = "f"})))))))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "b"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "c"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "d"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "e"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "f"})]))))))))
,(Name {_name = "maxInt"}
,Forall (fromList [])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "minInt"}
,Forall (fromList [])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "pair"}
,Forall (fromList [(Name {_name = "a"}
,())
,(Name {_name = "b"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "b"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TTuple (TVar (Name {_name = "a"}))
(TVar (Name {_name = "b"}))
Nothing]))))
,(Name {_name = "step"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Seed"})
[])
(TTuple (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Seed"})
[])
Nothing))))
,(Name {_name = "uniform"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TVar (Name {_name = "a"}))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TVar (Name {_name = "a"})])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})]))))
,(Name {_name = "weighted"}
,Forall (fromList [(Name {_name = "a"}
,())])
(TLambda (TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TVar (Name {_name = "a"}))
Nothing)
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TTuple (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TVar (Name {_name = "a"}))
Nothing])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "a"})]))))]
,_unions = fromList [(Name {_name = "Generator"}
,ClosedUnion (Union {_u_vars = [Name {_name = "a"}]
,_u_alts = [Ctor (Name {_name = "Generator"})
(ZeroBased 0)
1 [TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Seed"})
[])
(TTuple (TVar (Name {_name = "a"}))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Seed"})
[])
Nothing)]]
,_u_numAlts = 1
,_u_opts = Unbox}))
,(Name {_name = "MyCmd"}
,PrivateUnion (Union {_u_vars = [Name {_name = "msg"}]
,_u_alts = [Ctor (Name {_name = "Generate"})
(ZeroBased 0)
1 [TType (Canonical {_package = Name {_author = "elm"
,_project = "random"}
,_module = Name {_name = "Random"}})
(Name {_name = "Generator"})
[TVar (Name {_name = "msg"})]]]
,_u_numAlts = 1
,_u_opts = Unbox}))
,(Name {_name = "Seed"}
,ClosedUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "Seed"})
(ZeroBased 0)
2 [TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]
,TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]]]
,_u_numAlts = 1
,_u_opts = Normal}))]
,_aliases = fromList []
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}}
,Interface {_types = fromList [(Name {_name = "contains"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Regex"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))))
,(Name {_name = "find"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Regex"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TAlias (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Match"})
[]
(Filled (TRecord (fromList [(Name {_name = "index"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "match"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))
,(Name {_name = "number"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "submatches"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]]]))])
Nothing))]))))
,(Name {_name = "findAtMost"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Regex"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TAlias (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Match"})
[]
(Filled (TRecord (fromList [(Name {_name = "index"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "match"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))
,(Name {_name = "number"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "submatches"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]]]))])
Nothing))])))))
,(Name {_name = "fromString"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Regex"})
[]])))
,(Name {_name = "fromStringWith"}
,Forall (fromList [])
(TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Options"})
[]
(Filled (TRecord (fromList [(Name {_name = "caseInsensitive"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))
,(Name {_name = "multiline"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))])
Nothing)))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Regex"})
[]]))))
,(Name {_name = "never"}
,Forall (fromList [])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Regex"})
[]))
,(Name {_name = "replace"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Regex"})
[])
(TLambda (TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Match"})
[]
(Filled (TRecord (fromList [(Name {_name = "index"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "match"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))
,(Name {_name = "number"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "submatches"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]]]))])
Nothing)))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])))))
,(Name {_name = "replaceAtMost"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Regex"})
[])
(TLambda (TLambda (TAlias (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Match"})
[]
(Filled (TRecord (fromList [(Name {_name = "index"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "match"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))
,(Name {_name = "number"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "submatches"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]]]))])
Nothing)))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))))))
,(Name {_name = "split"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Regex"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]]))))
,(Name {_name = "splitAtMost"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "regex"}
,_module = Name {_name = "Regex"}})
(Name {_name = "Regex"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]])))))]
,_unions = fromList [(Name {_name = "Regex"}
,ClosedUnion (Union {_u_vars = []
,_u_alts = [Ctor (Name {_name = "Regex"})
(ZeroBased 0)
0 []]
,_u_numAlts = 1
,_u_opts = Enum}))]
,_aliases = fromList [(Name {_name = "Match"}
,PublicAlias (Alias []
(TRecord (fromList [(Name {_name = "index"}
,FieldType 1 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "match"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]))
,(Name {_name = "number"}
,FieldType 2 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "submatches"}
,FieldType 3 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Maybe"}})
(Name {_name = "Maybe"})
[TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "String"}})
(Name {_name = "String"})
[]]]))])
Nothing)))
,(Name {_name = "Options"}
,PublicAlias (Alias []
(TRecord (fromList [(Name {_name = "caseInsensitive"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))
,(Name {_name = "multiline"}
,FieldType 1 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Bool"})
[]))])
Nothing)))]
,_binops = fromList []})
,(Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}}
,Interface {_types = fromList [(Name {_name = "customZone"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "List"}})
(Name {_name = "List"})
[TRecord (fromList [(Name {_name = "offset"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))
,(Name {_name = "start"}
,FieldType 0 (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))])
Nothing])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}})
(Name {_name = "Zone"})
[]))))
,(Name {_name = "every"}
,Forall (fromList [(Name {_name = "msg"}
,())])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Float"})
[])
(TLambda (TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}})
(Name {_name = "Posix"})
[])
(TVar (Name {_name = "msg"})))
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform.Sub"}})
(Name {_name = "Sub"})
[TVar (Name {_name = "msg"})]))))
,(Name {_name = "getZoneName"}
,Forall (fromList [(Name {_name = "x"}
,())])
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}})
(Name {_name = "ZoneName"})
[])]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}})
(Name {_name = "ZoneName"})
[]]))))
,(Name {_name = "here"}
,Forall (fromList [(Name {_name = "x"}
,())])
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}})
(Name {_name = "Zone"})
[])]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}})
(Name {_name = "Zone"})
[]]))))
,(Name {_name = "millisToPosix"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}})
(Name {_name = "Posix"})
[])))
,(Name {_name = "now"}
,Forall (fromList [(Name {_name = "x"}
,())])
(TAlias (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Task"}})
(Name {_name = "Task"})
[(Name {_name = "x"}
,TVar (Name {_name = "x"}))
,(Name {_name = "a"}
,TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}})
(Name {_name = "Posix"})
[])]
(Filled (TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Platform"}})
(Name {_name = "Task"})
[TVar (Name {_name = "x"})
,TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}})
(Name {_name = "Posix"})
[]]))))
,(Name {_name = "posixToMillis"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}})
(Name {_name = "Posix"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[])))
,(Name {_name = "toDay"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}})
(Name {_name = "Zone"})
[])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = "Time"}})
(Name {_name = "Posix"})
[])
(TType (Canonical {_package = Name {_author = "elm"
,_project = "core"}
,_module = Name {_name = "Basics"}})
(Name {_name = "Int"})
[]))))
,(Name {_name = "toHour"}
,Forall (fromList [])
(TLambda (TType (Canonical {_package = Name {_author = "elm"
,_project = "time"}
,_module = Name {_name = ...
(ZeroBased 5)
0 []
,Ctor (Name {_name = "Invalid"})
(ZeroBased 6)
1 [TType (Canonical {_package = Name {_author = "elm-explorations"
,_project = "test"}
,_module = Name {_name = "Test.Runner.Failure"}})
(Name {_name = "InvalidReason"})
[]]]
,_u_numAlts = 7
,_u_opts = Normal}))]
,_aliases = fromList []
,_binops = fromList []})]
,_depsGraph = fromList [(Name {_author = "elm",_project = "core"}
,(Version {_major = 1,_minor = 0,_patch = 2},[]))
,(Name {_author = "elm",_project = "html"}
,(Version {_major = 1,_minor = 0,_patch = 0}
,[Name {_author = "elm",_project = "core"}
,Name {_author = "elm",_project = "json"}
,Name {_author = "elm"
,_project = "virtual-dom"}]))
,(Name {_author = "elm",_project = "json"}
,(Version {_major = 1,_minor = 1,_patch = 2}
,[Name {_author = "elm",_project = "core"}]))
,(Name {_author = "elm",_project = "random"}
,(Version {_major = 1,_minor = 0,_patch = 0}
,[Name {_author = "elm",_project = "core"}
,Name {_author = "elm",_project = "time"}]))
,(Name {_author = "elm",_project = "regex"}
,(Version {_major = 1,_minor = 0,_patch = 0}
,[Name {_author = "elm",_project = "core"}]))
,(Name {_author = "elm",_project = "time"}
,(Version {_major = 1,_minor = 0,_patch = 0}
,[Name {_author = "elm",_project = "core"}]))
,(Name {_author = "elm",_project = "virtual-dom"}
,(Version {_major = 1,_minor = 0,_patch = 2}
,[Name {_author = "elm",_project = "core"}
,Name {_author = "elm",_project = "json"}]))
,(Name {_author = "elm-explorations"
,_project = "test"}
,(Version {_major = 1,_minor = 2,_patch = 0}
,[Name {_author = "elm",_project = "core"}
,Name {_author = "elm",_project = "html"}
,Name {_author = "elm",_project = "json"}
,Name {_author = "elm",_project = "random"}
,Name {_author = "elm"
,_project = "virtual-dom"}]))]}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment