Hoogle Search
Within LTS Haskell 24.36 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Mapping between Aeson's JSON and Bson objects. This package lets you convert between Aeson's JSON and Bson objects.
-
A dependently typed functional programming language and proof assistant Agda is a dependently typed functional programming language: It has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Rocq (formerly known as Coq), Idris, Lean and NuPRL. This package includes both a command-line program (agda) and an Emacs mode.
-
Near-future Sci-Fi roguelike and tactical squad combat game Allure of the Stars is a near-future Sci-Fi roguelike and tactical squad combat game. Binaries and the game manual are available at the homepage. You can also try the game out in the browser at http://allureofthestars.com/play. Not a single image in this game. You have to imagine everything yourself, like with a book (a grown-up book, without pictures). Once you learn to imagine things, though, you can keep exploring and mastering the world and making up stories for a long time. The game is written in Haskell using the LambdaHack roguelike game engine http://hackage.haskell.org/package/LambdaHack. Please see the changelog file for recent improvements and the issue tracker for short-term plans. Long term goals are high replayability and auto-balancing through procedural content generation and persistent content modification based on player behaviour. Contributions are welcome. This is a workaround .cabal file, flattened to eliminate internal libraries until generating haddocks for them is fixed. The original .cabal file is in .cabal.bkp file.
-
A compiler front-end generator. The BNF Converter is a compiler construction tool generating a compiler front-end from a Labelled BNF grammar. It was originally written to generate Haskell code, but can also be used for generating Agda, C, C++, Java, Ocaml and XML code. Given a Labelled BNF grammar the tool produces: an abstract syntax as a Haskell, Agda, C, C++, Ocaml module or Java package, a case skeleton for the abstract syntax in the same language, an Alex, Flex, JLex, JFlex, or ocamllex lexer generator file, a Happy, CUP, Bison, Antlr, ocamlyacc or menhir parser generator file, a pretty-printer as a Haskell, Agda, C, C++, Java, or Ocaml module, an XML representation, a LaTeX file containing a readable specification of the language.
-
Newick file format parser. This is a simple parser for Newick trees. The parser returns a rose tree. Each node is labelled with the node name (or an empty string for anonymous nodes) and a distance (0 if not given). Includes conversion to an efficient static forest.
-
Batteries-included Structured Logging library Please see README.md
-
Generalized booleans and numbers Some classes for generalized boolean operations. Starting with 0.1.0, this package uses type families. Up to version 0.0.2, it used MPTCs with functional dependencies. My thanks to Andy Gill for suggesting & helping with the change. Thanks also to Alex Horsman for Data.Boolean.Overload and to Jan Bracker for Data.Boolean.Numbers. Copyright 2009-2013 Conal Elliott; BSD3 license.
-
Implementation of bounded channels. This library introduces BoundedChan. BoundedChans differ from Chans in that they are guaranteed to contain no more than a certain number of elements.
-
Diagrams backend for Charts. Diagrams backend for Charts.
-
Libary for parsing Clustal tools output Currently contains parsers and datatypes for: clustalw2, clustalo, mlocarna, cmalign Clustal tools are multiple sequence alignment tools for biological sequence like DNA, RNA and Protein. For more information on clustal Tools refer to http://www.clustal.org/. Mlocarna is a multiple sequence alignment tool for RNA sequences with secondary structure output. For more information on mlocarna refer to http://www.bioinf.uni-freiburg.de/Software/LocARNA/. Cmalign is a multiple sequence alignment program based on RNA family models and produces ,among others, clustal output. It is part of infernal http://infernal.janelia.org/.