CLASE-2009.2.11: Cursor Library for A Structured Editor

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