Popularity
1.3
Declining
Activity
0.0
Stable
0
1
1

Monthly Downloads: 10
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Data     Dependent Types     Singleton    

singleton-dict alternatives and similar packages

Based on the "singleton" category.
Alternatively, view singleton-dict alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of singleton-dict or a related project?

Add another 'singleton' Package

README

singleton-dict

This package provides a typelevel balanced search tree based on an ancient version of Data.Map, originating from the uulib package. I used this older version as it uses relatively "simple" Haskell, and thus is singletonized relatively straightforwardly.

Example

{-# LANGUAGE TypeOperators, PolyKinds, DataKinds, KindSignatures, ConstraintKinds #-}
{-# LANGUAGE TypeFamilies, UndecidableInstances, TemplateHaskell #-}
{-# LANGUAGE FlexibleInstances, GADTs, FlexibleContexts, ScopedTypeVariables, TypeInType #-}
{-# LANGUAGE ScopedTypeVariables, BangPatterns #-}

import Data.Promotion.Prelude.Maybe
import Data.Singletons
import Data.Singletons.TypeRepStar
import Data.Typeable
import Data.Type.Dict

type T0 = Empty NatProxy
type T1 = Insert "foo" Int T0
type T2 = Insert "bar" Bool T1
type T3 = Insert "baz" (Int -> Int) T2
type T4 = FromJust (T3 :!? "bar")

x :: T4
x = True

y :: Dict' Integer String TypeRep
y = fromSing (sing :: Sing T3)