Package0.8.2Other

fcf-containers

Data structures and algorithms for first-class-families

Version0.8.2
CategoryOther
LicenceBSD-3-Clause
Authorgspia
Maintaineriahogsp@gmail.com
Homepagegithub.com/gspia/fcf-containers
Pinned byhackage fcf-containers 0.8.2
Sourcehackage.haskell.org/package/fcf-containers-0.8.2

Modules

Fcf.Alg.ListFcf.Alg.List Type-level ListF to be used with Cata, Ana and Hylo. This module also contains other list-related functions (that might move to
Fcf.Alg.MorphismFcf.Alg.Morphism Type-level Cata and Ana can be used to do complex computation that live only
Fcf.Alg.NatFcf.Data.Nat
Fcf.Alg.OtherFcf.Alg.Other To be moved to some other place
Fcf.Alg.SortFcf.Alg.Sort
Fcf.Alg.SymbolFcf.Alg.Symbol Type-level symbols and functions for them. Note that the operators from this module conflict with GHC.TypeLits. TODO: Woul…
Fcf.Alg.TreeFcf.Alg.Tree Type-level TreeF and BTreeF to be used with Cata, Ana and Hylo. This also
Fcf.Control.MonadFcf.Control.Monad
Fcf.Data.BitreeFcf.Data.Bitree Binary trees
Fcf.Data.CharFcf.Data.Char
Fcf.Data.List.UtilsFcf.Data.List.Utils Some of the following methods would probably have better place at the
Fcf.Data.MapCFcf.Data.MapC MapC provides an interface to mapping keys to values, which is similar to
Fcf.Data.NatMapFcf.Data.NatMap NatMap provides an interface to mapping keys (Nat's) to values, which is
Fcf.Data.NewTextFcf.Data.NewText We mimick Data.Text but on type level. The current internal representation
Fcf.Data.OldTextFcf.Data.OldText We mimick Data.Text but on type level. The internal representation is based on
Fcf.Data.ReflectFcf.Data.Reflect Helpers to get results from type-level computations into the fromType-level.
Fcf.Data.SetFcf.Data.Set Set provides an interface which is similar to the that given by the
Fcf.Data.SymbolFcf.Data.Symbol This might should go to first-class-families.
Fcf.Data.TextFcf.Data.Text We mimick Data.Text but on type level. The current internal representation is based
Fcf.Data.TreeFcf.Data.Tree Tree provides an interface which is similar to the that given by the
Fcf.Data.TupleFcf.Data.Tuple

Internal modules · 1

Fcf.Data.Text.InternalFcf.Data.Text.Internal This is from https://kcsongor.github.io/symbol-parsing-haskell/ Please do also check the symbols library at Hackage.

Description

Package fcf-containers provides type-level functions and data structures that operate on type-level computations. Specifically, we mimick the contents of containers-package and show how these can be used. Everything is based on the ideas given in the first-class-families -package.

Depends on

4 packages

Used by in this set · 0

Nothing in this set depends on it.