Commit 83aac756 authored by Mike Ledger's avatar Mike Ledger

support continuation

parent 3bb8faea
......@@ -15,6 +15,7 @@ module Data.RadixTree
, CompressedRadixTree
-- * Construction
, fromFoldable
, fromFoldable0
, compressBy
-- * Parsing with radix trees
, RadixParsing (..)
......@@ -223,6 +224,11 @@ fromFoldable :: Foldable f => f (Text, a) -> RadixTree a
fromFoldable =
fromTrie . foldr' (\(t, a) -> insert t t a) (Trie (Skip M.empty))
-- | *Slow*
fromFoldable0 :: Foldable f => f Text -> RadixTree ()
fromFoldable0 =
fromTrie . foldr' (\t -> insert t t ()) (Trie (Skip M.empty))
makeStore ''RadixNode
makeStore ''RadixTree
......
# This file was automatically generated by 'stack init'
#
# Some commonly used options have been documented as comments in this file.
# For advanced use and comprehensive documentation of the format, please see:
# http://docs.haskellstack.org/en/stable/yaml_configuration/
# Resolver to choose a 'specific' stackage snapshot or a compiler version.
# A snapshot resolver dictates the compiler version and the set of packages
# to be used for project dependencies. For example:
#
# resolver: lts-3.5
# resolver: nightly-2015-09-21
# resolver: ghc-7.10.2
# resolver: ghcjs-0.1.0_ghc-7.10.2
# resolver:
# name: custom-snapshot
# location: "./custom-snapshot.yaml"
resolver: lts-11.0
# User packages to be built.
# Various formats can be used as shown in the example below.
#
# packages:
# - some-directory
# - https://example.com/foo/bar/baz-0.0.2.tar.gz
# - location:
# git: https://github.com/commercialhaskell/stack.git
# commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a
# - location: https://github.com/commercialhaskell/stack/commit/e7b331f14bcffb8367cd58fbfc8b40ec7642100a
# extra-dep: true
# subdirs:
# - auto-update
# - wai
#
# A package marked 'extra-dep: true' will only be built if demanded by a
# non-dependency (i.e. a user package), and its test suites and benchmarks
# will not be run. This is useful for tweaking upstream packages.
packages:
- '.'
# Dependency packages to be pulled from upstream that are not in the resolver
# (e.g., acme-missiles-0.3)
extra-deps: []
# Override default flag values for local packages and extra-deps
flags: {}
# Extra package databases containing global packages
extra-package-dbs: []
# Control whether we use the GHC we find on the path
# system-ghc: true
#
# Require a specific version of stack, using version ranges
# require-stack-version: -any # Default
# require-stack-version: ">=1.2"
#
# Override the architecture used by stack, especially useful on Windows
# arch: i386
# arch: x86_64
#
# Extra directories used by stack for building
# extra-include-dirs: [/path/to/dir]
# extra-lib-dirs: [/path/to/dir]
#
# Allow a newer minor version of GHC than the snapshot specifies
# compiler-check: newer-minor
packages: ['.']
......@@ -25,9 +25,9 @@ naiiveSameAsRadix doCompress =
forAll $ \(mkAlternatives -> alternatives) ->
let
rparse
| doCompress = R.parse $! R.fromFoldable alternatives
| otherwise = case R.compressBy (T.concat alternatives) (R.fromFoldable alternatives) of
Just crt -> R.parse $! crt
| doCompress = R.parse const $! R.fromFoldable0 alternatives
| otherwise = case R.compressBy (T.concat alternatives) (R.fromFoldable0 alternatives) of
Just crt -> R.parse const $! crt
Nothing -> error "could not compress radixtree!"
in forAll $ \(textS :: NonEmpty Char) ->
let text = T.pack (coerce textS)
......@@ -38,12 +38,12 @@ lookupSameishAsParse :: Property IO
lookupSameishAsParse =
forAll $ \alternatives ->
let
!rt = R.fromFoldable (mkAlternatives alternatives)
!p = R.parse rt <* endOfInput
!rt = R.fromFoldable0 (mkAlternatives alternatives)
!p = R.parse const rt <* endOfInput
in forAll $ \(textS :: NonEmpty Char) ->
let text = T.pack (coerce textS)
in case (parseOnly p text, R.lookup rt text) of
(Right x1, Just x2) -> x1 == x2
(Right x1, Just x2) -> x1 == fst x2
(Left _ , Nothing) -> True
_ -> False
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment