Safe Haskell	Safe-Inferred
Language	Haskell2010

System.FS.Sim.Stream

Contents

Streams
Running
Construction
Modify
Query
Generation and shrinking

Description

Finite and infinite streams of Maybe as.

Synopsis

data Stream a = UnsafeStream {
- unsafeStreamInternalInfo :: InternalInfo
- unsafeStreamList :: [Maybe a]
}
data InternalInfo
- = Infinite
- | Finite
runStream :: Stream a -> (Maybe a, Stream a)
runStreamN :: Int -> Stream a -> ([Maybe a], Stream a)
runStreamIndefinitely :: Stream a -> [Maybe a]
always :: a -> Stream a
empty :: Stream a
repeating :: [Maybe a] -> Stream a
unsafeMkInfinite :: [Maybe a] -> Stream a
unsafeMkFinite :: [Maybe a] -> Stream a
filter :: (Maybe a -> Bool) -> Stream a -> Stream a
null :: Stream a -> Bool
isFinite :: Stream a -> Bool
isInfinite :: Stream a -> Bool
genFinite :: Gen (Maybe a) -> Gen (Stream a)
genFiniteN :: Int -> Gen (Maybe a) -> Gen (Stream a)
genInfinite :: Gen (Maybe a) -> Gen (Stream a)
genMaybe :: Int -> Int -> Gen a -> Gen (Maybe a)
shrinkStream :: Stream a -> [Stream a]
liftShrinkStream :: (Maybe a -> [Maybe a]) -> Stream a -> [Stream a]

Streams

data Stream a Source #

A stream of Maybe as that can be infinite.

Constructors

UnsafeStream

UNSAFE: when constructing, modifying, or accessing the internals of a Stream, it is the responsibility of the user to preserve the following invariant:

INVARIANT: if the stream is marked as Infinite, then the internal list should be infinite. If the stream is marked as Finite, then the internal list should finite.

If the internal list is infinite but marked as Finite, then shrink or show on the corresponding stream will diverge.
If the internal list is finite but marked as Infinite, then shrink on the corresponding stream will degrade to an infinite list of empty streams.

Fields

unsafeStreamInternalInfo :: InternalInfo
UNSAFE: see UnsafeStream for more information.
Info about the finiteness of the stream. It is used for shrinking and the Show instance.
unsafeStreamList :: [Maybe a]
UNSAFE: see UnsafeStream for more information.
The internal list underlying the stream.

Instances

Instances details

Functor Stream Source #
Instance details Defined in System.FS.Sim.Stream Methods fmap :: (a -> b) -> Stream a -> Stream b # (<$) :: a -> Stream b -> Stream a #
Show a => Show (Stream a) Source #	Fully shows a `Stream` if it is finite, or prints a placeholder string if it is infinite.
Instance details Defined in System.FS.Sim.Stream Methods showsPrec :: Int -> Stream a -> ShowS # show :: Stream a -> String # showList :: [Stream a] -> ShowS #

data InternalInfo Source #

Tag for Streams that describes whether it is finite or infinite.

Useful for the Show instance of Stream: when a Stream is finite, we can safely print the full stream.

Constructors

Infinite
Finite

Running

runStream :: Stream a -> (Maybe a, Stream a) Source #

$ O(1) $: advance the Stream. Return the Maybe a and the remaining Stream.

Returns Nothing by default if the Stream is empty.

runStreamN :: Int -> Stream a -> ([Maybe a], Stream a) Source #

$ O(n) $: like runStream, but advancing the stream n times.

If n<=0, then the stream is advanced 0 times.

runStreamIndefinitely :: Stream a -> [Maybe a] Source #

$ O(\infty) $: like runStream, but advancing the stream indefinitely.

For infinite streams, this produces an infinite list. For finite streams, this produces a finite list.

Construction

always :: a -> Stream a Source #

Make a Stream that always generates the given a.

empty :: Stream a Source #

Make an empty Stream.

repeating :: [Maybe a] -> Stream a Source #

Make a Stream that infinitely repeats the given list.

unsafeMkInfinite :: [Maybe a] -> Stream a Source #

UNSAFE: Make a Stream that is marked as infinite. It is the user's responsibility to only pass in infinite lists. See UnsafeStream for more information.

unsafeMkFinite :: [Maybe a] -> Stream a Source #

UNSAFE: Make a Stream that is marked as finite. It is the user's responsibility to only pass in finite lists. See UnsafeStream for more information.

Modify

filter :: (Maybe a -> Bool) -> Stream a -> Stream a Source #

Filter a Stream, preserving finiteness.

Query

null :: Stream a -> Bool Source #

Check that the stream is empty.

In general, a stream is only empty if the stream is equivalent to empty.

A finite/infinite stream consisting of only Nothings is not considered to be empty. In particular, null (always Nothing) /= True.

isFinite :: Stream a -> Bool Source #

Check that the stream is finite

isInfinite :: Stream a -> Bool Source #

Check that the stream is infinite

Generation and shrinking

genFinite :: Gen (Maybe a) -> Gen (Stream a) Source #

Generate a sized, finite Stream.

genFiniteN Source #

Arguments

:: Int	Requested size of finite stream.
-> Gen (Maybe a)
-> Gen (Stream a)

Generate a finite Stream of length n.

genInfinite :: Gen (Maybe a) -> Gen (Stream a) Source #

Generate an infinite Stream.

genMaybe Source #

Arguments

:: Int	Likelihood of `Nothing`
-> Int	Likelihood of `Just a`
-> Gen a
-> Gen (Maybe a)

Make a Maybe a generator based on an a generator.

Each element has a chance of being either Nothing or an element generated with the given a generator (wrapped in a Just). These likelihoods are passed to frequency.

shrinkStream :: Stream a -> [Stream a] Source #

Shrink a stream like it is an InfiniteList.

Infinite streams are shrunk differently than lists that are finite, which is to ensure that we shrink infinite lists towards finite lists.

Infinite streams are shrunk by taking finite prefixes of the argument stream. Note that there are an infinite number of finite prefixes, so even though the *shrink list* is infinite, the individual *list elements* are finite.
Finite streams are shrunk like lists are shrunk normally, preserving finiteness.

liftShrinkStream :: (Maybe a -> [Maybe a]) -> Stream a -> [Stream a] Source #

Like shrinkStream, but with a custom shrinker for elements of the stream.