Verified Commit 461b1b30 authored by Camil Staps's avatar Camil Staps 🙂

Add some more test cases

parent 0f1ef64b
Function
-----
class Text s where
textSize :: !s -> Int
concat :: ![s] -> s
split :: !s !s -> [s]
join :: !s ![s] -> s
indexOf :: !s !s -> Int
lastIndexOf :: !s !s -> Int
indexOfAfter :: !Int !s !s -> Int
startsWith :: !s !s -> Bool
endsWith :: !s !s -> Bool
subString :: !Int !Int !s -> s
replaceSubString :: !s !s !s -> s
trim :: !s -> s
ltrim :: !s -> s
rtrim :: !s -> s
lpad :: !s !Int !Char -> s
rpad :: !s !Int !Char -> s
toLowerCase :: !s -> s
toUpperCase :: !s -> s
upperCaseFirst :: !s -> s
dropChars :: !Int !s -> s
-----
keyword class
whitespace
classname Text
whitespace
typevar s
whitespace
keyword where
whitespace \n
whitespace \n
funcname textSize
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
type Int
whitespace \n
whitespace
funcname concat
whitespace
punctuation ::
whitespace
punctuation !
punctuation [
typevar s
punctuation ]
whitespace
punctuation -
punctuation >
whitespace
typevar s
whitespace \n
whitespace
funcname split
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
punctuation [
typevar s
punctuation ]
whitespace \n
whitespace
funcname join
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation !
punctuation [
typevar s
punctuation ]
whitespace
punctuation -
punctuation >
whitespace
typevar s
whitespace \n
whitespace
funcname indexOf
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
type Int
whitespace \n
whitespace
funcname lastIndexOf
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
type Int
whitespace \n
whitespace
funcname indexOfAfter
whitespace
punctuation ::
whitespace
punctuation !
type Int
whitespace
punctuation !
typevar s
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
type Int
whitespace \n
whitespace
funcname startsWith
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
type Bool
whitespace \n
whitespace
funcname endsWith
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
type Bool
whitespace \n
whitespace
funcname subString
whitespace
punctuation ::
whitespace
punctuation !
type Int
whitespace
punctuation !
type Int
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
typevar s
whitespace \n
whitespace
funcname replaceSubString
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation !
typevar s
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
typevar s
whitespace \n
whitespace
funcname trim
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
typevar s
whitespace \n
whitespace
funcname ltrim
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
typevar s
whitespace \n
whitespace
funcname rtrim
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
typevar s
whitespace \n
whitespace
funcname lpad
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation !
type Int
whitespace
punctuation !
type Char
whitespace
punctuation -
punctuation >
whitespace
typevar s
whitespace \n
whitespace
funcname rpad
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation !
type Int
whitespace
punctuation !
type Char
whitespace
punctuation -
punctuation >
whitespace
typevar s
whitespace \n
whitespace
funcname toLowerCase
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
typevar s
whitespace \n
whitespace
funcname toUpperCase
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
typevar s
whitespace \n
whitespace
funcname upperCaseFirst
whitespace
punctuation ::
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
typevar s
whitespace \n
whitespace
funcname dropChars
whitespace
punctuation ::
whitespace
punctuation !
type Int
whitespace
punctuation !
typevar s
whitespace
punctuation -
punctuation >
whitespace
typevar s
Function
-----
class iTask a | gEditor{|*|}, gText{|*|}, JSONEncode{|*|}, JSONDecode{|*|}, gDefault{|*|}, gEq{|*|}, TC a
-----
keyword class
whitespace
classname iTask
whitespace
typevar a
whitespace
punctuation |
whitespace
generic gEditor
punctuation {|
punctuation *|},
whitespace
generic gText
punctuation {|
punctuation *|},
whitespace
generic JSONEncode
punctuation {|
punctuation *|},
whitespace
generic JSONDecode
punctuation {|
punctuation *|},
whitespace
generic gDefault
punctuation {|
punctuation *|},
whitespace
generic gEq
punctuation {|
punctuation *|},
whitespace
classname TC
whitespace
typevar a
Function
-----
sqlExecute :: SQLDatabaseDef [String] (A.*cur: (*cur -> *(MaybeErrorString a,*cur)) | SQLCursor cur) -> Task a | iTask a
-----
funcname sqlExecute
whitespace
punctuation ::
whitespace
type SQLDatabaseDef
whitespace
punctuation [
type String
punctuation ]
whitespace
punctuation (
existential A
punctuation .
punctuation *
typevar cur
punctuation :
whitespace
punctuation (
punctuation *
typevar cur
whitespace
punctuation -
punctuation >
whitespace
punctuation *
punctuation (
type MaybeErrorString
whitespace
typevar a
punctuation ,
punctuation *
typevar cur
punctuation )
punctuation )
whitespace
punctuation |
whitespace
classname SQLCursor
whitespace
typevar cur
punctuation )
whitespace
punctuation ->
whitespace
type Task
whitespace
typevar a
whitespace
punctuation |
whitespace
classname iTask
whitespace
typevar a
Function
-----
sqlShare :: String (A.*cur: (p -> *cur -> *(MaybeErrorString r,*cur)) | SQLCursor cur) (A.*cur: (p -> w -> *cur -> *(MaybeErrorString (),*cur)) | SQLCursor cur) -> RWShared (SQLDatabaseDef,p) r w
-----
funcname sqlShare
whitespace
punctuation ::
whitespace
type String
whitespace
punctuation (
existential A
punctuation .
punctuation *
typevar cur
punctuation :
whitespace
punctuation (
typevar p
whitespace
punctuation -
punctuation >
whitespace
punctuation *
typevar cur
whitespace
punctuation -
punctuation >
whitespace
punctuation *
punctuation (
type MaybeErrorString
whitespace
typevar r
punctuation ,
punctuation *
typevar cur
punctuation )
punctuation )
whitespace
punctuation |
whitespace
classname SQLCursor
whitespace
typevar cur
punctuation )
whitespace
punctuation (
existential A
punctuation .
punctuation *
typevar cur
punctuation :
whitespace
punctuation (
typevar p
whitespace
punctuation -
punctuation >
whitespace
typevar w
whitespace
punctuation -
punctuation >
whitespace
punctuation *
typevar cur
whitespace
punctuation -
punctuation >
whitespace
punctuation *
punctuation (
type MaybeErrorString
whitespace
type ()
punctuation ,
punctuation *
typevar cur
punctuation )
punctuation )
whitespace
punctuation |
whitespace
classname SQLCursor
whitespace
typevar cur
punctuation )
whitespace
punctuation ->
whitespace
type RWShared
whitespace
punctuation (
type SQLDatabaseDef
punctuation ,
typevar p
punctuation )
whitespace
typevar r
whitespace
typevar w
TypeDef
-----
:: SDS p r w
= SDSSource (SDSSource p r w)
| E.ps rs ws: SDSLens (SDS ps rs ws) (SDSLens p r w ps rs ws) & iTask ps & TC rs & TC ws
| E.p1 p2: SDSSelect (SDS p1 r w) (SDS p2 r w) (SDSSelect p p1 p2 r w) & iTask p1 & iTask p2 & TC r & TC w
| E.p1 r1 w1 p2 r2 w2: SDSParallel (SDS p1 r1 w1) (SDS p2 r2 w2) (SDSParallel p1 r1 w1 p2 r2 w2 p r w) & iTask p1 & iTask p2 & TC r1 & TC r2 & TC w1 & TC w2
| E.p1 r1 w1 p2 r2 w2: SDSSequence (SDS p1 r1 w1) (SDS p2 r2 w2) (SDSSequence p1 r1 w1 p2 r2 w2 p r w) & iTask p1 & iTask p2 & TC r1 & TC r2 & TC w1 & TC w2
| SDSCache (SDSSource p r w) (SDSCache p r w) & iTask p & TC r & TC w
| SDSDynamic (p -> *IWorld -> *(MaybeError TaskException (RWShared p r w), *IWorld))
-----
punctuation ::
whitespace
type SDS
whitespace
typevar p
whitespace
typevar r
whitespace
typevar w
whitespace \n
punctuation =
whitespace
constructor SDSSource
whitespace
punctuation (
type SDSSource
whitespace
typevar p
whitespace
typevar r
whitespace
typevar w
punctuation )
whitespace \n
punctuation |
whitespace
existential E
punctuation .
typevar ps
whitespace
typevar rs
whitespace
typevar ws
punctuation :
whitespace
constructor SDSLens
whitespace
punctuation (
type SDS
whitespace
typevar ps
whitespace
typevar rs
whitespace
typevar ws
punctuation )
whitespace
punctuation (
type SDSLens
whitespace
typevar p
whitespace
typevar r
whitespace
typevar w
whitespace
typevar ps
whitespace
typevar rs
whitespace
typevar ws
punctuation )
whitespace
punctuation &
whitespace
classname iTask
whitespace
typevar ps
whitespace
punctuation &
whitespace
classname TC
whitespace
typevar rs
whitespace
punctuation &
whitespace
classname TC
whitespace
typevar ws
whitespace \n
punctuation |
whitespace
existential E
punctuation .
typevar p1
whitespace
typevar p2
punctuation :
whitespace
constructor SDSSelect
whitespace
punctuation (
type SDS
whitespace
typevar p1
whitespace
typevar r
whitespace
typevar w
punctuation )
whitespace
punctuation (
type SDS
whitespace
typevar p2
whitespace
typevar r
whitespace
typevar w
punctuation )
whitespace
punctuation (
type SDSSelect
whitespace
typevar p
whitespace
typevar p1
whitespace
typevar p2
whitespace
typevar r
whitespace
typevar w
punctuation )
whitespace
punctuation &
whitespace
classname iTask
whitespace
typevar p1
whitespace
punctuation &
whitespace
classname iTask
whitespace
typevar p2
whitespace
punctuation &
whitespace
classname TC
whitespace
typevar r
whitespace
punctuation &
whitespace
classname TC
whitespace
typevar w
whitespace \n
punctuation |
whitespace
existential E
punctuation .
typevar p1
whitespace
typevar r1
whitespace
typevar w1
whitespace
typevar p2
whitespace
typevar r2
whitespace
typevar w2
punctuation :
whitespace
constructor SDSParallel
whitespace
punctuation (
type SDS
whitespace
typevar p1
whitespace
typevar r1
whitespace
typevar w1
punctuation )