CLASE-2008.9.23.1: Cursor Library for A Structured EditorSource codeContentsIndex
Data.Cursor.CLASE.Util
Documentation
data Exists a whereSource
Constructors
Exists :: a b -> Exists a
data TyEq a b whereSource
Constructors
Eq :: TyEq a a
data Id a whereSource
Constructors
Id :: a -> Id a
if' :: Bool -> a -> a -> aSource
Produced by Haddock version 2.3.0