| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Chapter14_2
Synopsis
- data Pairs a = Pr a a
- pair1 :: Pairs Int
- pair2 :: Pairs [Int]
- pair3 :: Pairs [a]
- equalPair :: Eq a => Pairs a -> Bool
- data List a
- data Tree a
- depthT :: Tree a -> Integer
- collapse :: Tree a -> [a]
- collapseEG :: [Integer]
- mapTree :: (a -> b) -> Tree a -> Tree b
- data Either a b
- eitherEG1 :: Either String Int
- eitherEG2 :: Either String Int
- isLeft :: Either a b -> Bool
- either :: (a -> c) -> (b -> c) -> Either a b -> c
- applyLeft :: (a -> c) -> Either a b -> c
- data GTree a
- tl :: [a] -> [a]
- divide :: Integer -> Integer -> Integer
- hd :: a -> [a] -> a
- data Maybe a
- errDiv :: Integer -> Integer -> Maybe Integer
- mapMaybe :: (a -> b) -> Maybe a -> Maybe b
- maybe :: b -> (a -> b) -> Maybe a -> b
- handle1 :: Integer
- handle2 :: Integer
- data Err a
- data Edit
- transform :: String -> String -> [Edit]
- best :: [[Edit]] -> [Edit]
- cost :: [Edit] -> Int
- edit :: [Edit] -> String -> String
- data Vector = Vec Float Float
- class Movable a where
- data Point = Point Float Float
- data Figure
- class Named a where
- data Name a = Pair a String
- mapName :: (a -> b) -> Name a -> Name b
- class (Movable b, Named b) => NamedMovable b
- arbTree :: Arbitrary a => Int -> Gen (Tree a)
- prop_collapse :: Eq b => (a -> b) -> Tree a -> Bool
- prop_sizeT :: Tree a -> Bool
- leavesT :: Tree a -> Int
- sizeT :: Tree a -> Int
- prop_transform :: String -> String -> Property
- prop_transformLength :: String -> String -> Property
Documentation
^^^^^^^^^^^
collapseEG :: [Integer] Source #
Instances
| (Read a, Read b) => Read (Either a b) Source # | |
| (Show a, Show b) => Show (Either a b) Source # | |
| (Eq a, Eq b) => Eq (Either a b) Source # | |
| (Ord a, Ord b) => Ord (Either a b) Source # | |
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
^^^^^^^^^^^^^^^^^^^^^^^^
class (Movable b, Named b) => NamedMovable b Source #
Instances
| Movable a => NamedMovable (Name a) Source # | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
Defined in Chapter14_2 | |
prop_sizeT :: Tree a -> Bool Source #