 | darcs-2.4: a distributed, interactive, smart revision control system | Contents | Index |
|
|
|
|
|
Documentation |
|
data EqCheck where |
Constructors | | Instances | |
|
|
isEq :: EqCheck -> Bool |
|
data a1 :> a2 |
Constructors | | Instances | |
|
|
data a1 :< a2 |
|
|
data a1 :\/: a2 |
Constructors | | Instances | |
|
|
data a1 :/\: a2 |
|
|
data a1 :||: a2 |
|
|
data FL a where |
Constructors | :>: :: a -> FL a -> FL a | | NilFL :: FL a | |
| Instances | |
|
|
data RL a where |
Constructors | :<: :: a -> RL a -> RL a | | NilRL :: RL a | |
| Instances | |
|
|
data Proof a where |
|
|
unsafeUnFL :: FL a -> [a] |
|
unsafeFL :: [a] -> FL a |
|
unsafeRL :: [a] -> RL a |
|
unsafeUnRL :: RL a -> [a] |
|
lengthFL :: FL a -> Int |
|
mapFL :: (a -> b) -> FL a -> [b] |
|
mapFL_FL :: (a -> b) -> FL a -> FL b |
|
spanFL :: (a -> Bool) -> FL a -> FL a :> FL a |
|
foldlFL :: (a -> b -> a) -> a -> FL b -> a |
|
allFL :: (a -> Bool) -> FL a -> Bool |
|
splitAtFL :: Int -> FL a -> FL a :> FL a |
|
bunchFL :: Int -> FL a -> FL (FL a) |
|
foldlRL :: (a -> b -> a) -> a -> RL b -> a |
|
lengthRL :: RL a -> Int |
|
isShorterThanRL :: RL a -> Int -> Bool |
|
mapRL :: (a -> b) -> RL a -> [b] |
|
mapRL_RL :: (a -> b) -> RL a -> RL b |
|
zipWithFL :: (a -> p -> q) -> [a] -> FL p -> FL q |
|
unsafeMap_l2f :: (a -> b) -> [a] -> FL b |
|
filterE :: (a -> EqCheck) -> [a] -> [Proof a] |
|
filterFL :: (p -> EqCheck) -> FL p -> FL p |
|
reverseFL :: FL a -> RL a |
|
reverseRL :: RL a -> FL a |
|
(+>+) :: FL a -> FL a -> FL a |
|
(+<+) :: RL a -> RL a -> RL a |
|
nullFL :: FL a -> Bool |
|
concatFL :: FL (FL a) -> FL a |
|
concatRL :: RL (RL a) -> RL a |
|
concatReverseFL :: FL (RL a) -> RL a |
|
headRL :: RL a -> FlippedSeal a |
|
class MyEq p where |
| Methods | | | Instances | |
|
|
consRLSealed :: a -> FlippedSeal (RL a) -> FlippedSeal (RL a) |
|
nullRL :: RL a -> Bool |
|
unsafeCoerceP :: a -> a |
|
unsafeCoerceP2 :: t -> t |
|
Produced by Haddock version 2.6.0 |