Statements (78)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Library
|
| gptkbp:developed_by |
gptkb:Typelevel
|
| gptkbp:enables |
dependent types
H List |
| gptkbp:has_feature |
type-safe unions
auto-derivation of type class instances generic representation of data types type-safe aggregators type-safe combinators type-safe combinators for applications type-safe combinators for architectures type-safe combinators for arrays type-safe combinators for best practices type-safe combinators for collections type-safe combinators for frameworks type-safe combinators for futures type-safe combinators for graphs type-safe combinators for guidelines type-safe combinators for hierarchies type-safe combinators for iterators type-safe combinators for libraries type-safe combinators for lists type-safe combinators for maps type-safe combinators for matrices type-safe combinators for methodologies type-safe combinators for networks type-safe combinators for options type-safe combinators for patterns type-safe combinators for principles type-safe combinators for protocols type-safe combinators for sequences type-safe combinators for services type-safe combinators for sets type-safe combinators for specifications type-safe combinators for standards type-safe combinators for streams type-safe combinators for systems type-safe combinators for tensors type-safe combinators for tools type-safe combinators for trees type-safe combinators for utilities type-safe combinators for vectors type-safe decoders type-safe deserializers type-safe encoders type-safe filters type-safe functions type-safe intersections type-safe mappers type-safe parsers type-safe pattern matching type-safe records type-safe reducers type-safe serializers type-safe transformations type-safe tuples type-safe validators |
| https://www.w3.org/2000/01/rdf-schema#label |
Shapeless library
|
| gptkbp:influenced_by |
gptkb:Library
|
| gptkbp:is_used_for |
data manipulation
deserialization serialization |
| gptkbp:language |
gptkb:Skrull
|
| gptkbp:latest_version |
2.3.7
|
| gptkbp:license |
Apache License 2.0
|
| gptkbp:provides |
generic programming
type-safe heterogeneous collections |
| gptkbp:related_to |
gptkb:Scalaz
gptkb:Cats_library |
| gptkbp:released_in |
gptkb:2012
|
| gptkbp:repository |
https://github.com/typelevel/shapeless
|
| gptkbp:supports |
type classes
type-level programming implicit conversions type-level computations |
| gptkbp:used_in |
functional programming
|
| gptkbp:bfsParent |
gptkb:Skrull
|
| gptkbp:bfsLayer |
3
|