Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Typed

Synopsis

Documentation

data Typed a v ann Source #

A utility type that represents a thing along with its Unison type.

Constructors

Typed
Fields thing :: !a type_ :: !(Type v ann)

Instances details

(Show a, Show v) => Show (Typed a v ann) Source #
Instance details Defined in Unison.Typed Methods showsPrec :: Int -> Typed a v ann -> ShowS # show :: Typed a v ann -> String # showList :: [Typed a v ann] -> ShowS #
(Var v, Eq a) => Eq (Typed a v ann) Source #
Instance details Defined in Unison.Typed Methods (==) :: Typed a v ann -> Typed a v ann -> Bool # (/=) :: Typed a v ann -> Typed a v ann -> Bool #