Safe Haskell	None
Language	Haskell2010

ADP.Fusion.QuickCheck.Point

Contents

Epsilon cases
Deletion cases
terminal cases
direct index tests
Strng tests
- Just the Strng terminal
- Together with a syntactic variable.
general quickcheck stuff

Synopsis

Epsilon cases

prop_Epsilon :: PointL -> Bool Source

prop_O_Epsilon :: Outside PointL -> Bool Source

prop_ZEpsilon :: (:.) Z PointL -> Bool Source

prop_O_ZEpsilon :: Outside ((:.) Z PointL) -> Bool Source

prop_O_ZEpsilonEpsilon :: Outside ((:.) ((:.) Z PointL) PointL) -> Bool Source

Deletion cases

prop_O_ItNC :: Outside PointL -> Bool Source

prop_O_ZItNC :: Outside ((:.) Z PointL) -> Bool Source

prop_O_2dimIt_NC_CN :: Outside ((:.) ((:.) Z PointL) PointL) -> Bool Source

prop_2dimIt_NC_CN :: (:.) ((:.) Z PointL) PointL -> Bool Source

terminal cases

prop_Tt :: (:.) Z PointL -> Bool Source

A single character terminal

prop_CC :: (:.) Z PointL -> Bool Source

Two single-character terminals

prop_It :: PointL -> Bool Source

Just a table

prop_O_It :: Outside PointL -> Bool Source

prop_ZIt :: (:.) Z PointL -> Bool Source

prop_O_ZIt :: Outside ((:.) Z PointL) -> Bool Source

prop_ItC :: PointL -> Bool Source

Table, then single terminal

prop_O_ItC :: Outside PointL -> Bool Source

A^*_j -> A^*_{j+1} c_{j+1) !

prop_O_ItCC :: Outside PointL -> Bool Source

prop_O_ZItCC :: Outside ((:.) Z PointL) -> Bool Source

prop_2dimItCC :: (:.) ((:.) Z PointL) PointL -> Bool Source

synvar followed by a 2-tape character terminal

prop_O_2dimItCC :: Outside ((:.) ((:.) Z PointL) PointL) -> Bool Source

direct index tests

xprop_O_ixZItCC :: Outside ((:.) Z PointL) -> [Elm ((:!:) ((:!:) ((:!:) S (ITbl Id Unboxed (Outside ((:.) Z PointL)) Int)) (TermSymbol M (Chr Int Int))) (TermSymbol M (Chr Int Int))) (Outside ((:.) Z PointL))] Source

`Strng` tests

Just the `Strng` terminal

prop_ManyS :: PointL -> Bool Source

prop_SomeS :: PointL -> Bool Source

prop_2dim_ManyS_ManyS :: (:.) ((:.) Z PointL) PointL -> Bool Source

prop_2dim_SomeS_SomeS :: (:.) ((:.) Z PointL) PointL -> Bool Source

Together with a syntactic variable.

prop_Itbl_ManyS :: PointL -> Bool Source

prop_Itbl_SomeS :: PointL -> Bool Source

prop_1dim_Itbl_ManyS :: (:.) Z PointL -> Bool Source

prop_1dim_Itbl_SomeS :: (:.) Z PointL -> Bool Source

prop_2dim_Itbl_ManyS_ManyS :: (:.) ((:.) Z PointL) PointL -> Bool Source

prop_2dim_Itbl_SomeS_SomeS :: (:.) ((:.) Z PointL) PointL -> Bool Source

(>>>) :: (RuleContext s, MkStream Id (Stack x) s, Build x) => (Elm (Stack x) s -> b) -> x -> s -> s -> Stream b infixl 8 Source

class GetIxs x i where Source

Associated Types

type R x i :: * Source

Methods

getIxs :: Elm x i -> R x i Source

Instances

GetIxs S i
GetIxs ls i => GetIxs ((:!:) ls (ITbl m a i x)) i
GetIxs ls i => GetIxs ((:!:) ls (Chr a b)) i

xsP :: Unboxed PointL Int Source

xsZP :: Unboxed (Z :. PointL) Int Source

xsPo :: Unboxed (Outside PointL) Int Source

xsZPo :: Unboxed (Outside (Z :. PointL)) Int Source

xsPP :: Unboxed ((Z :. PointL) :. PointL) Int Source

xsPPo :: Unboxed (Outside ((Z :. PointL) :. PointL)) Int Source

mxsPP :: MutArr IO (Unboxed ((:.) ((:.) Z PointL) PointL) Int) Source

maxI :: Int Source

maxPL :: PointL Source

xs :: Vector Int Source

general quickcheck stuff

options :: Args Source

customCheck :: Property -> IO Result Source

allProps :: IO Bool Source