Generics.Instant.Zipper

Documentation

module Control.Monad.Error

module Data.Typeable

module Generics.Instant

class Family f

Families

Instances

Family PrimFam

Family DeptFam

Family TermFam

class (Representable f, Typeable f, Fillable (Rep f), Firstable (Rep f), Nextable (Rep f), Lastable (Rep f), Prevable (Rep f)) => Zipper f

Zipper

Instances

Zipper Char

Zipper Float

Zipper Int

Zipper Employee

Zipper Dept

Zipper

Zipper Term

Zipper

Zipper a => Zipper [a]

type ZipperR = Either String

enter :: Zipper h => h -> Loc h h Epsilon

leave :: Zipper h => Loc h r c -> r

up :: (Zipper h, Zipper h') => Loc h r (h' :<: c) -> Loc h' r c

down :: (Zipper h, Zipper h', Family f, Show (f h')) => f h' -> Loc h r c -> ZipperR (Loc h' r (h :<: c))

downR :: (Zipper h, Zipper h', Family f, Show (f h')) => f h' -> Loc h r c -> ZipperR (Loc h' r (h :<: c))

left :: (Zipper h, Zipper h', Family f, Show (f h')) => f h' -> Loc h r (c :<: cs) -> ZipperR (Loc h' r (c :<: cs))

right :: (Zipper h, Zipper h', Family f, Show (f h')) => f h' -> Loc h r (c :<: cs) -> ZipperR (Loc h' r (c :<: cs))

down' :: (Zipper h, Zipper h') => h' -> Loc h r c -> ZipperR (Loc h' r (h :<: c))

Down

downR' :: (Zipper h, Zipper h') => h' -> Loc h r c -> ZipperR (Loc h' r (h :<: c))

left' :: (Zipper h, Zipper h') => h' -> Loc h r (c :<: cs) -> ZipperR (Loc h' r (c :<: cs))

right' :: (Zipper h, Zipper h') => h' -> Loc h r (c :<: cs) -> ZipperR (Loc h' r (c :<: cs))

get :: Loc h r c -> h

Navigation

set :: h -> Loc h r c -> Loc h r c

data PrimFam a where

Constructors

Char :: PrimFam Char

Int :: PrimFam Int

Float :: PrimFam Float

List :: (Family f, Show (f a)) => f a -> PrimFam [a]

Instances

Family PrimFam

Show (PrimFam a)