hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Haskell.Hatchet.Type
Synopsis
kind
::
HasKind
t => t ->
Kind
apply
::
Types
t =>
Subst
-> t -> t
nullSubst
::
Subst
(@@)
::
Subst
->
Subst
->
Subst
class
Types
t
where
apply
::
Subst
-> t -> t
tv
:: t -> [
Tyvar
]
(+->)
::
Tyvar
->
Type
->
Subst
merge
::
Subst
->
Subst
->
Maybe
Subst
mgu
::
Type
->
Type
->
Maybe
Subst
match
::
Type
->
Type
->
Maybe
Subst
quantify
:: [
Tyvar
] ->
Qual
Type
->
Scheme
toScheme
::
Type
->
Scheme
find
::
AHsName
-> [
Assump
] ->
Scheme
makeAssump
::
AHsName
->
Scheme
->
Assump
assumpScheme
::
Assump
->
Scheme
assumpToPair
::
Assump
-> (
AHsName
,
Scheme
)
pairToAssump
:: (
AHsName
,
Scheme
) ->
Assump
assumpId
::
Assump
->
AHsName
class
Instantiate
t
where
inst
:: [
Type
] -> t -> t
Produced by
Haddock
version 0.6