Generics 137 results

@hackage/algebraic-classes

Conversions between algebraic classes and F-algebras.

@hackage/alloy

Generic programming library

@hackage/alloy-proxy-fd

Some add-on instances for the Alloy library

@hackage/Annotations

Constructing, analyzing and destructing annotated trees

@hackage/ats-storable

Marshal ATS types into Haskell

@hackage/barbies-th

Create strippable HKD via TH

@hackage/basic-sop

Basic examples and functions for generics-sop

@hackage/BiGUL

The Bidirectional Generic Update Language

@hackage/Capabilities

Separate and contain effects of IO monad.

@hackage/church

Automatically convert Generic instances to and from church representations

@hackage/compdata

Compositional Data Types

@hackage/compdata-automata

Tree automata on Compositional Data Types

@hackage/compdata-dags

Compositional Data Types on DAGs

@hackage/compdata-fixplate

Compdata basics implemented on top of Fixplate

@hackage/compdata-param

Parametric Compositional Data Types

@hackage/compstrat

Strategy combinators for compositional data types

@hackage/comptrans

Automatically converting ASTs into compositional data types

@hackage/constr-eq

Equality by only Constructor

@hackage/contra-tracers

A logging library built on top of contra-tracer to make configuring and declaring multiple tracers easy (via generics).

@hackage/deep-transformations

Deep natural and unnatural tree transformations, including attribute grammars

@hackage/derive-enumerable

Generic instances for enumerating complex data types

@hackage/derive-IG

Macro to derive instances for Instant-Generics using Template Haskell

@hackage/derive-lifted-instances

Derive class instances though various kinds of lifting

@hackage/deriving-aeson

Type driven generic aeson instance customisation

@hackage/deriving-openapi3

DerivingVia for OpenAPI 3

@hackage/deriving-show-simple

Derive a Show instance without field selector names

@hackage/emgm

Extensible and Modular Generics for the Masses

@hackage/fixplate

Uniplate-style generic traversals for optionally annotated fixed-point types.

@hackage/flay

Work generically on your datatype without knowing its shape nor its contents.

@hackage/fsharp

some F# operators, high priority pipes

@hackage/functorm

Data.FunctorM (compatibility package)

@hackage/gdiff-ig

Generic diff for the instant-generics library

@hackage/gdiff-th

Generate gdiff GADTs and Instances.

@hackage/generic-binary

Generic Data.Binary derivation using GHC generics.

@hackage/generic-church

Automatically convert Generic instances to and from church representations

@hackage/generic-constraints

Constraints via Generic

@hackage/generic-data

Deriving instances with GHC.Generics and related utilities

@hackage/generic-deepseq

Generic deep evaluation of data structures

@hackage/generic-deriving

Generic programming library for generalised deriving.

@hackage/generic-functor

Deriving generalized functors with GHC.Generics

@hackage/generic-labels

Generically extract and replace collections of record fields

@hackage/generic-lens

Generically derive traversals, lenses and prisms.

@hackage/generic-lens-core

Generically derive traversals, lenses and prisms.

@hackage/generic-lens-labels

GHC.OverloadedLabels.IsLabel instance for lenses from ghc-generics

@hackage/generic-lens-lite

Monomorphic field lens like with generic-lens

@hackage/generic-maybe

A generic version of Data.Maybe

@hackage/generic-optics

Generically derive traversals, lenses and prisms.

@hackage/generic-optics-lite

Monomorphic field opics like with generic-lens

@hackage/generic-override

Provides functionality for overriding instances for generic derivation

@hackage/generic-override-aeson

Provides orphan instances necessary for integrating generic-override and aeson

@hackage/generic-pretty-instances

GenericPretty canonical instances

@hackage/generic-random

Generic random generators for QuickCheck

@hackage/generic-records

Magic record operations using generics

@hackage/generically

Generically newtype to use with DerivingVia

@hackage/GenericPretty

A generic, derivable, haskell pretty printer.

@hackage/generics-eot

A library for generic programming that aims to be easy to understand

@hackage/generics-mrsop

Generic Programming with Mutually Recursive Sums of Products.

@hackage/generics-mrsop-gdiff

Reimplementation of the gdiff algorithm for generics-mrsop

@hackage/generics-sop

Generic Programming using True Sums of Products

@hackage/generics-sop-lens

Lenses for types in generics-sop

@hackage/genifunctors

Generate generalized fmap, foldMap and traverse

@hackage/geniplate

Use Template Haskell to generate Uniplate-like functions.

@hackage/geniplate-mirror

Use Template Haskell to generate Uniplate-like functions.

@hackage/gpah

Generic Programming Use in Hackage

@hackage/guarded-rewriting

Datatype-generic rewriting with preconditions

@hackage/heidi

Tidy data in Haskell

@hackage/idiomatic

Deriving Applicative for sum types.. Idiomatically.

@hackage/instant-aeson

Generic Aeson instances through instant-generics

@hackage/instant-bytes

Generic Serial instances through instant-generics

@hackage/instant-deepseq

Generic NFData instances through instant-generics

@hackage/instant-generics

Generic programming library with a sum of products view

@hackage/instant-hashable

Generic Hashable instances through instant-generics

@hackage/instant-zipper

Heterogenous Zipper in Instant Generics

@hackage/iso-deriving

Deriving via arbitrary isomorphisms.

@hackage/json-sop

Generics JSON (de)serialization using generics-sop

@hackage/large-generics

Generic programming API for large-records and large-anon

@hackage/large-records

Efficient compilation for large records, linear in the size of the record

@hackage/lens

Lenses, Folds and Traversals

@hackage/lens-action

Monadic Getters and Folds

@hackage/lens-core

A placeholder for a future lens core package.

@hackage/lens-sop

Computing lenses generically using generics-sop

@hackage/ligd

Lightweight Implementation of Generics and Dynamics

@hackage/linear-generics

Generic programming library for generalised deriving.

@hackage/ListLike

Generalized support for list-like structures

@hackage/listlike-instances

Extra instances of the ListLike class

@hackage/meta-misc

Utility library providing miscellaneous meta-programming utilities.

@hackage/model

Derive a model of a data type using Generics

@hackage/multifocal

Bidirectional Two-level Transformation of XML Schemas

@hackage/multiplate

Lightweight generic library for mutually recursive data types.

@hackage/multiplate-simplified

Shorter, more generic functions for Multiplate.

@hackage/multirec

Generic programming for families of recursive datatypes

@hackage/multirec-alt-deriver

Alternative multirec instances deriver

@hackage/multirec-binary

Generic Data.Binary instances using MultiRec.

@hackage/mutable-lens

Interoperate mutable references with regular lens

@hackage/nominal

Binders and alpha-equivalence made easy

@hackage/one-liner

Constraint-based generics

@hackage/pointless-haskell

Pointless Haskell library

@hackage/pointless-lenses

Pointless Lenses library

@hackage/pointless-rewrite

Pointless Rewrite library

@hackage/posable

A product-of-sums generics library

@hackage/PPrinter

A generic derivable Haskell pretty printer

@hackage/pretty-sop

A generic pretty-printer using generics-sop

@hackage/projection

Projection function for arbitrarily nested binary product types.

@hackage/putlenses

Put-based lens library

@hackage/quiet

Generic deriving of Read/Show with no record labels.

@hackage/rank2classes

standard type constructor class hierarchy, only with methods of rank 2 types

@hackage/records-sop

Record subtyping and record utilities with generics-sop

@hackage/regular

Generic programming library for regular datatypes.

@hackage/regular-extras

Additional functions for regular: arbitrary, coarbitrary, and binary get/put.

@hackage/regular-web

Generic programming for the web

@hackage/reified-records

Reify records to Maps and back again

@hackage/RepLib

Generic programming library with representation types

@hackage/rewriting

Generic rewriting library for regular datatypes.

@hackage/sai-shape-syb

Obtain homogeneous values from arbitrary values, transforming or culling data

@hackage/shapely-data

Generics using @(,)@ and @Either@, with algebraic operations and typed conversions

@hackage/smallcheck-kind-generics

See README for more info

@hackage/special-functors

Control.Applicative, Data.Foldable, Data.Traversable (compatibility package)

@hackage/spine

Simple implementation of the generic spine view

@hackage/split-morphism

Split Epimorphisms and Monomorphisms

@hackage/staged-gg

GHC.Generics style staged generics

@hackage/Strafunski-StrategyLib

Library for strategic programming

@hackage/StrategyLib

@hackage/syb

Scrap Your Boilerplate

@hackage/syz

Scrap Your Zippers

@hackage/text-generic-pretty

A generic, derivable, haskell pretty printer.

@hackage/thorn

Datatype Manipulation with Template Haskell

@hackage/TYB

Template Your Boilerplate - a Template Haskell version of SYB

@hackage/unbound

Generic support for programming with names and binders

@hackage/unfoldable

Class of data structures that can be unfolded.

@hackage/uniplate

Help writing simple, concise and fast generic operations.

@hackage/vinyl-generics

Convert plain records to vinyl (and vice versa), generically.

@hackage/wakame

Functions to manipulate records

@hackage/wrapped

Newtypes to carry DerivingVia instances

@hackage/wrapped-generic-default

A Generic instance of Default

@hackage/xformat

Extensible, type-safe formatting with scanf- and printf-like functions

@hackage/yoko

Generic Programming with Disbanded Data Types

@hackage/zipper

Generic zipper for families of recursive datatypes