Safe Haskell | None |
---|---|
Language | Haskell2010 |
TODO need to carefully check all props against boundary errors! Especially the 2-dim cases!
- prop_sv_OI :: Outside Subword -> Bool
- prop_sv_IO :: Outside Subword -> Bool
- prop_sv_OII :: Outside Subword -> Bool
- prop_sv_IOI :: Outside Subword -> Bool
- prop_sv_IIO :: Outside Subword -> Bool
- prop_cOc :: Outside Subword -> Bool
- prop_ccOcc :: Outside Subword -> Bool
- prop_cOccc :: Outside Subword -> Bool
- prop_cOcIc :: Outside Subword -> Bool
- prop_cIcOc :: Outside Subword -> Bool
- prop_Epsilon :: Outside Subword -> Bool
- prop_2dimIt :: (:.) ((:.) Z Subword) Subword -> Bool
- prop_2dimcIt :: (:.) ((:.) Z Subword) Subword -> Bool
- prop_2dimItc :: (:.) ((:.) Z Subword) Subword -> Bool
- prop_2dimcItc :: (:.) ((:.) Z Subword) Subword -> Bool
- highest :: Int
- csS :: Vector (Int, Int)
- xsS :: Unboxed Subword (Int, Int)
- xoS :: Unboxed (Outside Subword) (Int, Int)
- xsSS :: Unboxed ((Z :. Subword) :. Subword) ((Int, Int), (Int, Int))
- options :: Args
- customCheck :: Property -> IO Result
- allProps :: IO Bool
Outside checks
two non-terminals on the r.h.s.
prop_sv_OI :: Outside Subword -> Bool Source
prop_sv_IO :: Outside Subword -> Bool Source
three non-terminals on the r.h.s. (this provides situations where two
prop_sv_OII :: Outside Subword -> Bool Source
prop_sv_IOI :: Outside Subword -> Bool Source
prop_sv_IIO :: Outside Subword -> Bool Source
four non-terminals on the r.h.s. ?
five non-terminals on the r.h.s. ?
Non-terminal and terminal combinations
prop_ccOcc :: Outside Subword -> Bool Source
prop_cOccc :: Outside Subword -> Bool Source
Terminals, syntactic terminals, and non-terminals
prop_cOcIc :: Outside Subword -> Bool Source
prop_cIcOc :: Outside Subword -> Bool Source
Epsilonness
prop_Epsilon :: Outside Subword -> Bool Source
Multi-tape cases
general quickcheck stuff
customCheck :: Property -> IO Result Source