type-settheory-0.1.3.1: Sets and functions-as-relations in the type system

Type.Set.Example

Synopsis

Documentation

newtype SMap set a Source

A Map whose keys are taken from any type which is a member of set

Constructors

SMap (Map (V set) a) 

singleton :: (Fact (set :⊆: OrdType), Fact (set :⊆: TypeableType), Fact (set :⊆: EqType)) => (k :∈: set) -> k -> a -> SMap set aSource

insert :: (Fact (set :⊆: OrdType), Fact (set :⊆: TypeableType), Fact (set :⊆: EqType)) => (k :∈: set) -> k -> a -> SMap set a -> SMap set aSource

lookup :: (Fact (set :⊆: OrdType), Fact (set :⊆: TypeableType), Fact (set :⊆: EqType)) => (k :∈: set) -> k -> SMap set a -> Maybe aSource