Home
last modified time | relevance | path

Searched refs:takeEmpty (Results 1 – 5 of 5) sorted by relevance

/dports/lang/nim/nim-1.6.2/tests/types/
H A Dtemptyseqs.nim36 proc takeEmpty(x: openArray[string] = []) = discard
37 takeEmpty()
38 takeEmpty([])
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/constraints-0.12/src/Data/Constraint/
H A DSymbol.hs28 , takeEmpty
97 takeEmpty :: forall n. Dict (Take n "" ~ "")
98 takeEmpty = axiom function
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/constraints-0.12/src/Data/Constraint/
H A DSymbol.hs28 , takeEmpty
97 takeEmpty :: forall n. Dict (Take n "" ~ "")
98 takeEmpty = axiom function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/constraints-0.13/src/Data/Constraint/
H A DSymbol.hs30 , takeEmpty
116 takeEmpty :: forall n. Dict (Take n "" ~ "")
117 takeEmpty = axiom function
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/constraints-0.13/src/Data/Constraint/
H A DSymbol.hs30 , takeEmpty
116 takeEmpty :: forall n. Dict (Take n "" ~ "")
117 takeEmpty = axiom function