- newtype SMap set a = SMap (Map (V set) a)
- singleton :: (Fact (set :⊆: OrdType), Fact (set :⊆: TypeableType), Fact (set :⊆: EqType)) => (k :∈: set) -> k -> a -> SMap set a
- insert :: (Fact (set :⊆: OrdType), Fact (set :⊆: TypeableType), Fact (set :⊆: EqType)) => (k :∈: set) -> k -> a -> SMap set a -> SMap set a
- lookup :: (Fact (set :⊆: OrdType), Fact (set :⊆: TypeableType), Fact (set :⊆: EqType)) => (k :∈: set) -> k -> SMap set a -> Maybe a
- type ExampleSet = (TypeableType :∩: IntegralType) :∪: Singleton String
- stringInExampleSet :: String :∈: ExampleSet
- intInExampleSet :: Int :∈: ExampleSet
- test :: SMap ExampleSet Integer
Documentation
A Map
whose keys are taken from any type which is a member of set
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