pseudonom/flow-scratch

Stars
1
Language
Created over 8 years ago
Updated over 8 years ago

pseudonom/flow-scratch

pseudonom

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

Scratch pad for Flow type checker

phantheck

Integrates QuickChecked properties into the type system with phantom types

poly-graph

Polymorphic directed graphs

angler

Identify Latinate words with Anglo-Saxon alternatives

checked-delete-cascade

Require cascading during deletion via types

dovetail

Automatically perform `InnerJoin`s in `Esqueleto`

finset

Duplicative. Use http://hackage.haskell.org/package/finite-typelits-0.1.0.0 instead.

haskell-mechanism

Library for mechanism design.

elm-pseudorandom

Pure pseudorandom numbers in Elm

voting

indexedt

Indexed transformer for non-indexed monads

antikythera

Mechanism design

hoogle

bounded-naturals

Wrapper around `Numeric.Natural` that bounds at 0 rather than throwing an underflow

classy-persistent

Use `persistent` with types which cannot be directly expressed as entities

modulate

Automatically import modules in a directory as a preprocessor

indexed-yesod

Demonstration of using indexed monads to track actions during handler.

finite-typelits-bounded

Like `finite-typelits` but the `Num` instance uses `maxBound` and `minBound` instead of modular arithmetic