Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Merge.Synhashed

Synopsis

data Synhashed a = Synhashed {
- hash :: Hash
- value :: !a
}

Documentation

data Synhashed a Source #

A small utility type that represents a syntactic-hashed thing.

The synhash itself is a lazy field so that we can avoid computing it in certain cases, just using laziness.

The Eq and Ord instances only compares syntactic hashes.

Constructors

Synhashed
Fields hash :: Hash value :: !a

Instances

Instances details

Functor Synhashed Source #
Instance details Defined in Unison.Merge.Synhashed Methods fmap :: (a -> b) -> Synhashed a -> Synhashed b # (<$) :: a -> Synhashed b -> Synhashed a #
Generic (Synhashed a) Source #
Instance details Defined in Unison.Merge.Synhashed Associated Types type Rep (Synhashed a) :: Type -> Type # Methods from :: Synhashed a -> Rep (Synhashed a) x # to :: Rep (Synhashed a) x -> Synhashed a #
Show a => Show (Synhashed a) Source #
Instance details Defined in Unison.Merge.Synhashed Methods showsPrec :: Int -> Synhashed a -> ShowS # show :: Synhashed a -> String # showList :: [Synhashed a] -> ShowS #
Eq (Synhashed a) Source #
Instance details Defined in Unison.Merge.Synhashed Methods (==) :: Synhashed a -> Synhashed a -> Bool # (/=) :: Synhashed a -> Synhashed a -> Bool #
Ord (Synhashed a) Source #
Instance details Defined in Unison.Merge.Synhashed Methods compare :: Synhashed a -> Synhashed a -> Ordering # (<) :: Synhashed a -> Synhashed a -> Bool # (<=) :: Synhashed a -> Synhashed a -> Bool # (>) :: Synhashed a -> Synhashed a -> Bool # (>=) :: Synhashed a -> Synhashed a -> Bool # max :: Synhashed a -> Synhashed a -> Synhashed a # min :: Synhashed a -> Synhashed a -> Synhashed a #
type Rep (Synhashed a) Source #
Instance details Defined in Unison.Merge.Synhashed type Rep (Synhashed a) = D1 ('MetaData "Synhashed" "Unison.Merge.Synhashed" "unison-merge-0.0.0-1HFOE3PxHHL9TQ82hhmKgm" 'False) (C1 ('MetaCons "Synhashed" 'PrefixI 'True) (S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))