GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 19:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

newly organized resource with tense in lib

Browse Source
This commit is contained in:
aarne
2004-11-16 16:28:22 +00:00
parent 7a16b4501f
commit 2bef5f7a1c
21 changed files with 3941 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
lib/prelude/Predef.gf Normal file
View File

@@ -0,0 +1,27 @@
-- predefined functions for concrete syntax, defined in AppPredefined.hs
resource Predef = {
-- this type is for internal use only
param PBool = PTrue | PFalse ;
-- these operations have their proper definitions in AppPredefined.hs
oper Int : Type = variants {} ; -- the type of integers
oper Ints : Int -> Type = variants {} ; -- the type of integers from 0 to n
oper length : Tok -> Int = variants {} ; -- length of string
oper drop : Int -> Tok -> Tok = variants {} ; -- drop prefix of length
oper take : Int -> Tok -> Tok = variants {} ; -- take prefix of length
oper tk : Int -> Tok -> Tok = variants {} ; -- drop suffix of length
oper dp : Int -> Tok -> Tok = variants {} ; -- take suffix of length
oper eqInt : Int -> Int -> PBool = variants {} ; -- test if equal integers
oper lessInt: Int -> Int -> PBool = variants {} ; -- test order of integers
oper plus : Int -> Int -> Int = variants {} ; -- add integers
oper eqStr : Tok -> Tok -> PBool = variants {} ; -- test if equal strings
oper occur : Tok -> Tok -> PBool = variants {} ; -- test if occurs as substring
oper show : (P : Type) -> P -> Tok = variants {} ; -- convert param to string
oper read : (P : Type) -> Tok -> P = variants {} ; -- convert string to param
} ;