Compare commits
No commits in common. "c7a3fe804b7e55e47d23c4814ef72121be0e495e" and "26ca6600d735dfe0339ec10b88f6815b934037c2" have entirely different histories.
c7a3fe804b
...
26ca6600d7
|
|
@ -1,7 +1,7 @@
|
||||||
module Internal.Tools.Hashdict exposing
|
module Internal.Tools.Hashdict exposing
|
||||||
( Hashdict
|
( Hashdict
|
||||||
, empty, singleton, insert, remove, removeKey
|
, empty, singleton, insert, remove, removeKey
|
||||||
, isEmpty, member, memberKey, get, size, isEqual
|
, isEmpty, member, memberKey, get, size
|
||||||
, keys, values, toList, fromList
|
, keys, values, toList, fromList
|
||||||
, rehash, union
|
, rehash, union
|
||||||
, encode, decoder, softDecoder
|
, encode, decoder, softDecoder
|
||||||
|
|
@ -25,7 +25,7 @@ This allows you to store values based on an externally defined identifier.
|
||||||
|
|
||||||
## Query
|
## Query
|
||||||
|
|
||||||
@docs isEmpty, member, memberKey, get, size, isEqual
|
@docs isEmpty, member, memberKey, get, size
|
||||||
|
|
||||||
|
|
||||||
## Lists
|
## Lists
|
||||||
|
|
@ -151,14 +151,6 @@ insert v (Hashdict h) =
|
||||||
Hashdict { h | values = Dict.insert (h.hash v) v h.values }
|
Hashdict { h | values = Dict.insert (h.hash v) v h.values }
|
||||||
|
|
||||||
|
|
||||||
{-| Since the Hashdict contains a hash function, the == operator does not work
|
|
||||||
simply. Instead, you should use the isEqual operator.
|
|
||||||
-}
|
|
||||||
isEqual : Hashdict a -> Hashdict a -> Bool
|
|
||||||
isEqual h1 h2 =
|
|
||||||
toList h1 == toList h2
|
|
||||||
|
|
||||||
|
|
||||||
{-| Determine if a hashdict is empty.
|
{-| Determine if a hashdict is empty.
|
||||||
-}
|
-}
|
||||||
isEmpty : Hashdict a -> Bool
|
isEmpty : Hashdict a -> Bool
|
||||||
|
|
|
||||||
|
|
@ -1,174 +1,38 @@
|
||||||
module Test.Tools.Hashdict exposing (..)
|
module Test.Tools.Hashdict exposing (..)
|
||||||
|
|
||||||
import Expect
|
import Test exposing (..)
|
||||||
import Fuzz exposing (Fuzzer)
|
import Fuzz exposing (Fuzzer)
|
||||||
import Internal.Tools.Hashdict as Hashdict exposing (Hashdict)
|
import Internal.Tools.Hashdict as Hashdict exposing (Hashdict)
|
||||||
import Internal.Values.Event as Event
|
|
||||||
import Json.Decode as D
|
|
||||||
import Json.Encode as E
|
|
||||||
import Test exposing (..)
|
|
||||||
import Test.Values.Event as TestEvent
|
import Test.Values.Event as TestEvent
|
||||||
|
import Internal.Values.Event as Event
|
||||||
|
import Json.Encode as E
|
||||||
|
import Json.Decode as D
|
||||||
|
import Expect
|
||||||
|
|
||||||
fuzzer : (a -> String) -> Fuzzer a -> Fuzzer (Hashdict a)
|
fuzzer : (a -> String) -> Fuzzer a -> Fuzzer (Hashdict a)
|
||||||
fuzzer toHash fuz =
|
fuzzer toHash fuz =
|
||||||
Fuzz.map (Hashdict.fromList toHash) (Fuzz.list fuz)
|
Fuzz.map (Hashdict.fromList toHash) (Fuzz.list fuz)
|
||||||
|
|
||||||
|
|
||||||
eventFuzzer : Fuzzer (Hashdict Event.Event)
|
|
||||||
eventFuzzer =
|
|
||||||
fuzzer .eventId TestEvent.fuzzer
|
|
||||||
|
|
||||||
|
|
||||||
suite : Test
|
suite : Test
|
||||||
suite =
|
suite =
|
||||||
describe "Hashdict"
|
describe "Hashdict"
|
||||||
[ describe "empty"
|
[ describe "init"
|
||||||
[ test "empty isEmpty"
|
[ test "init isEmpty"
|
||||||
(Hashdict.empty identity
|
( Hashdict.empty identity
|
||||||
|> Hashdict.isEmpty
|
|> Hashdict.isEmpty
|
||||||
|> Expect.equal True
|
|> Expect.equal True
|
||||||
|> always
|
|> always
|
||||||
)
|
)
|
||||||
, fuzz TestEvent.fuzzer
|
|
||||||
"Nothing is member"
|
|
||||||
(\event ->
|
|
||||||
Hashdict.empty .eventId
|
|
||||||
|> Hashdict.member event
|
|
||||||
|> Expect.equal False
|
|
||||||
)
|
|
||||||
, fuzz Fuzz.string
|
|
||||||
"No key is member"
|
|
||||||
(\key ->
|
|
||||||
Hashdict.empty identity
|
|
||||||
|> Hashdict.memberKey key
|
|
||||||
|> Expect.equal False
|
|
||||||
)
|
|
||||||
, fuzz Fuzz.string
|
|
||||||
"Get gets Nothing"
|
|
||||||
(\key ->
|
|
||||||
Hashdict.empty identity
|
|
||||||
|> Hashdict.get key
|
|
||||||
|> Expect.equal Nothing
|
|
||||||
)
|
|
||||||
, test "Size is zero"
|
|
||||||
(Hashdict.empty identity
|
|
||||||
|> Hashdict.size
|
|
||||||
|> Expect.equal 0
|
|
||||||
|> always
|
|
||||||
)
|
|
||||||
, test "No keys"
|
|
||||||
(Hashdict.empty identity
|
|
||||||
|> Hashdict.keys
|
|
||||||
|> Expect.equal []
|
|
||||||
|> always
|
|
||||||
)
|
|
||||||
, test "No values"
|
|
||||||
(Hashdict.empty identity
|
|
||||||
|> Hashdict.values
|
|
||||||
|> Expect.equal []
|
|
||||||
|> always
|
|
||||||
)
|
|
||||||
, test "To list is []"
|
|
||||||
(Hashdict.empty identity
|
|
||||||
|> Hashdict.toList
|
|
||||||
|> Expect.equal []
|
|
||||||
|> always
|
|
||||||
)
|
|
||||||
, test "From list is empty"
|
|
||||||
([]
|
|
||||||
|> Hashdict.fromList (\x -> x)
|
|
||||||
|> Hashdict.isEqual (Hashdict.empty identity)
|
|
||||||
|> Expect.equal True
|
|
||||||
|> always
|
|
||||||
)
|
|
||||||
, test "Empty + empty == empty"
|
|
||||||
(Hashdict.empty identity
|
|
||||||
|> Hashdict.union (Hashdict.empty String.toUpper)
|
|
||||||
|> Hashdict.isEqual (Hashdict.empty String.toLower)
|
|
||||||
|> Expect.equal True
|
|
||||||
|> always
|
|
||||||
)
|
|
||||||
, fuzz (Fuzz.intRange 0 10)
|
|
||||||
"JSON encode -> JSON decode"
|
|
||||||
(\indent ->
|
|
||||||
Hashdict.empty identity
|
|
||||||
|> Hashdict.encode E.string
|
|
||||||
|> E.encode indent
|
|
||||||
|> D.decodeString (Hashdict.decoder identity D.string)
|
|
||||||
|> Result.map (Hashdict.isEqual (Hashdict.empty String.toUpper))
|
|
||||||
|> Expect.equal (Ok True)
|
|
||||||
)
|
|
||||||
]
|
|
||||||
, describe "singleton"
|
|
||||||
[ fuzz TestEvent.fuzzer
|
|
||||||
"singletong = empty + insert"
|
|
||||||
(\event ->
|
|
||||||
Hashdict.empty .eventId
|
|
||||||
|> Hashdict.insert event
|
|
||||||
|> Hashdict.isEqual (Hashdict.singleton .eventId event)
|
|
||||||
|> Expect.equal True
|
|
||||||
)
|
|
||||||
, fuzz TestEvent.fuzzer
|
|
||||||
"Singleton - event = empty"
|
|
||||||
(\event ->
|
|
||||||
Hashdict.singleton .eventId event
|
|
||||||
|> Hashdict.remove event
|
|
||||||
|> Hashdict.isEqual (Hashdict.empty .sender)
|
|
||||||
|> Expect.equal True
|
|
||||||
)
|
|
||||||
, fuzz TestEvent.fuzzer
|
|
||||||
"Singletong - event (key) = empty"
|
|
||||||
(\event ->
|
|
||||||
Hashdict.singleton .eventId event
|
|
||||||
|> Hashdict.removeKey event.eventId
|
|
||||||
|> Hashdict.isEqual (Hashdict.empty .sender)
|
|
||||||
|> Expect.equal True
|
|
||||||
)
|
|
||||||
, fuzz TestEvent.fuzzer
|
|
||||||
"not isEmpty"
|
|
||||||
(\event ->
|
|
||||||
Hashdict.singleton .eventId event
|
|
||||||
|> Hashdict.isEmpty
|
|
||||||
|> Expect.equal False
|
|
||||||
)
|
|
||||||
, fuzz TestEvent.fuzzer
|
|
||||||
"member"
|
|
||||||
(\event ->
|
|
||||||
Hashdict.singleton .eventId event
|
|
||||||
|> Hashdict.member event
|
|
||||||
|> Expect.equal True
|
|
||||||
)
|
|
||||||
, fuzz TestEvent.fuzzer
|
|
||||||
"memberKey"
|
|
||||||
(\event ->
|
|
||||||
Hashdict.singleton .eventId event
|
|
||||||
|> Hashdict.memberKey event.eventId
|
|
||||||
|> Expect.equal True
|
|
||||||
)
|
|
||||||
, fuzz TestEvent.fuzzer
|
|
||||||
"False memberKey"
|
|
||||||
(\event ->
|
|
||||||
if event.eventId == event.roomId then
|
|
||||||
Expect.pass
|
|
||||||
|
|
||||||
else
|
|
||||||
Hashdict.singleton .eventId event
|
|
||||||
|> Hashdict.memberKey event.roomId
|
|
||||||
|> Expect.equal False
|
|
||||||
)
|
|
||||||
]
|
]
|
||||||
, describe "JSON"
|
, describe "JSON"
|
||||||
[ fuzz2 eventFuzzer
|
[ fuzz2 (fuzzer .eventId TestEvent.fuzzer) (Fuzz.intRange 0 10) "JSON encode -> JSON decode"
|
||||||
(Fuzz.intRange 0 10)
|
|
||||||
"JSON encode -> JSON decode"
|
|
||||||
(\hashdict indent ->
|
(\hashdict indent ->
|
||||||
hashdict
|
hashdict
|
||||||
|> Hashdict.encode Event.encode
|
|> Hashdict.encode Event.encode
|
||||||
|> E.encode indent
|
|> E.encode indent
|
||||||
|> D.decodeString (Hashdict.decoder .eventId Event.decoder)
|
|> D.decodeString (Hashdict.decoder .eventId Event.decoder)
|
||||||
|> Result.map Hashdict.toList
|
|> Result.map Hashdict.toList
|
||||||
|> Expect.equal (Ok <| Hashdict.toList hashdict)
|
|> Expect.equal ( Ok <| Hashdict.toList hashdict )
|
||||||
)
|
)
|
||||||
]
|
]
|
||||||
]
|
]
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue