@hackage idris dependencies

14 results

Concrete functor and monad transformers

Process libraries

Monadic parser combinators

Monad classes for transformers, using functional dependencies

Library for manipulating FilePaths in a cross platform way.

Platform-agnostic library for filesystem operations

Assorted concrete container types

Fast, compact, strict and lazy byte strings with a list interface

Binary serialisation for Haskell values using lazy ByteStrings

Core data structures and operations

A framework for packaging Haskell software

Combinator library for splitting lists.

Pretty-printing library

A command-line interface for user input, written in Haskell.