dunai-test-0.14.1: Testing library for Dunai

Index

AlwaysFRP.Dunai.LTLFuture
AndFRP.Dunai.LTLFuture
andSFFRP.Dunai.LTLPast
DistConstantFRP.Dunai.QuickCheck
DistNormalFRP.Dunai.QuickCheck
DistRandomFRP.Dunai.QuickCheck
DistributionFRP.Dunai.QuickCheck
DTimeFRP.Dunai.Stream
evalMSFFRP.Dunai.Stream
evalSFFRP.Dunai.Stream
evalTFRP.Dunai.LTLFuture
EventuallyFRP.Dunai.LTLFuture
everSFFRP.Dunai.LTLPast
firstSampleFRP.Dunai.Stream
fixedDelayStreamFRP.Dunai.QuickCheck
fixedDelayStreamWithFRP.Dunai.QuickCheck
generateStreamFRP.Dunai.QuickCheck
generateStreamWithFRP.Dunai.QuickCheck
groupDeltasFRP.Dunai.Stream
ImpliesFRP.Dunai.LTLFuture
impliesSFFRP.Dunai.LTLPast
lastSampleFRP.Dunai.Stream
lastSFFRP.Dunai.LTLPast
LengthFRP.Dunai.QuickCheck
NextFRP.Dunai.LTLFuture
NotFRP.Dunai.LTLFuture
notSFFRP.Dunai.LTLPast
OrFRP.Dunai.LTLFuture
orSFFRP.Dunai.LTLPast
PropFRP.Dunai.LTLFuture
RangeFRP.Dunai.QuickCheck
refineWithFRP.Dunai.Stream
samplesFRP.Dunai.Stream
SampleStreamFRP.Dunai.Stream
sClipAfterFrameFRP.Dunai.Stream
sClipAfterTimeFRP.Dunai.Stream
sClipBeforeFrameFRP.Dunai.Stream
sClipBeforeTimeFRP.Dunai.Stream
sConcatFRP.Dunai.Stream
SignalSampleStreamFRP.Dunai.Stream
sMergeFRP.Dunai.Stream
sofarSFFRP.Dunai.LTLPast
SPredFRP.Dunai.LTLPast
sRefineFRP.Dunai.Stream
TPredFRP.Dunai.LTLFuture
tPredMapFRP.Dunai.LTLFuture
traceMSFFRP.Dunai.Debug
traceMSFWithFRP.Dunai.Debug
traceMSFWithIOFRP.Dunai.Debug
uniDistStreamFRP.Dunai.QuickCheck
uniDistStreamMaxDTFRP.Dunai.QuickCheck
UntilFRP.Dunai.LTLFuture
untilSFFRP.Dunai.LTLPast