|
Data.Cursor.CLASE.Language |
|
|
|
|
Documentation |
|
|
|
|
|
type family Invert d :: * | Source |
|
|
|
|
|
|
|
|
|
|
|
|
| Associated Types | data Context l :: * -> * -> * | Source |
| | data Movement l :: * -> * -> * -> * | Source |
| | data TypeRep l :: * -> * | Source |
|
| | Methods | |
|
|
|
|
|
|
|
foldPath :: (forall from to. Reify l to => r from to -> from -> to) -> start -> Path l r start finish -> finish | Source |
|
|
|
|
|
data CursorWithMovement l d x from where | Source |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
data Route l from to where | Source |
|
|
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.3.0 |