Data.Equality.Utils

Misc utilities used accross modules

Documentation

newtype Fix (f :: Type -> Type)

Fixed point newtype.

Ideally we should use the data-fix package, but right now we're rolling our own due to an initial idea to avoid dependencies to be easier to upstream into GHC (for improvements to the pattern match checker involving equality graphs). I no longer think we can do that without vendoring in some part of just e-graphs, but until I revert the decision we use this type.

Constructors

Fix

Fields

• unFix :: f (Fix f)

Instances

(forall a. Show a => Show (f a)) => Show (Fix f)

Defined in Data.Equality.Utils

Methods

showsPrec :: Int -> Fix f -> ShowS

show :: Fix f -> String

showList :: [Fix f] -> ShowS

(forall a. Eq a => Eq (f a)) => Eq (Fix f)

Defined in Data.Equality.Utils

Methods

(==) :: Fix f -> Fix f -> Bool

(/=) :: Fix f -> Fix f -> Bool

cata :: Functor f => (f a -> a) -> Fix f -> a

Catamorphism

hashString :: String -> Int

Get the hash of a string.

This util is currently used to generate an Int used for the internal pattern variable representation from the external pattern variable representation (String)