{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/type-level","name":"type-level","description":"This library permits performing computations on the type-level. Type-level\nfunctions are implemented using functional dependencies of multi\nparameter type classes.\nTo date, Booleans and Numerals (Naturals and Positives) are\nsupported. With regard to Numerals, there is support for common\narithmetic operations (addition, substraction, multiplication,\ndivision, exponientation, logarithm, maximum, comparison, GCD)\nover natural numbers (using a decimal representation to make\ncompile-time errors friendlier).\nAlthough making use of type-level computations might seem devious and\nobfuscated at first sight, it is indeed useful in practice to implement\nlightweight dependent types such us number-parameterized types (e.g. an array\ntype parameterized by the array's size or a modular group type Zn\nparameterized by the modulus).\nHere is a tutorial on type-level numerals and how to use them to\nimplement numerically-parameterized vectors: https://forsyde.ict.kth.se/trac/wiki/ForSyDe/Haskell/ForSyDeTutorial#FSVec","version":"0.3.0","softwareVersion":"0.3.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/forsyde/type-level","issueTracker":"https://github.com/forsyde/type-level/issues","url":"http://code.haskell.org/type-level","keywords":["bsd3","data","library","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"LennartAugustsson"},{"@type":"Person","name":"ugeorge"},{"@type":"Person","name":"ingo"},{"@type":"Person","name":"AlfonsoAcosta"},{"@type":"Person","name":"HoseinAttarzadeh"}],"author":[{"@type":"Person","name":"LennartAugustsson"},{"@type":"Person","name":"ugeorge"},{"@type":"Person","name":"ingo"},{"@type":"Person","name":"AlfonsoAcosta"},{"@type":"Person","name":"HoseinAttarzadeh"}],"copyrightHolder":[{"@type":"Person","name":"LennartAugustsson"},{"@type":"Person","name":"ugeorge"},{"@type":"Person","name":"ingo"},{"@type":"Person","name":"AlfonsoAcosta"},{"@type":"Person","name":"HoseinAttarzadeh"}],"dateCreated":"2008-02-28","dateModified":"2016-07-08","datePublished":"2016-07-08","copyrightYear":2008,"downloadUrl":"https://hackage.haskell.org/package/type-level-0.3.0/type-level-0.3.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/type-level"],"https://www.w3.org/ns/activitystreams#likes":6,"https://forgefed.org/ns#forks":2}