GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-12 22:39:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

embedded haskelle example: query

Browse Source
This commit is contained in:
aarne
2006-04-21 09:14:05 +00:00
parent fd70db2c9f
commit fa32f755d6
6 changed files with 224 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/GF/API/GrammarToHaskell.hs
View File

@@ -50,9 +50,11 @@ haskPreamble =
"class Gf a where gf :: a -> Trm",
"class Fg a where fg :: Trm -> a",
"",
predefInst "String" "K s",
predefInst "GString" "String" "K s",
"",
predefInst "Int" "EInt s",
predefInst "GInt" "Integer" "EInt s",
"",
predefInst "GFloat" "Double" "EFloat s",
"",
"----------------------------------------------------",
"-- below this line machine-generated",
@@ -60,7 +62,7 @@ haskPreamble =
""
]
predefInst typ patt = let gtyp = gId typ in
predefInst gtyp typ patt =
"newtype" +++ gtyp +++ "=" +++ gtyp +++ typ +++ " deriving Show" +++++
"instance Gf" +++ gtyp +++ "where" ++++
" gf (" ++ gtyp +++ "s) =" +++ patt +++++