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