CLASE-2008.7.21: Cursor Library for A Structured Editor
Contents
Index
Data.Cursor.CLASE.Util
Documentation
data
Exists
a
where
Constructors
Exists
:: a b ->
Exists
a
data
TyEq
a b
where
Constructors
Eq
::
TyEq
a a
data
Id
a
where
Constructors
Id
:: a ->
Id
a
if'
:: Bool -> a -> a -> a
Produced by
Haddock
version 2.2.2