| /dports/lang/ghc/ghc-8.10.7/libraries/base/GHC/ |
| H A D | TypeLits.hs | 40 , KnownSymbol, symbolVal, symbolVal'
88 symbolVal :: forall n proxy. KnownSymbol n => proxy n -> String
89 symbolVal _ = case symbolSing :: SSymbol n of function
125 SomeSymbol x == SomeSymbol y = symbolVal x == symbolVal y
129 compare (SomeSymbol x) (SomeSymbol y) = compare (symbolVal x) (symbolVal y)
133 showsPrec p (SomeSymbol x) = showsPrec p (symbolVal x)
208 | symbolVal x == symbolVal y = Just (unsafeCoerce Refl) function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc80/ |
| H A D | overloadedlabelsrun03.hs | 15 import GHC.TypeLits ( KnownSymbol, symbolVal )
18 fromLabel _ = symbolVal (Proxy :: Proxy x)
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/mlir/lib/Interfaces/ |
| H A D | CallInterfaces.cpp | 24 if (auto symbolVal = callable.dyn_cast<Value>()) in resolveCallable() local
25 return symbolVal.getDefiningOp(); in resolveCallable()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/mlir/lib/Interfaces/ |
| H A D | CallInterfaces.cpp | 24 if (auto symbolVal = callable.dyn_cast<Value>()) in resolveCallable() local
25 return symbolVal.getDefiningOp(); in resolveCallable()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/mlir/lib/Interfaces/ |
| H A D | CallInterfaces.cpp | 24 if (auto symbolVal = callable.dyn_cast<Value>()) in resolveCallable() local
25 return symbolVal.getDefiningOp(); in resolveCallable()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/mlir/lib/Interfaces/ |
| H A D | CallInterfaces.cpp | 24 if (auto symbolVal = callable.dyn_cast<Value>()) in resolveCallable() local
25 return symbolVal.getDefiningOp(); in resolveCallable()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/mlir/lib/Interfaces/ |
| H A D | CallInterfaces.cpp | 24 if (auto symbolVal = callable.dyn_cast<Value>()) in resolveCallable() local
25 return symbolVal.getDefiningOp(); in resolveCallable()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/mlir/lib/Interfaces/ |
| H A D | CallInterfaces.cpp | 24 if (auto symbolVal = callable.dyn_cast<Value>()) in resolveCallable() local
25 return symbolVal.getDefiningOp(); in resolveCallable()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/mlir/lib/Interfaces/ |
| H A D | CallInterfaces.cpp | 24 if (auto symbolVal = callable.dyn_cast<Value>()) in resolveCallable() local
25 return symbolVal.getDefiningOp(); in resolveCallable()
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/constraints-0.12/src/Data/Constraint/ |
| H A D | Symbol.hs | 54 …unsafeCoerce (Magic Dict) (fromIntegral (natVal (Proxy :: Proxy n)) `f` symbolVal (Proxy :: Proxy …
57 magicSSS f = Sub $ unsafeCoerce (Magic Dict) (symbolVal (Proxy :: Proxy n) `f` symbolVal (Proxy :: …
60 magicSN f = Sub $ unsafeCoerce (Magic Dict) (toInteger (f (symbolVal (Proxy :: Proxy a))))
|
| /dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/constraints-0.12/src/Data/Constraint/ |
| H A D | Symbol.hs | 54 …unsafeCoerce (Magic Dict) (fromIntegral (natVal (Proxy :: Proxy n)) `f` symbolVal (Proxy :: Proxy …
57 magicSSS f = Sub $ unsafeCoerce (Magic Dict) (symbolVal (Proxy :: Proxy n) `f` symbolVal (Proxy :: …
60 magicSN f = Sub $ unsafeCoerce (Magic Dict) (toInteger (f (symbolVal (Proxy :: Proxy a))))
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/constraints-0.13/src/Data/Constraint/ |
| H A D | Symbol.hs | 63 …unsafeCoerce (Magic Dict) (fromIntegral (natVal (Proxy :: Proxy n)) `f` symbolVal (Proxy :: Proxy …
66 magicSSS f = Sub $ unsafeCoerce (Magic Dict) (symbolVal (Proxy :: Proxy n) `f` symbolVal (Proxy :: …
69 magicSN f = Sub $ unsafeCoerce (Magic Dict) (toInteger (f (symbolVal (Proxy :: Proxy a))))
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/constraints-0.13/src/Data/Constraint/ |
| H A D | Symbol.hs | 63 …unsafeCoerce (Magic Dict) (fromIntegral (natVal (Proxy :: Proxy n)) `f` symbolVal (Proxy :: Proxy …
66 magicSSS f = Sub $ unsafeCoerce (Magic Dict) (symbolVal (Proxy :: Proxy n) `f` symbolVal (Proxy :: …
69 magicSN f = Sub $ unsafeCoerce (Magic Dict) (toInteger (f (symbolVal (Proxy :: Proxy a))))
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/generics-sop-0.5.1.1/src/Generics/SOP/Type/ |
| H A D | Metadata.hs | 195 demoteConstructorInfo _ = M.Constructor (symbolVal (Proxy :: Proxy s))
208 M.Record (symbolVal (Proxy :: Proxy s)) (demoteFieldInfos (Proxy :: Proxy fs))
287 demoteFieldInfo _ = M.FieldInfo (symbolVal (Proxy :: Proxy s))
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-haddock-comments-plugin/test/testdata/ |
| H A D | KindSigFunction.hs | 11 f = symbolVal
|
| H A D | KindSigFunction.expected.hs | 12 f = symbolVal
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-haddock-comments-plugin/test/testdata/ |
| H A D | KindSigFunction.expected.hs | 12 f = symbolVal
|
| H A D | KindSigFunction.hs | 11 f = symbolVal
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/parameterized-utils-2.1.3.0/test/Test/ |
| H A D | SymbolRepr.hs | 31 "Dove" @=? viewSomeSym symbolVal (head (tail syms))
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/dhall-1.38.1/src/Dhall/ |
| H A D | Deriving.hs | 83 import GHC.TypeLits (KnownSymbol, Symbol, symbolVal)
152 textFunction = dropPrefix (Text.pack (symbolVal @s Proxy))
|
| /dports/lang/sdcc/sdcc-4.0.0/src/ |
| H A D | SDCC.y | 153 : identifier { $$ = newAst_VALUE (symbolVal ($1)); }
188 $$ = newNode(PTR_OP,newNode('&',$1,NULL),newAst_VALUE(symbolVal($4)));
195 $$ = newNode(PTR_OP,$1,newAst_VALUE(symbolVal($4)));
1435 $$ = symbolVal ($2);
1886 $$ = newAst_VALUE(symbolVal($2));
1897 $$ = newAst_VALUE(symbolVal(STACK_PEEK(continueStack)));
1908 $$ = newAst_VALUE(symbolVal(STACK_PEEK(breakStack)));
2157 : identifier { $$ = newAst_VALUE (symbolVal ($1)); }
2163 $$ = newNode ('.', $1, newAst_VALUE (symbolVal ($4)));
|
| H A D | SDCCast.c | 394 *treeptr = newAst_VALUE (symbolVal (sym)); in replaceAstWithTemporary()
1512 ast *newAst = newAst_VALUE (symbolVal (sym)); in initAggregates()
1670 return symbolVal (sym); in stringToSymbol()
1705 return symbolVal (sym); in stringToSymbol()
2365 body->left = newAst_VALUE (symbolVal (sym)); in replLoopSym()
2393 createIf (newAst_VALUE (symbolVal (sym)), in reverseLoop()
2403 newAst_VALUE (symbolVal (sym)), in reverseLoop()
3689 AST_VALUE (tree) = symbolVal (sym); in decorateType()
4841 newTree->left = newAst_VALUE (symbolVal (sym)); in decorateType()
7384 … assigntree = newNode ('=', newAst_VALUE (symbolVal (parm)), newAst_VALUE (symbolVal (temparg))); in expandInlineFuncs()
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/parameterized-utils-2.1.3.0/src/Data/Parameterized/ |
| H A D | SymbolRepr.hs | 69 go p = SymbolRepr $! packSymbol (GHC.symbolVal p)
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/protolude-0.3.0/src/Protolude/ |
| H A D | Base.hs | 196 , symbolVal
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/protolude-0.3.0/src/Protolude/ |
| H A D | Base.hs | 196 , symbolVal
|