Showing entries 16301-16400 out of 17883.
Deprecated in favor of eros
Typed type representations and equality proofs
Template Your Boilerplate - a Template Haskell version of SYB
Provide proof witnesses for closed type family evaluation
Analyzes Haskell source files for easy reference
Various type-aligned sequence data structures
Runtime type assertions for testing
Type-level booleans via type-families
Utilities for caching type families results
Type-level serialization of type constructors
A collection of data types for type-level programming
Quasiquoters for the 'type-combinators' package
Interop between /type-combinators/ and /singletons/
Type-level Ord compatibility layer
Arbitrary-base type-level digits
Type equality evidence you can carry around
Type equality check
Tools for writing better type errors
Combinators for writing pretty type errors easily
Please see the README on GitHub at https://github.com/githubuser/type-flip#readme
Collection of widely reimplemented type families
Emulation of type-level functions
Guide type inference with proxy values
Queues with verified and unverified versions
Type Level 2s- and 16s- Complement Integers
Interpreter for Template Haskell types
Typeclasses for injective relations and isomorphisms between types
Type-level programming library
Type-level binary search trees in haskell
Provides integers lifted to the type level
Type level Key-Value list
Make Esqueleto handy with type-level-kv-list
Make Persistent Raw SQL handy with type-level-kv-list
Simple type level natural numbers
High-level combinators for performing inductive operations
Basic operations on type-level natural numbers
Type level numbers implemented using type families
Type-level sets and finite maps (with value-level counterparts)
Type-level programming library (type families)
Operations on type-level lists and tuples
Type-indexed maps
Type-level natural and proofs of their properties
High performance type driven html generation
Optimize static parts of type-of-html
Various type-level operators
Type-level comparison operator
Generic type-level comparison of types
Partial port of prelude to the type level
Support functions to work with type representations
Classes for the rig (sums and products) of types
Type safe BST and AVL trees
Type set
Type-level sets
Sets and functions-as-relations in the type system
Type Level Specification by Example
A spine-view on types
Type structure analysis
Substitute types for other types with Template Haskell
Tree representations of datatypes
Type-level and typed unary natural numbers, inequality proofs, vectors
Mock functions and expressions anywhere
Automatic deriving of TypeableN instances with Template Haskell
An implementation of LangChain in Haskell
Simple type check plugin which calculate addition, subtraction and less-or-equal-than
Typing speed game
Type composition classes & instances
Admin console framework
Digits, indexed by their base at the type level
Thread delay and timeout functions with typed arguments
Type safe string transformations
Bridge between encoding and typed-encoding packages
Run external processes, with strong typing of streams
A binding of the typed-process library for the effectful effect system
Typed and composable spreadsheets
A stream based replacement for lists
A strongly typed way to handle time and date formats
Phantom-Typed version of UUID
Language-independent type-safe communication
Haskell utility library required for code generated by typed-wire compiler
Typed frontend to TensorFlow and higher-order deep learning
Parser for SQL augmented with types
Create a unique hash value for a type
TypeIlluminator is a prototype tool exploring debugging of type errors/
Plugin to faciliate type-level let
Useful type level operations (type families and related operators)
Solve type equalities using custom type-level rewrite rules
Tensors whose ranks and dimensions type-inferred and type-checked
Type-safe printf from parsing GHC TypeLits Symbol
Existential witnesses, singletons, and classes for operations on GHC TypeLits
Some Nat-indexed types for GHC
Type level numbers using existing Nat functionality
Small script for inferring types
Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation
Efficient implementation of a dependent map with types as keys
Ghc-7.6/7.8 compatible GHC.TypeLits, Data
Enforce endianness with types
Type-safe transformations and purifications of PreCures (Japanese Battle Heroine)
A documentation generator for TypeScript Definition files
Type level numbers, vectors, list