unison-runtime-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Runtime.Canonicalizer

Documentation

data Canonicalizer a Source #

canonicalize :: Ord a => Canonicalizer a -> a -> (a, Canonicalizer a) Source #

categorize :: Ord a => Canonicalizer a -> a -> IO (Canonicity a) Source #

unsafeCategorize :: Ord a => Canonicalizer a -> a -> Canonicity a Source #

data Canonicity a Source #

Constructors

Canonical 
Equivalent a (Canonicalizer a) 
Novel (Canonicalizer a) 

data CanonMap k v Source #

Constructors

CanonM 

Fields

Instances

Instances details
Functor (CanonMap k) Source # 
Instance details

Defined in Unison.Runtime.Canonicalizer

Methods

fmap :: (a -> b) -> CanonMap k a -> CanonMap k b #

(<$) :: a -> CanonMap k b -> CanonMap k a #

empty :: Canonicalizer a Source #

lookup :: Ord k => k -> CanonMap k v -> IO (Maybe v) Source #

insert :: Ord k => k -> v -> CanonMap k v -> IO (CanonMap k v) Source #

unsafeLookup :: Ord k => k -> CanonMap k v -> Maybe v Source #

findWithDefault :: Ord k => v -> k -> CanonMap k v -> IO v Source #

fromListByIndex :: Ord k => [k] -> CanonMap k Int Source #

fromList :: Ord k => [(k, v)] -> IO (CanonMap k v) Source #

emptyCM :: CanonMap k v Source #