| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/TypeChecker/ |
| H A D | Unify.hs | 109 unifyTypes t1 t2 = do function
114 unifyTypes' (TUnknown _ u) t = solveType u t function
115 unifyTypes' t (TUnknown _ u) = solveType u t function
129 unifyTypes' ty f@ForAll{} = f `unifyTypes` ty function
134 unifyTypes' (TypeApp _ t3 t4) (TypeApp _ t5 t6) = do function
137 unifyTypes' (KindApp _ t3 t4) (KindApp _ t5 t6) = do function
143 unifyTypes' r1@RCons{} r2 = unifyRows r1 r2 function
144 unifyTypes' r1 r2@RCons{} = unifyRows r1 r2 function
145 unifyTypes' r1@REmptyKinded{} r2 = unifyRows r1 r2 function
146 unifyTypes' r1 r2@REmptyKinded{} = unifyRows r1 r2 function
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/src/Control/Lens/Internal/ |
| H A D | FieldTH.hs | 567 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
568 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/lens-5.0.1/src/Control/Lens/Internal/ |
| H A D | FieldTH.hs | 567 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
568 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/lens-4.19.2/src/Control/Lens/Internal/ |
| H A D | FieldTH.hs | 525 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
526 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/lens-4.19.2/src/Control/Lens/Internal/ |
| H A D | FieldTH.hs | 525 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
526 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/lens-4.19.1/src/Control/Lens/Internal/ |
| H A D | FieldTH.hs | 525 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
526 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/microlens-th-0.4.3.10/src/Lens/Micro/ |
| H A D | TH.hs | 1186 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
1187 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/microlens-th-0.4.3.5/src/Lens/Micro/ |
| H A D | TH.hs | 1149 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
1150 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/microlens-th-0.4.3.10/src/Lens/Micro/ |
| H A D | TH.hs | 1186 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
1187 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/microlens-th-0.4.3.5/src/Lens/Micro/ |
| H A D | TH.hs | 1149 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
1150 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/microlens-th-0.4.3.5/src/Lens/Micro/ |
| H A D | TH.hs | 1149 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
1150 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/microlens-th-0.4.3.9/src/Lens/Micro/ |
| H A D | TH.hs | 1151 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
1152 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/microlens-th-0.4.3.9/src/Lens/Micro/ |
| H A D | TH.hs | 1151 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
1152 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/microlens-th-0.4.3.10/src/Lens/Micro/ |
| H A D | TH.hs | 1186 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
1187 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/microlens-th-0.4.3.10/src/Lens/Micro/ |
| H A D | TH.hs | 1186 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
1187 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/microlens-th-0.4.3.10/src/Lens/Micro/ |
| H A D | TH.hs | 1186 unifyTypes (x:xs) = foldM (uncurry unify1) (Map.empty, x) xs function
1187 unifyTypes [] = fail "unifyTypes: Bug: Unexpected empty list" function
|
| /dports/lang/polyml/polyml-5.8.2/mlsource/MLCompiler/ |
| H A D | TYPETREESIG.sml | 106 val unifyTypes: types * types -> matchResult option value
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 1890 unifyTypes [] = return Map.empty function
1891 unifyTypes (t:ts) = function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 1890 unifyTypes [] = return Map.empty function
1891 unifyTypes (t:ts) = function
|
| /dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 1890 unifyTypes [] = return Map.empty function
1891 unifyTypes (t:ts) = function
|
| /dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 1890 unifyTypes [] = return Map.empty function
1891 unifyTypes (t:ts) = function
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 1890 unifyTypes [] = return Map.empty function
1891 unifyTypes (t:ts) = function
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 1890 unifyTypes [] = return Map.empty function
1891 unifyTypes (t:ts) = function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 1890 unifyTypes [] = return Map.empty function
1891 unifyTypes (t:ts) = function
|
| /dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/th-abstraction-0.4.2.0/src/Language/Haskell/TH/ |
| H A D | Datatype.hs | 1890 unifyTypes [] = return Map.empty function
1891 unifyTypes (t:ts) = function
|