typeclasses/nat-optics

Stars
2
Language
Haskell
Created over 3 years ago
Updated almost 2 years ago

typeclasses/nat-optics

typeclasses

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Refinement types for natural numbers with an optics interface

haskell-phrasebook

The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs

typeclasses-projects

Supplementary code for Type Classes projects

stripe

Haskell libraries for working with the Stripe API

partial-semigroup

A partial binary associative operator (appendMaybe :: a → a → Maybe a)

loc

Types representing line and column positions and ranges in text files

unfork

Make any action thread safe

leanpub

Haskell client for the Leanpub API

hs-nix-modules

Generates a Nix file that summarizes your Haskell source files and their imports

assoc-list

An association list conceptually signifies a mapping, but is represented as a list (of key-value pairs)

joyofhaskell.com

haskell-report-archive

A collection of old versions of the Haskell Report

emily

bucket for lowering tweets to children

path-text-utf8

Trivial integration of the "path" and "text" packages, providing convenient functions to read and write UTF-8 text files

invert

Automatically generate a function’s inverse

environment-variables

Working with system environment variables

aws-cloudfront-signed-cookies

Generate signed cookies for AWS CloudFront

dsv

DSV (delimiter-separated values)

hex-text

Encode a ByteString as a hexidecimal Text value, or decode hexidecimal Text as a ByteString.

fractal-sets

Escape-time fractals created with Haskell and GD.

sockets-and-pipes

Some utilities that support the Sockets and Pipes, and re-exports from all the libraries covered by the book.

ascii

The ASCII character set and encoding

dirty

A script for checking the status of all your local git repositories

supply-chain

Composable request-response pipelines

foldl-exceptions

Exception handling with FoldM

systemd-socket-activation

Let systemd bind the server's socket for you

either-list-functions

Functions involving lists of Either

d10

one-line-aeson-text

Pretty-printing short Aeson values as text

grab

caboodle

A variety of collections

happy-hour

Generate basic bar plot SVG files

nix-homepage

aeson-decode

Easy functions for converting from Aeson.Value

hedgehog-optics

Hedgehog properties for optics laws

step

pandoc-highlighting-ext

Extensions to Pandoc syntax highlighting

hash-addressed-cli

A command-line interface for maintaining a directory wherein each file's name is a hash of its content

memfd

Open temporary anonymous Linux file handles

lazy-async

Asynchronous actions that don't start right away

quaalude

A minimal Prelude alternative containing only what is truly needed by the vast majority of modules

scotty-path-normalizer

Scotty action to redirect to a normalized path (remove trailing slash, "..", etc.)

monads-tf

Monad classes, using type families

xturtle-demonstration

data-forest

A simple multi-way tree data structure

colour-text

Provides functions to render and parse color values as text

supply-next

Supply-chain interface for basic streaming