| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Typechecker.TypeLookup
Documentation
data TypeLookup v a Source #
Constructors
| TypeLookup | |
Fields
| |
Instances
| Functor (TypeLookup v) Source # | |
Defined in Unison.Typechecker.TypeLookup Methods fmap :: (a -> b) -> TypeLookup v a -> TypeLookup v b # (<$) :: a -> TypeLookup v b -> TypeLookup v a # | |
| Monoid (TypeLookup v a) Source # | |
Defined in Unison.Typechecker.TypeLookup Methods mempty :: TypeLookup v a # mappend :: TypeLookup v a -> TypeLookup v a -> TypeLookup v a # mconcat :: [TypeLookup v a] -> TypeLookup v a # | |
| Semigroup (TypeLookup v a) Source # | |
Defined in Unison.Typechecker.TypeLookup Methods (<>) :: TypeLookup v a -> TypeLookup v a -> TypeLookup v a # sconcat :: NonEmpty (TypeLookup v a) -> TypeLookup v a # stimes :: Integral b => b -> TypeLookup v a -> TypeLookup v a # | |
| (Show v, Show a) => Show (TypeLookup v a) Source # | |
Defined in Unison.Typechecker.TypeLookup Methods showsPrec :: Int -> TypeLookup v a -> ShowS # show :: TypeLookup v a -> String # showList :: [TypeLookup v a] -> ShowS # | |
typeOfReferent :: TypeLookup v a -> Referent -> Maybe (Type v a) Source #
unsafeConstructorType :: TypeLookup v a -> TypeReference -> ConstructorType Source #
constructorType :: TypeLookup v a -> TypeReference -> Maybe ConstructorType Source #
typeOfDataConstructor :: TypeLookup v a -> ConstructorReference -> Maybe (Type v a) Source #
typeOfEffectConstructor :: TypeLookup v a -> ConstructorReference -> Maybe (Type v a) Source #
typeOfTerm :: TypeLookup v a -> TermReference -> Maybe (Type v a) Source #
typeOfTerm' :: TypeLookup v a -> TermReference -> Either TermReference (Type v a) Source #