Skip to content
GitLab
Commit 3f4d402e authored by Sandra Dylus's avatar Sandra Dylus
Browse files

Merge branch 'sad/master' into 'master' 

Update master version to sad/master

See merge request !1
parents a70e1246 2d507e61
Expand all Hide whitespace changes
Inline Side-by-side
.gitmodules 0 → 100644
View file @ 3f4d402e
[submodule "holumbus"]
path = holumbus
url = git://git-ps.informatik.uni-kiel.de/projekte/holumbus.git
Currygle.cabal
View file @ 3f4d402e
......@@ -21,7 +21,7 @@ executable curryIndexer
build-depends: base == 4.*
, filepath == 1.*
, directory
, Holumbus-Searchengine >= 1.2.3
, Holumbus-Searchengine >= 1.2.6
, binary >= 0.5 && < 1
, deepseq
, text
......@@ -40,44 +40,26 @@ executable curryServer
other-modules: CurryInfo, FilesAndLoading, Helpers, IndexTypes
, CurrySearch, QueryParser, Application, Site
build-depends: bytestring >= 0.9.1 && < 0.11
, heist >= 0.11 && < 0.12
, MonadCatchIO-transformers >= 0.2.1 && < 0.4
, mtl >= 2 && < 3
, snap >= 0.11 && < 0.12
, snap-core >= 0.9 && < 0.10
, snap-server >= 0.9 && < 0.10
, snap-loader-static >= 0.9 && < 0.10
, text >= 0.11 && < 0.12
, time >= 1.1 && < 1.5
build-depends: bytestring
, heist
, snap >= 0.11
, snap-core >= 0.9
, snap-server >= 0.9
, snap-loader-static >= 0.9
, snap-extras
, map-syntax
, xmlhtml >= 0.1
, json >= 0.4 && < 1
, Holumbus-Searchengine >= 1.2.3
, binary >= 0.5
, Holumbus-Searchengine >= 1.2.6.4
, binary >= 0.5 && < 1
, deepseq
, parsec
, containers
, transformers
, unix
, hashable >= 1.2.0.6
, tagged < 0.5
, distributive < 0.4
, transformers-compat < 0.2
, contravariant < 0.5
, attoparsec < 0.11
, comonad < 3.1
, syb < 0.5
, primitive < 0.6
if flag(old-base)
build-depends:
base >= 4 && < 4.4,
lens >= 3.7.6 && < 3.8
else
build-depends:
base >= 4.4 && < 5,
lens >= 3.7.6 && < 3.9
, lens
, mtl
, json
ghc-options: -threaded
-O2
......
Makefile
View file @ 3f4d402e
......@@ -9,9 +9,14 @@ cdoc_uri = http://www-ps.informatik.uni-kiel.de/kics2/lib/CDOC/
# development only
.PHONY: compile
compile:
cabal-dev install-deps
cabal-dev configure
cabal-dev build
git submodule init
git submodule update
cabal sandbox init
cabal install happy
cabal sandbox add-source holumbus
cabal install --dependencies-only
cabal configure
cabal build
.PHONY: index
index:
......
README.md
View file @ 3f4d402e
......@@ -21,19 +21,20 @@ engines.
Installation
-------------
This directory contains cabal-file, for the installation you simply
have to run cabal.
$ cabal configure
This directory contains a cabal-file, for the installation you simply
have to run cabal. Futhermore, Curr(y)gle depends on the Holumbus-Searchengine,
which exists as a submodule; last but not least, the Holumbus-Searchening depends
on the package `haskell-src-exts` which needs happy to be installed.
$ git submodule init
$ git submodule update
$ cabal sandbox init
$ cabal install happy
$ cabal sandbox add-source holumbus
$ cabal configure
$ cabal build
$ cabal install
Alternatively you can use the provided *Setup.hs*.
$ runhaskell Setup.hs configure
$ runhaskell Setup.hs build
$ runhaskell Setup.hs install
How-to-use
-----------
......@@ -52,9 +53,9 @@ curryIndexer can either generate a new index or update the existing
one, to distinguish between these options, you can use the flag *--n*
for generating a new index and *--u* for updating the index.
$ curryIndexer ./example/CDOC_HTML http://www.informatik.uni-kiel.de/~pakcs/lib/CDOC/ --n
$ curryIndexer ./example/CDOC_URL http://www.informatik.uni-kiel.de/~pakcs/lib/CDOC/ --u
$ curryIndexer ./example/CDOC_XML http://www.informatik.uni-kiel.de/~pakcs/lib/CDOC/ --u
$ curryIndexer ./examples/CDOC_HTML http://www.informatik.uni-kiel.de/~pakcs/lib/CDOC/ --n
$ curryIndexer ./examples/CDOC_URL http://www.informatik.uni-kiel.de/~pakcs/lib/CDOC/ --u
$ curryIndexer ./examples/CDOC_XML http://www.informatik.uni-kiel.de/~pakcs/lib/CDOC/ --u
Since it can take a very long time to add each single module, you can
pass a .txt-file as argument that consists of pairs of .cdoc-file and
......
Setup.lhs deleted 100755 → 0
View file @ a70e1246
#!/usr/bin/runhaskell
> module Main where
> import Distribution.Simple
> main :: IO ()
> main = defaultMain
examples/DOC_AbstractCurry.Pretty/AbstractCurry.Pretty.cdoc 0 → 100644
View file @ 3f4d402e
(CurryInfo (ModuleInfo "AbstractCurry.Pretty" "Yannik Potdevin" "Pretty printing of AbstractCurry.\n\nThis library provides a pretty-printer for AbstractCurry modules.\n\n") [(FunctionInfo "defaultOptions" (TCons ("AbstractCurry.Pretty","Options") []) "AbstractCurry.Pretty" "`defaultOptions = options 78 2 Imports \"\"`\nTherefore use these options only with functions like 'prettyCurryProg' or\n'ppCurryProg', because they will overwrite the module name anyway.\n" False UnknownFR),(FunctionInfo "options" (FuncType (TCons ("Prelude","Int") []) (FuncType (TCons ("Prelude","Int") []) (FuncType (TCons ("AbstractCurry.Pretty","Qualification") []) (FuncType (TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]) (TCons ("AbstractCurry.Pretty","Options") []))))) "AbstractCurry.Pretty" "" False UnknownFR),(FunctionInfo "setPageWith" (FuncType (TCons ("Prelude","Int") []) (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (TCons ("AbstractCurry.Pretty","Options") []))) "AbstractCurry.Pretty" "Sets the page width of the pretty printer options.\n" False KnownFlex),(FunctionInfo "setIndentWith" (FuncType (TCons ("Prelude","Int") []) (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (TCons ("AbstractCurry.Pretty","Options") []))) "AbstractCurry.Pretty" "Sets the indentation width of the pretty printer options.\n" False KnownFlex),(FunctionInfo "setQualification" (FuncType (TCons ("AbstractCurry.Pretty","Qualification") []) (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (TCons ("AbstractCurry.Pretty","Options") []))) "AbstractCurry.Pretty" "Sets the qualification method to be used by the pretty printer.\n" False KnownFlex),(FunctionInfo "setModName" (FuncType (TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]) (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (TCons ("AbstractCurry.Pretty","Options") []))) "AbstractCurry.Pretty" "Sets the name of the current module in the pretty printer options.\n" False KnownFlex),(FunctionInfo "showCProg" (FuncType (TCons ("AbstractCurry.Types","CurryProg") []) (TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])) "AbstractCurry.Pretty" "Shows a pretty formatted version of an abstract Curry Program.\nThe options for pretty printing are the 'defaultOptions'.\n" False UnknownFR),(FunctionInfo "prettyCurryProg" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("AbstractCurry.Types","CurryProg") []) (TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]))) "AbstractCurry.Pretty" "pretty-print the document generated by 'ppCurryProg', using the page width\nspecified by given options.\n" False UnknownFR),(FunctionInfo "ppCurryProg" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("AbstractCurry.Types","CurryProg") []) (TCons ("Pretty","Doc") []))) "AbstractCurry.Pretty" "pretty-print a CurryProg (the representation of a program, written in curry,\nusing AbstractCurry) according to given options. This function will overwrite\nthe module name given by options with the name encapsulated in CurryProg.\n" False KnownFlex),(FunctionInfo "ppMName" (FuncType (TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]) (TCons ("Pretty","Doc") [])) "AbstractCurry.Pretty" "pretty-print a module name (just a string).\n" False UnknownFR),(FunctionInfo "ppExports" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CTypeDecl") [])]) (FuncType (TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CFuncDecl") [])]) (TCons ("Pretty","Doc") [])))) "AbstractCurry.Pretty" "pretty-print exports, i.e. all type and function declarations which are\npublic.\nextract the type and function declarations which are public and gather their\nqualified names in a list.\n" False KnownRigid),(FunctionInfo "ppImports" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]) (TCons ("Pretty","Doc") []))) "AbstractCurry.Pretty" "pretty-print imports (list of module names) by prepending the word \"import\"\nto the module name.\n" False UnknownFR),(FunctionInfo "ppCOpDecl" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("AbstractCurry.Types","COpDecl") []) (TCons ("Pretty","Doc") []))) "AbstractCurry.Pretty" "pretty-print operator precedence declarations.\n" False KnownFlex),(FunctionInfo "ppCTypeDecl" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("AbstractCurry.Types","CTypeDecl") []) (TCons ("Pretty","Doc") []))) "AbstractCurry.Pretty" "pretty-print type declarations, like `data ... = ...`, `type ... = ...` or\n`newtype ... = ...`.\n" False ConflictFR),(FunctionInfo "ppCFuncDecl" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("AbstractCurry.Types","CFuncDecl") []) (TCons ("Pretty","Doc") []))) "AbstractCurry.Pretty" "pretty-print a function declaration.\n" False KnownFlex),(FunctionInfo "ppCFuncDeclWithoutSig" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("AbstractCurry.Types","CFuncDecl") []) (TCons ("Pretty","Doc") []))) "AbstractCurry.Pretty" "pretty-print a function declaration without signature.\n" False KnownFlex),(FunctionInfo "ppCFuncSignature" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]) (FuncType (TCons ("AbstractCurry.Types","CTypeExpr") []) (TCons ("Pretty","Doc") [])))) "AbstractCurry.Pretty" "pretty-print a function signature according to given options.\n" False KnownRigid),(FunctionInfo "ppCTypeExpr" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("AbstractCurry.Types","CTypeExpr") []) (TCons ("Pretty","Doc") []))) "AbstractCurry.Pretty" "pretty-print a type expression.\n" False UnknownFR),(FunctionInfo "ppCPattern" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("AbstractCurry.Types","CPattern") []) (TCons ("Pretty","Doc") []))) "AbstractCurry.Pretty" "pretty-print a pattern expression.\n" False UnknownFR),(FunctionInfo "ppCLiteral" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("AbstractCurry.Types","CLiteral") []) (TCons ("Pretty","Doc") []))) "AbstractCurry.Pretty" "pretty-print given literal (Int, Float, ...).\n" False KnownFlex),(FunctionInfo "ppCExpr" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("AbstractCurry.Types","CExpr") []) (TCons ("Pretty","Doc") []))) "AbstractCurry.Pretty" "pretty-print an expression.\n" False UnknownFR),(FunctionInfo "ppCStatement" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("AbstractCurry.Types","CStatement") []) (TCons ("Pretty","Doc") []))) "AbstractCurry.Pretty" "" False KnownFlex),(FunctionInfo "ppQName" (FuncType (TCons ("AbstractCurry.Pretty","Options") []) (FuncType (TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]) (TCons ("Pretty","Doc") []))) "AbstractCurry.Pretty" "pretty-print a QName qualified according to given options.\n" False UnknownFR),(FunctionInfo "ppName" (FuncType (TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]) (TCons ("Pretty","Doc") [])) "AbstractCurry.Pretty" "pretty-print a QName non-qualified.\n" False UnknownFR)] [(TypeInfo "Qualification" [(("AbstractCurry.Pretty","Full"),[]),(("AbstractCurry.Pretty","Imports"),[]),(("AbstractCurry.Pretty","None"),[])] [] "AbstractCurry.Pretty" "" False),(TypeInfo "Options" [] [] "AbstractCurry.Pretty" "" False)])
\ No newline at end of file
examples/DOC_AbstractCurry.Pretty/AbstractCurry.Pretty.html 0 → 100644
View file @ 3f4d402e
This diff is collapsed.
examples/DOC_AbstractCurry.Pretty/AbstractCurry.Select.cdoc 0 → 100644
View file @ 3f4d402e
(CurryInfo (ModuleInfo "AbstractCurry.Select" "" "This library provides some useful operations to select components\nin AbstractCurry programs, i.e., it provides a collection of\nselector functions for AbstractCurry.\n\n") [(FunctionInfo "typeName" (FuncType (TCons ("AbstractCurry.Types","CTypeDecl") []) (TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])) "AbstractCurry.Select" "Returns the name of a given type declaration\n" False KnownFlex),(FunctionInfo "typeVis" (FuncType (TCons ("AbstractCurry.Types","CTypeDecl") []) (TCons ("AbstractCurry.Types","CVisibility") [])) "AbstractCurry.Select" "Returns the visibility of a given type declaration\n" False KnownFlex),(FunctionInfo "typeCons" (FuncType (TCons ("AbstractCurry.Types","CTypeDecl") []) (TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CConsDecl") [])])) "AbstractCurry.Select" "Returns the constructors of a given type declaration\n" False KnownFlex),(FunctionInfo "consName" (FuncType (TCons ("AbstractCurry.Types","CConsDecl") []) (TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])) "AbstractCurry.Select" "Returns the name of a given constructor declaration\n" False KnownFlex),(FunctionInfo "consVis" (FuncType (TCons ("AbstractCurry.Types","CConsDecl") []) (TCons ("AbstractCurry.Types","CVisibility") [])) "AbstractCurry.Select" "Returns the visibility of a given constructor declaration\n" False KnownFlex),(FunctionInfo "isBaseType" (FuncType (TCons ("AbstractCurry.Types","CTypeExpr") []) (TCons ("Prelude","Bool") [])) "AbstractCurry.Select" "Returns true if the type expression is a base type.\n" False KnownRigid),(FunctionInfo "isPolyType" (FuncType (TCons ("AbstractCurry.Types","CTypeExpr") []) (TCons ("Prelude","Bool") [])) "AbstractCurry.Select" "Returns true if the type expression contains type variables.\n" False KnownFlex),(FunctionInfo "isFunctionalType" (FuncType (TCons ("AbstractCurry.Types","CTypeExpr") []) (TCons ("Prelude","Bool") [])) "AbstractCurry.Select" "Returns true if the type expression is a functional type.\n" False KnownRigid),(FunctionInfo "isIOType" (FuncType (TCons ("AbstractCurry.Types","CTypeExpr") []) (TCons ("Prelude","Bool") [])) "AbstractCurry.Select" "Returns true if the type expression is (IO t).\n" False KnownRigid),(FunctionInfo "isIOReturnType" (FuncType (TCons ("AbstractCurry.Types","CTypeExpr") []) (TCons ("Prelude","Bool") [])) "AbstractCurry.Select" "Returns true if the type expression is (IO t) with t/=() and\nt is not functional\n" False KnownFlex),(FunctionInfo "argTypes" (FuncType (TCons ("AbstractCurry.Types","CTypeExpr") []) (TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CTypeExpr") [])])) "AbstractCurry.Select" "Returns all argument types from a functional type\n" False KnownFlex),(FunctionInfo "resultType" (FuncType (TCons ("AbstractCurry.Types","CTypeExpr") []) (TCons ("AbstractCurry.Types","CTypeExpr") [])) "AbstractCurry.Select" "Return the result type from a (nested) functional type\n" False KnownFlex),(FunctionInfo "tvarsOfType" (FuncType (TCons ("AbstractCurry.Types","CTypeExpr") []) (TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])])) "AbstractCurry.Select" "Returns all type variables occurring in a type expression.\n" False KnownFlex),(FunctionInfo "modsOfType" (FuncType (TCons ("AbstractCurry.Types","CTypeExpr") []) (TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])) "AbstractCurry.Select" "Returns all modules used in the given type.\n" False KnownFlex),(FunctionInfo "funcName" (FuncType (TCons ("AbstractCurry.Types","CFuncDecl") []) (TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])) "AbstractCurry.Select" "Returns the name of a given function declaration\n" False KnownFlex),(FunctionInfo "funcVis" (FuncType (TCons ("AbstractCurry.Types","CFuncDecl") []) (TCons ("AbstractCurry.Types","CVisibility") [])) "AbstractCurry.Select" "Returns the visibility of a given function declaration\n" False KnownFlex),(FunctionInfo "varsOfPat" (FuncType (TCons ("AbstractCurry.Types","CPattern") []) (TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])])) "AbstractCurry.Select" "Returns list of all variables occurring in a pattern.\nEach occurrence corresponds to one element, i.e., the list might\ncontain multiple elements.\n" False KnownFlex),(FunctionInfo "varsOfExp" (FuncType (TCons ("AbstractCurry.Types","CExpr") []) (TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])])) "AbstractCurry.Select" "Returns list of all variables occurring in an expression.\nEach occurrence corresponds to one element, i.e., the list might\ncontain multiple elements.\n" False KnownFlex),(FunctionInfo "varsOfRhs" (FuncType (TCons ("AbstractCurry.Types","CRhs") []) (TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])])) "AbstractCurry.Select" "Returns list of all variables occurring in a right-hand side.\nEach occurrence corresponds to one element, i.e., the list might\ncontain multiple elements.\n" False KnownFlex),(FunctionInfo "varsOfStat" (FuncType (TCons ("AbstractCurry.Types","CStatement") []) (TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])])) "AbstractCurry.Select" "Returns list of all variables occurring in a statement.\nEach occurrence corresponds to one element, i.e., the list might\ncontain multiple elements.\n" False KnownFlex),(FunctionInfo "varsOfLDecl" (FuncType (TCons ("AbstractCurry.Types","CLocalDecl") []) (TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])])) "AbstractCurry.Select" "Returns list of all variables occurring in a local declaration.\nEach occurrence corresponds to one element, i.e., the list might\ncontain multiple elements.\n" False KnownFlex),(FunctionInfo "varsOfFDecl" (FuncType (TCons ("AbstractCurry.Types","CFuncDecl") []) (TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])])) "AbstractCurry.Select" "Returns list of all variables occurring in a function declaration.\nEach occurrence corresponds to one element, i.e., the list might\ncontain multiple elements.\n" False KnownFlex),(FunctionInfo "varsOfRule" (FuncType (TCons ("AbstractCurry.Types","CRule") []) (TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])])) "AbstractCurry.Select" "Returns list of all variables occurring in a rule.\nEach occurrence corresponds to one element, i.e., the list might\ncontain multiple elements.\n" False KnownFlex),(FunctionInfo "isPrelude" (FuncType (TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]) (TCons ("Prelude","Bool") [])) "AbstractCurry.Select" "Tests whether a module name is the prelude.\n" False UnknownFR)] [])
\ No newline at end of file
examples/DOC_AbstractCurry.Pretty/AbstractCurry.Select.html 0 → 100644
View file @ 3f4d402e
This diff is collapsed.
examples/DOC_AbstractCurry.Pretty/AbstractCurry.Types.cdoc 0 → 100644
View file @ 3f4d402e
(CurryInfo (ModuleInfo "AbstractCurry.Types" "Michael Hanus, Bj\246rn Peem\246ller" "This library contains a definition for representing Curry programs\nin Curry and an I/O action to read Curry programs and\ntransform them into this abstract representation.\n\nNote this defines a slightly new format for AbstractCurry\nin comparison to the first proposal of 2003.\n\nAssumption: an abstract Curry program is stored in file with\nextension .acy\n\n") [(FunctionInfo "version" (TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]) "AbstractCurry.Types" "Current version of AbstractCurry\n" False UnknownFR),(FunctionInfo "pre" (FuncType (TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]) (TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])) "AbstractCurry.Types" "Converts a string into a qualified name of the Prelude.\n" False UnknownFR)] [(TypeInfo "MName" [(("AbstractCurry.Types","MName"),[(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])] [] "AbstractCurry.Types" "A module name.\n" True),(TypeInfo "QName" [(("AbstractCurry.Types","QName"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])])] [] "AbstractCurry.Types" "The data type for representing qualified names.\nIn AbstractCurry all names are qualified to avoid name clashes.\nThe first component is the module name and the second component the\nunqualified name as it occurs in the source program.\nAn exception are locally defined names where the module name is\nthe empty string (to avoid name clashes with a globally defined name).\n" True),(TypeInfo "CTVarIName" [(("AbstractCurry.Types","CTVarIName"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])])] [] "AbstractCurry.Types" "The type for representing type variables.\nThey are represented by (i,n) where i is a type variable index\nwhich is unique inside a function and n is a name (if possible,\nthe name written in the source program).\n" True),(TypeInfo "CField" [(("AbstractCurry.Types","CField"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TVar 0)])])] [0] "AbstractCurry.Types" "Labeled record fields\n" True),(TypeInfo "Arity" [(("AbstractCurry.Types","Arity"),[(TCons ("Prelude","Int") [])])] [] "AbstractCurry.Types" "Function arity\n" True),(TypeInfo "CVarIName" [(("AbstractCurry.Types","CVarIName"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])])] [] "AbstractCurry.Types" "Data types for representing object variables.\nObject variables occurring in expressions are represented by (Var i)\nwhere i is a variable index.\n" True),(TypeInfo "CVisibility" [(("AbstractCurry.Types","Public"),[]),(("AbstractCurry.Types","Private"),[])] [] "AbstractCurry.Types" "Data type to specify the visibility of various entities.\n" False),(TypeInfo "CurryProg" [(("AbstractCurry.Types","CurryProg"),[(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CTypeDecl") [])]),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CFuncDecl") [])]),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","COpDecl") [])])])] [] "AbstractCurry.Types" "Data type for representing a Curry module in the intermediate form.\nA value of this data type has the form\n\n (CProg modname imports typedecls functions opdecls)\n\nwhere modname: name of this module,\n imports: list of modules names that are imported,\n typedecls: Type declarations\n functions: Function declarations\n opdecls: Operator precedence declarations\n" False),(TypeInfo "CTypeDecl" [(("AbstractCurry.Types","CType"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("AbstractCurry.Types","CVisibility") []),(TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])]),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CConsDecl") [])])]),(("AbstractCurry.Types","CTypeSyn"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("AbstractCurry.Types","CVisibility") []),(TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])]),(TCons ("AbstractCurry.Types","CTypeExpr") [])]),(("AbstractCurry.Types","CNewType"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("AbstractCurry.Types","CVisibility") []),(TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])]),(TCons ("AbstractCurry.Types","CConsDecl") [])])] [] "AbstractCurry.Types" "Data type for representing definitions of algebraic data types\nand type synonyms.\n\nA data type definition of the form\n\n data t x1...xn = ...| c t1....tkc |...\n\nis represented by the Curry term\n\n (CType t v [i1,...,in] [...(CCons c kc v [t1,...,tkc])...])\n\nwhere each `ij` is the index of the type variable `xj`.\n\nNote: the type variable indices are unique inside each type declaration\n and are usually numbered from 0\n\nThus, a data type declaration consists of the name of the data type,\na list of type parameters and a list of constructor declarations.\n" False),(TypeInfo "CConsDecl" [(("AbstractCurry.Types","CCons"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("AbstractCurry.Types","CVisibility") []),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CTypeExpr") [])])]),(("AbstractCurry.Types","CRecord"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("AbstractCurry.Types","CVisibility") []),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CFieldDecl") [])])])] [] "AbstractCurry.Types" "A constructor declaration consists of the name of the\nconstructor and a list of the argument types of the constructor.\nThe arity equals the number of types.\n" False),(TypeInfo "CFieldDecl" [(("AbstractCurry.Types","CField"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("AbstractCurry.Types","CVisibility") []),(TCons ("AbstractCurry.Types","CTypeExpr") [])])] [] "AbstractCurry.Types" "A record field declaration consists of the name of the\nthe label, the visibility and its corresponding type.\n" False),(TypeInfo "CTypeExpr" [(("AbstractCurry.Types","CTVar"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])]),(("AbstractCurry.Types","CFuncType"),[(TCons ("AbstractCurry.Types","CTypeExpr") []),(TCons ("AbstractCurry.Types","CTypeExpr") [])]),(("AbstractCurry.Types","CTCons"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CTypeExpr") [])])])] [] "AbstractCurry.Types" "Type expression.\nA type expression is either a type variable, a function type,\nor a type constructor application.\n\nNote: the names of the predefined type constructors are\n \"Int\", \"Float\", \"Bool\", \"Char\", \"IO\", \"Success\",\n \"()\" (unit type), \"(,...,)\" (tuple types), \"[]\" (list type)\n" False),(TypeInfo "COpDecl" [(("AbstractCurry.Types","COp"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("AbstractCurry.Types","CFixity") []),(TCons ("Prelude","Int") [])])] [] "AbstractCurry.Types" "Data type for operator declarations.\nAn operator declaration \"fix p n\" in Curry corresponds to the\nAbstractCurry term (COp n fix p).\n" False),(TypeInfo "CFixity" [(("AbstractCurry.Types","CInfixOp"),[]),(("AbstractCurry.Types","CInfixlOp"),[]),(("AbstractCurry.Types","CInfixrOp"),[])] [] "AbstractCurry.Types" "Data type for operator associativity\n" False),(TypeInfo "CFuncDecl" [(("AbstractCurry.Types","CFunc"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("Prelude","Int") []),(TCons ("AbstractCurry.Types","CVisibility") []),(TCons ("AbstractCurry.Types","CTypeExpr") []),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CRule") [])])]),(("AbstractCurry.Types","CmtFunc"),[(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("Prelude","Int") []),(TCons ("AbstractCurry.Types","CVisibility") []),(TCons ("AbstractCurry.Types","CTypeExpr") []),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CRule") [])])])] [] "AbstractCurry.Types" "Data type for representing function declarations.\n\nA function declaration in AbstractCurry is a term of the form\n\n<code>(CFunc name arity visibility type (CRules eval [CRule rule1,...,rulek]))</code>\n\nand represents the function <code>name</code> defined by the rules\n<code>rule1,...,rulek</code>.\n\nNote: the variable indices are unique inside each rule\n\nThus, a function declaration consists of the name, arity, type, and\na list of rules.\n\nA function declaration with the constructor <code>CmtFunc</code>\nis similarly to <code>CFunc</code> but has a comment\nas an additional first argument. This comment could be used\nby pretty printers that generate a readable Curry program\ncontaining documentation comments.\n" False),(TypeInfo "CRule" [(("AbstractCurry.Types","CRule"),[(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CPattern") [])]),(TCons ("AbstractCurry.Types","CRhs") [])])] [] "AbstractCurry.Types" "The general form of a function rule. It consists of a list of patterns\n(left-hand side) and the right-hand side for these patterns.\n" False),(TypeInfo "CRhs" [(("AbstractCurry.Types","CSimpleRhs"),[(TCons ("AbstractCurry.Types","CExpr") []),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CLocalDecl") [])])]),(("AbstractCurry.Types","CGuardedRhs"),[(TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("AbstractCurry.Types","CExpr") []),(TCons ("AbstractCurry.Types","CExpr") [])])]),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CLocalDecl") [])])])] [] "AbstractCurry.Types" "Right-hand-side of a 'CRule' or a `case` expression.\nIt is either a simple unconditional right-hand side or\na list of guards with their corresponding right-hand sides, and\na list of local declarations.\n" False),(TypeInfo "CLocalDecl" [(("AbstractCurry.Types","CLocalFunc"),[(TCons ("AbstractCurry.Types","CFuncDecl") [])]),(("AbstractCurry.Types","CLocalPat"),[(TCons ("AbstractCurry.Types","CPattern") []),(TCons ("AbstractCurry.Types","CRhs") [])]),(("AbstractCurry.Types","CLocalVars"),[(TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])])])] [] "AbstractCurry.Types" "Data type for representing local (let/where) declarations\n" False),(TypeInfo "CPattern" [(("AbstractCurry.Types","CPVar"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])]),(("AbstractCurry.Types","CPLit"),[(TCons ("AbstractCurry.Types","CLiteral") [])]),(("AbstractCurry.Types","CPComb"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CPattern") [])])]),(("AbstractCurry.Types","CPAs"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("AbstractCurry.Types","CPattern") [])]),(("AbstractCurry.Types","CPFuncComb"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CPattern") [])])]),(("AbstractCurry.Types","CPLazy"),[(TCons ("AbstractCurry.Types","CPattern") [])]),(("AbstractCurry.Types","CPRecord"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("AbstractCurry.Types","CPattern") [])])])])] [] "AbstractCurry.Types" "Data type for representing pattern expressions.\n" False),(TypeInfo "CExpr" [(("AbstractCurry.Types","CVar"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","Int") []),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])]),(("AbstractCurry.Types","CLit"),[(TCons ("AbstractCurry.Types","CLiteral") [])]),(("AbstractCurry.Types","CSymbol"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])]),(("AbstractCurry.Types","CApply"),[(TCons ("AbstractCurry.Types","CExpr") []),(TCons ("AbstractCurry.Types","CExpr") [])]),(("AbstractCurry.Types","CLambda"),[(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CPattern") [])]),(TCons ("AbstractCurry.Types","CExpr") [])]),(("AbstractCurry.Types","CLetDecl"),[(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CLocalDecl") [])]),(TCons ("AbstractCurry.Types","CExpr") [])]),(("AbstractCurry.Types","CDoExpr"),[(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CStatement") [])])]),(("AbstractCurry.Types","CListComp"),[(TCons ("AbstractCurry.Types","CExpr") []),(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CStatement") [])])]),(("AbstractCurry.Types","CCase"),[(TCons ("AbstractCurry.Types","CCaseType") []),(TCons ("AbstractCurry.Types","CExpr") []),(TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("AbstractCurry.Types","CPattern") []),(TCons ("AbstractCurry.Types","CRhs") [])])])]),(("AbstractCurry.Types","CTyped"),[(TCons ("AbstractCurry.Types","CExpr") []),(TCons ("AbstractCurry.Types","CTypeExpr") [])]),(("AbstractCurry.Types","CRecConstr"),[(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("AbstractCurry.Types","CExpr") [])])])]),(("AbstractCurry.Types","CRecUpdate"),[(TCons ("AbstractCurry.Types","CExpr") []),(TCons ("Prelude","[]") [(TCons ("Prelude","(,)") [(TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])]),(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])]),(TCons ("AbstractCurry.Types","CExpr") [])])])])] [] "AbstractCurry.Types" "Data type for representing Curry expressions.\n" False),(TypeInfo "CLiteral" [(("AbstractCurry.Types","CIntc"),[(TCons ("Prelude","Int") [])]),(("AbstractCurry.Types","CFloatc"),[(TCons ("Prelude","Float") [])]),(("AbstractCurry.Types","CCharc"),[(TCons ("Prelude","Char") [])]),(("AbstractCurry.Types","CStringc"),[(TCons ("Prelude","[]") [(TCons ("Prelude","Char") [])])])] [] "AbstractCurry.Types" "Data type for representing literals occurring in an expression.\nIt is either an integer, a float, or a character constant.\n" False),(TypeInfo "CStatement" [(("AbstractCurry.Types","CSExpr"),[(TCons ("AbstractCurry.Types","CExpr") [])]),(("AbstractCurry.Types","CSPat"),[(TCons ("AbstractCurry.Types","CPattern") []),(TCons ("AbstractCurry.Types","CExpr") [])]),(("AbstractCurry.Types","CSLet"),[(TCons ("Prelude","[]") [(TCons ("AbstractCurry.Types","CLocalDecl") [])])])] [] "AbstractCurry.Types" "Data type for representing statements in do expressions and\nlist comprehensions.\n" False),(TypeInfo "CCaseType" [(("AbstractCurry.Types","CRigid"),[]),(("AbstractCurry.Types","CFlex"),[])] [] "AbstractCurry.Types" "Type of case expressions\n" False)])
\ No newline at end of file
examples/DOC_AbstractCurry.Pretty/AbstractCurry.Types.html 0 → 100644
View file @ 3f4d402e
This diff is collapsed.
examples/DOC_AbstractCurry.Pretty/Dequeue.cdoc 0 → 100644
View file @ 3f4d402e
(CurryInfo (ModuleInfo "Dequeue" "Bernd Brassel, Olaf Chitil, Michael Hanus, Sebastian Fischer,\n Bj\246rn Peem\246ller" "An implementation of double-ended queues supporting access at both\nends in constant amortized time.\n\n") [(FunctionInfo "empty" (TCons ("Dequeue","Queue") [(TVar 0)]) "Dequeue" "The empty queue.\n" False UnknownFR),(FunctionInfo "cons" (FuncType (TVar 0) (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TCons ("Dequeue","Queue") [(TVar 0)]))) "Dequeue" "Inserts an element at the front of the queue.\n" False KnownFlex),(FunctionInfo "snoc" (FuncType (TVar 0) (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TCons ("Dequeue","Queue") [(TVar 0)]))) "Dequeue" "Inserts an element at the end of the queue.\n" False KnownFlex),(FunctionInfo "isEmpty" (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TCons ("Prelude","Bool") [])) "Dequeue" "Is the queue empty?\n" False KnownFlex),(FunctionInfo "deqLength" (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TCons ("Prelude","Int") [])) "Dequeue" "Returns the number of elements in the queue.\n" False KnownFlex),(FunctionInfo "deqHead" (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TVar 0)) "Dequeue" "The first element of the queue.\n" False ConflictFR),(FunctionInfo "deqTail" (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TCons ("Dequeue","Queue") [(TVar 0)])) "Dequeue" "Removes an element at the front of the queue.\n" False KnownFlex),(FunctionInfo "deqLast" (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TVar 0)) "Dequeue" "The last element of the queue.\n" False ConflictFR),(FunctionInfo "deqInit" (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TCons ("Dequeue","Queue") [(TVar 0)])) "Dequeue" "Removes an element at the end of the queue.\n" False KnownFlex),(FunctionInfo "deqReverse" (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TCons ("Dequeue","Queue") [(TVar 0)])) "Dequeue" "Reverses a double ended queue.\n" False KnownFlex),(FunctionInfo "rotate" (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TCons ("Dequeue","Queue") [(TVar 0)])) "Dequeue" "Moves the first element to the end of the queue.\n" False UnknownFR),(FunctionInfo "matchHead" (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TCons ("Prelude","Maybe") [(TCons ("Prelude","(,)") [(TVar 0),(TCons ("Dequeue","Queue") [(TVar 0)])])])) "Dequeue" "Matches the front of a queue.\n<code>matchHead q</code> is equivalent to\n<code>if isEmpty q then Nothing else Just (deqHead q, deqTail q)</code>\nbut more efficient.\n" False KnownFlex),(FunctionInfo "matchLast" (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TCons ("Prelude","Maybe") [(TCons ("Prelude","(,)") [(TVar 0),(TCons ("Dequeue","Queue") [(TVar 0)])])])) "Dequeue" "Matches the end of a queue.\n<code>matchLast q</code> is equivalent to\n<code>if isEmpty q then Nothing else Just (deqLast q,deqInit q)</code>\nbut more efficient.\n" False KnownFlex),(FunctionInfo "listToDeq" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Dequeue","Queue") [(TVar 0)])) "Dequeue" "Transforms a list to a double ended queue.\n" False UnknownFR),(FunctionInfo "deqToList" (FuncType (TCons ("Dequeue","Queue") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)])) "Dequeue" "Transforms a double ended queue to a list.\n" False KnownFlex)] [(TypeInfo "Queue" [] [0] "Dequeue" "The datatype of a queue.\n" False)])
\ No newline at end of file
examples/DOC_AbstractCurry.Pretty/Dequeue.html 0 → 100644
View file @ 3f4d402e
This diff is collapsed.
examples/DOC_AbstractCurry.Pretty/Dequeue_curry.html 0 → 100644
View file @ 3f4d402e
This diff is collapsed.
examples/DOC_AbstractCurry.Pretty/List.cdoc 0 → 100644
View file @ 3f4d402e
(CurryInfo (ModuleInfo "List" "Michael Hanus, Bjoern Peemoeller" "Library with some useful operations on lists.\n\n") [(FunctionInfo "elemIndex" (FuncType (TVar 0) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","Maybe") [(TCons ("Prelude","Int") [])]))) "List" "Returns the index `i` of the first occurrence of an element in a list\nas `(Just i)`, otherwise `Nothing` is returned.\n" False UnknownFR),(FunctionInfo "elemIndices" (FuncType (TVar 0) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TCons ("Prelude","Int") [])]))) "List" "Returns the list of indices of occurrences of an element in a list.\n" False UnknownFR),(FunctionInfo "find" (FuncType (FuncType (TVar 0) (TCons ("Prelude","Bool") [])) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","Maybe") [(TVar 0)]))) "List" "Returns the first element `e` of a list satisfying a predicate as `(Just e)`,\notherwise `Nothing` is returned.\n" False UnknownFR),(FunctionInfo "findIndex" (FuncType (FuncType (TVar 0) (TCons ("Prelude","Bool") [])) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","Maybe") [(TCons ("Prelude","Int") [])]))) "List" "Returns the index `i` of the first occurrences of a list element\nsatisfying a predicate as `(Just i)`, otherwise `Nothing` is returned.\n" False UnknownFR),(FunctionInfo "findIndices" (FuncType (FuncType (TVar 0) (TCons ("Prelude","Bool") [])) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TCons ("Prelude","Int") [])]))) "List" "Returns the list of indices of list elements satisfying a predicate.\n" False UnknownFR),(FunctionInfo "nub" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)])) "List" "Removes all duplicates in the argument list.\n" False UnknownFR),(FunctionInfo "nubBy" (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)]))) "List" "Removes all duplicates in the argument list according to an\nequivalence relation.\n" False KnownFlex),(FunctionInfo "delete" (FuncType (TVar 0) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)]))) "List" "Deletes the first occurrence of an element in a list.\n" False UnknownFR),(FunctionInfo "deleteBy" (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (FuncType (TVar 0) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)])))) "List" "Deletes the first occurrence of an element in a list\naccording to an equivalence relation.\n" False ConflictFR),(FunctionInfo "\\\\" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)]))) "List" "Computes the difference of two lists.\n" False UnknownFR),(FunctionInfo "union" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)]))) "List" "Computes the union of two lists.\n" False ConflictFR),(FunctionInfo "unionBy" (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)])))) "List" "Computes the union of two lists according to the given equivalence relation\n" False UnknownFR),(FunctionInfo "intersect" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)]))) "List" "Computes the intersection of two lists.\n" False ConflictFR),(FunctionInfo "intersectBy" (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)])))) "List" "Computes the intersection of two lists\naccording to the given equivalence relation\n" False KnownFlex),(FunctionInfo "intersperse" (FuncType (TVar 0) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)]))) "List" "Puts a separator element between all elements in a list.\n\nExample: `(intersperse 9 [1,2,3,4]) = [1,9,2,9,3,9,4]`\n" False KnownFlex),(FunctionInfo "intercalate" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (FuncType (TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TVar 0)])]) (TCons ("Prelude","[]") [(TVar 0)]))) "List" "`intercalate xs xss` is equivalent to `(concat (intersperse xs xss))`.\nIt inserts the list `xs` in between the lists in `xss` and\nconcatenates the result.\n" False UnknownFR),(FunctionInfo "transpose" (FuncType (TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TVar 0)])]) (TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TVar 0)])])) "List" "Transposes the rows and columns of the argument.\n\nExample: `(transpose [[1,2,3],[4,5,6]]) = [[1,4],[2,5],[3,6]]`\n" False KnownFlex),(FunctionInfo "permutations" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TVar 0)])])) "List" "Returns the list of all permutations of the argument.\n" False UnknownFR),(FunctionInfo "partition" (FuncType (FuncType (TVar 0) (TCons ("Prelude","Bool") [])) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","(,)") [(TCons ("Prelude","[]") [(TVar 0)]),(TCons ("Prelude","[]") [(TVar 0)])]))) "List" "Partitions a list into a pair of lists where the first list\ncontains those elements that satisfy the predicate argument\nand the second list contains the remaining arguments.\n\nExample: `(partition (<4) [8,1,5,2,4,3]) = ([1,2,3],[8,5,4])`\n" False UnknownFR),(FunctionInfo "group" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TVar 0)])])) "List" "Splits the list argument into a list of lists of equal adjacent\nelements.\n\nExample: `(group [1,2,2,3,3,3,4]) = [[1],[2,2],[3,3,3],[4]]`\n" False UnknownFR),(FunctionInfo "groupBy" (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TVar 0)])]))) "List" "Splits the list argument into a list of lists of related adjacent\nelements.\n" False KnownFlex),(FunctionInfo "splitOn" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TVar 0)])]))) "List" "Breaks the second list argument into pieces separated by the first\nlist argument, consuming the delimiter. An empty delimiter is\ninvalid, and will cause an error to be raised.\n" False KnownFlex),(FunctionInfo "split" (FuncType (FuncType (TVar 0) (TCons ("Prelude","Bool") [])) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TVar 0)])]))) "List" "Splits a list into components delimited by separators,\nwhere the predicate returns True for a separator element.\nThe resulting components do not contain the separators.\nTwo adjacent separators result in an empty component in the output.\n\n> split (=='a') \"aabbaca\" == [\"\",\"\",\"bb\",\"c\",\"\"]\n> split (=='a') \"\" == [\"\"]\n" False ConflictFR),(FunctionInfo "inits" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TVar 0)])])) "List" "Returns all initial segments of a list, starting with the shortest.\nExample: `inits [1,2,3] == [[],[1],[1,2],[1,2,3]]`\n" False KnownFlex),(FunctionInfo "tails" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TCons ("Prelude","[]") [(TVar 0)])])) "List" "Returns all final segments of a list, starting with the longest.\nExample: `tails [1,2,3] == [[1,2,3],[2,3],[3],[]]`\n" False KnownFlex),(FunctionInfo "replace" (FuncType (TVar 0) (FuncType (TCons ("Prelude","Int") []) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)])))) "List" "Replaces an element in a list.\n" False ConflictFR),(FunctionInfo "isPrefixOf" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","Bool") []))) "List" "Checks whether a list is a prefix of another.\n" False KnownFlex),(FunctionInfo "isSuffixOf" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","Bool") []))) "List" "Checks whether a list is a suffix of another.\n" False UnknownFR),(FunctionInfo "isInfixOf" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","Bool") []))) "List" "Checks whether a list is contained in another.\n" False UnknownFR),(FunctionInfo "sortBy" (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)]))) "List" "Sorts a list w.r.t. an ordering relation by the insertion method.\n" False UnknownFR),(FunctionInfo "insertBy" (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Bool") []))) (FuncType (TVar 0) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)])))) "List" "Inserts an object into a list according to an ordering relation.\n" False ConflictFR),(FunctionInfo "last" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TVar 0)) "List" "Returns the last element of a non-empty list.\n" False KnownFlex),(FunctionInfo "init" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)])) "List" "Returns the input list with the last element removed.\n" False KnownFlex),(FunctionInfo "sum" (FuncType (TCons ("Prelude","[]") [(TCons ("Prelude","Int") [])]) (TCons ("Prelude","Int") [])) "List" "Returns the sum of a list of integers.\n" False UnknownFR),(FunctionInfo "product" (FuncType (TCons ("Prelude","[]") [(TCons ("Prelude","Int") [])]) (TCons ("Prelude","Int") [])) "List" "Returns the product of a list of integers.\n" False UnknownFR),(FunctionInfo "maximum" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TVar 0)) "List" "Returns the maximum of a non-empty list.\n" False KnownFlex),(FunctionInfo "maximumBy" (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Ordering") []))) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TVar 0))) "List" "Returns the maximum of a non-empty list\naccording to the given comparison function\n" False KnownFlex),(FunctionInfo "minimum" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TVar 0)) "List" "Returns the minimum of a non-empty list.\n" False KnownFlex),(FunctionInfo "minimumBy" (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TCons ("Prelude","Ordering") []))) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TVar 0))) "List" "Returns the minimum of a non-empty list\naccording to the given comparison function\n" False KnownFlex),(FunctionInfo "scanl" (FuncType (FuncType (TVar 0) (FuncType (TVar 1) (TVar 0))) (FuncType (TVar 0) (FuncType (TCons ("Prelude","[]") [(TVar 1)]) (TCons ("Prelude","[]") [(TVar 0)])))) "List" "`scanl` is similar to `foldl`, but returns a list of successive\nreduced values from the left:\n scanl f z [x1, x2, ...] == [z, z `f` x1, (z `f` x1) `f` x2, ...]\n" False KnownRigid),(FunctionInfo "scanl1" (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TVar 0))) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)]))) "List" "`scanl1` is a variant of `scanl` that has no starting value argument:\n scanl1 f [x1, x2, ...] == [x1, x1 `f` x2, ...]\n" False KnownFlex),(FunctionInfo "scanr" (FuncType (FuncType (TVar 0) (FuncType (TVar 1) (TVar 1))) (FuncType (TVar 1) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 1)])))) "List" "`scanr` is the right-to-left dual of `scanl`.\n" False KnownFlex),(FunctionInfo "scanr1" (FuncType (FuncType (TVar 0) (FuncType (TVar 0) (TVar 0))) (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)]))) "List" "`scanr1` is a variant of `scanr` that has no starting value argument.\n" False KnownFlex),(FunctionInfo "mapAccumL" (FuncType (FuncType (TVar 0) (FuncType (TVar 1) (TCons ("Prelude","(,)") [(TVar 0),(TVar 2)]))) (FuncType (TVar 0) (FuncType (TCons ("Prelude","[]") [(TVar 1)]) (TCons ("Prelude","(,)") [(TVar 0),(TCons ("Prelude","[]") [(TVar 2)])])))) "List" "The `mapAccumL` function behaves like a combination of `map` and\n`foldl`; it applies a function to each element of a list, passing\nan accumulating parameter from left to right, and returning a final\nvalue of this accumulator together with the new list.\n" False KnownFlex),(FunctionInfo "mapAccumR" (FuncType (FuncType (TVar 0) (FuncType (TVar 1) (TCons ("Prelude","(,)") [(TVar 0),(TVar 2)]))) (FuncType (TVar 0) (FuncType (TCons ("Prelude","[]") [(TVar 1)]) (TCons ("Prelude","(,)") [(TVar 0),(TCons ("Prelude","[]") [(TVar 2)])])))) "List" "The `mapAccumR` function behaves like a combination of `map` and\n`foldr`; it applies a function to each element of a list, passing\nan accumulating parameter from right to left, and returning a final\nvalue of this accumulator together with the new list.\n" False KnownFlex),(FunctionInfo "cycle" (FuncType (TCons ("Prelude","[]") [(TVar 0)]) (TCons ("Prelude","[]") [(TVar 0)])) "List" "Builds an infinite list from a finite one.\n" False KnownFlex),(FunctionInfo "unfoldr" (FuncType (FuncType (TVar 0) (TCons ("Prelude","Maybe") [(TCons ("Prelude","(,)") [(TVar 1),(TVar 0)])])) (FuncType (TVar 0) (TCons ("Prelude","[]") [(TVar 1)]))) "List" "Builds a list from a seed value.\n" False KnownRigid)] [])
\ No newline at end of file
examples/DOC_AbstractCurry.Pretty/List.html 0 → 100644
View file @ 3f4d402e
This diff is collapsed.
examples/DOC_AbstractCurry.Pretty/List_curry.html 0 → 100644
View file @ 3f4d402e
This diff is collapsed.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment