Thimoteus / literate-purescript
literate-style programming for purescript
☆22Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for literate-purescript
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- type classes and deriving via for encoding☆22Updated 4 years ago
- A Generic implementation of data-has.☆22Updated 4 years ago
- Generate a command line client from a servant API☆29Updated 10 months ago
- Types for the least and greatest fixed points of functors.☆15Updated 2 years ago
- ☆26Updated 2 years ago
- Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.☆29Updated 8 months ago
- Slides and projects for LambdaConf 2018 Workshop☆16Updated 6 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Implementation of Dhall in Dhall☆12Updated 2 months ago
- Servant dhall bindings☆19Updated 3 years ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated 2 months ago
- Helper functions for creating coroutines with the Aff monad☆23Updated 2 years ago
- Types and functions for dealing with JavaScript options objects☆20Updated 2 years ago
- Experimental record formatting from type-level format strings☆24Updated last year
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆33Updated 2 years ago
- a servant like DSL for templating requests☆15Updated 3 years ago
- An IO monad for PureScript.☆44Updated 6 years ago
- ☆22Updated 7 years ago
- purescript-behaviors in PSCi☆19Updated 5 years ago
- TemplateHaskell functions to generate types and converter function.☆18Updated 10 months ago
- Argonaut codecs for aeson generic encoding☆12Updated last year
- An experiment in functional interface design☆23Updated 8 years ago
- Simple two-dimensional matrices backed by a flat array☆18Updated 4 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated last week
- A convenient DSL for describing web routes☆43Updated 3 years ago
- A library encoding monoidal functors and related structures in Haskell.☆16Updated 9 months ago
- Leibniz Equality☆18Updated 6 years ago
- A monadic interface for DAG construction.☆24Updated 3 years ago