hset-0.0.1: Primitive heterogenous read-only set

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.HSet

Synopsis

Documentation

data HSet elems where Source

Heterogeneous set (list) of elements with unique types. Usefull with MonadReader

Constructors

HSNil :: HSet [] 
HSCons :: (False ~ Elem elem elems) => elem -> HSet elems -> HSet (elem : elems) 

class (i ~ Index e els) => HGet els e i where Source

Methods

hget :: HSet els -> e Source

Get any data from HSet for you