uulib-0.9.12: Haskell Utrecht Tools Library
Source code
Contents
Index
UU.Util.PermTree
Documentation
data
Perms
p a
Source
Constructors
Choice
(
Maybe
a) [
Branch
p a]
Instances
Functor
(
Perms
p)
data
Branch
p a
Source
Constructors
forall
x .
Br
(p x) (
Perms
p (x -> a))
Instances
Functor
(
Branch
p)
add
::
Maybe
a -> p a ->
Perms
p (a -> b) ->
Perms
p b
Source
empty
:: a ->
Perms
p a
Source
(<$$>)
:: (a -> b) -> p a ->
Perms
p b
Source
(<$?>)
:: (a -> b) -> (a, p a) ->
Perms
p b
Source
(<||>)
::
Perms
p (a -> b) -> p a ->
Perms
p b
Source
(<|?>)
::
Perms
p (a -> b) -> (a, p a) ->
Perms
p b
Source
Produced by
Haddock
version 2.4.2