Home
last modified time | relevance | path

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

/dports/archivers/ppmd-7z/p7zip_9.04/CPP/7zip/Compress/
H A DImplodeDecoder.cpp158 UInt32 lengthSymbol = m_LengthDecoder.DecodeSymbol(&m_InBitStream); in CodeReal() local
159 if (lengthSymbol >= kLengthTableSize) in CodeReal()
161 UInt32 length = lengthSymbol + m_MinMatchLength; in CodeReal()
162 if (lengthSymbol == kLengthTableSize - 1) // special symbol = 63 in CodeReal()
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/constraints-0.12/src/Data/Constraint/
H A DSymbol.hs25 , lengthSymbol
88 lengthSymbol :: forall a. KnownSymbol a :- KnownNat (Length a)
89 lengthSymbol = magicSN length function
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/constraints-0.12/src/Data/Constraint/
H A DSymbol.hs25 , lengthSymbol
88 lengthSymbol :: forall a. KnownSymbol a :- KnownNat (Length a)
89 lengthSymbol = magicSN length function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/constraints-0.13/src/Data/Constraint/
H A DSymbol.hs27 , lengthSymbol
107 lengthSymbol :: forall a. KnownSymbol a :- KnownNat (Length a)
108 lengthSymbol = magicSN length function
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/constraints-0.13/src/Data/Constraint/
H A DSymbol.hs27 , lengthSymbol
107 lengthSymbol :: forall a. KnownSymbol a :- KnownNat (Length a)
108 lengthSymbol = magicSN length function