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) 

newtype CanonMap k v Source #

Constructors

CanonM (HashMap (StableName k) v) 

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 :: k -> CanonMap k v -> IO (Maybe v) Source #

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

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

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

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