hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Haskell.Hatchet.HaskellPrelude
Synopsis
preludeInfixDecls
:: [
AHsDecl
]
tyconsMembersHaskellPrelude
:: [(
AHsName
, [
AHsName
])]
fn
::
Type
->
Type
->
Type
preludeDataCons
:: [
Assump
]
preludeTyconAndClassKinds
:: [(
AHsName
,
Kind
)]
Produced by
Haddock
version 0.6