UU.Util.PermTree

Documentation

data Perms p a

Constructors

Choice (Maybe a) [Branch p a]

Instances

Functor (Perms p)

Defined in UU.Util.PermTree

Methods

fmap :: (a -> b) -> Perms p a -> Perms p b

(<$) :: a -> Perms p b -> Perms p a

data Branch p a

Constructors

forall x. Br (p x) (Perms p (x -> a))

Instances

Functor (Branch p)

Defined in UU.Util.PermTree

Methods

fmap :: (a -> b) -> Branch p a -> Branch p b

(<$) :: a -> Branch p b -> Branch p a

add :: Maybe a -> p a -> Perms p (a -> b) -> Perms p b

empty :: a -> Perms p a

(<$$>) :: (a -> b) -> p a -> Perms p b

(<$?>) :: (a -> b) -> (a, p a) -> Perms p b

(<||>) :: Perms p (a -> b) -> p a -> Perms p b

(<|?>) :: Perms p (a -> b) -> (a, p a) -> Perms p b