Craft3e-0.2.0.1: Code for Haskell: the Craft of Functional Programming, 3rd ed.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Chapter13

Synopsis

Documentation

elemBool :: Bool -> [Bool] -> Bool Source #

^^^^^^^^^^^^^^^^^^^^^^^^^^^

^^^^^^^^^^^^^^^

elemGen :: (a -> a -> Bool) -> a -> [a] -> Bool Source #

^^^^^^^^^^^^^^^^^^

^^^^^^^^^^^^^^^^^^^^^^^^^^^

allEqual :: Eq a => a -> a -> a -> Bool Source #

lookupFirst :: Eq a => [(a, b)] -> a -> [b] Source #

^^^^^^^^^^^^^^^^^^^^^^^

class Info a where Source #

Minimal complete definition

examples

Methods

examples :: [a] Source #

size :: a -> Int Source #

Instances

Instances details
Info Shape Source # 
Instance details

Defined in Chapter13

Info Bool Source # 
Instance details

Defined in Chapter13

Methods

examples :: [Bool] Source #

size :: Bool -> Int Source #

Info Char Source # 
Instance details

Defined in Chapter13

Methods

examples :: [Char] Source #

size :: Char -> Int Source #

Info Int Source # 
Instance details

Defined in Chapter13

Methods

examples :: [Int] Source #

size :: Int -> Int Source #

Info a => Info [a] Source # 
Instance details

Defined in Chapter13

Methods

examples :: [[a]] Source #

size :: [a] -> Int Source #

(Info a, Info b) => Info (a, b) Source #

^^^^^^^^^^^^^^^^^^

^^^^^^^^^^^^^^

Instance details

Defined in Chapter13

Methods

examples :: [(a, b)] Source #

size :: (a, b) -> Int Source #

iSort :: Ord a => [a] -> [a] Source #

ins :: Ord a => a -> [a] -> [a] Source #

^^^^^^^^^^^^^^^^^^^

vSort :: (Ord a, Show a) => [a] -> String Source #

vLookupFirst :: (Eq a, Show b) => [(a, b)] -> a -> String Source #

class (Ord a, Show a) => OrdVis a Source #

class Checkable b where Source #

Methods

infoCheck :: Info a => (a -> b) -> Bool Source #

Instances

Instances details
Checkable Bool Source # 
Instance details

Defined in Chapter13

Methods

infoCheck :: Info a => (a -> Bool) -> Bool Source #

(Info a, Checkable b) => Checkable (a -> b) Source # 
Instance details

Defined in Chapter13

Methods

infoCheck :: Info a0 => (a0 -> a -> b) -> Bool Source #

test2 :: Bool Source #

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

^^^^^^^^^^^^^^^^

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

prodFun :: (t -> t1) -> (t -> t2) -> t -> (t1, t2) Source #

^^^^^^^^^^^^^

example1 :: Int Source #

^^^^^^^^^^^^^^^^^^^^^^^^

f :: (a, Char) -> (a, [Char]) Source #

g :: Foldable t => (Int, t a) -> Int Source #

h :: (Int, Char) -> Int Source #

expr :: Int Source #

^^^^^^^^^^^^^^^^^^^^^^^^

member :: Eq a => [a] -> a -> Bool Source #

merge :: Ord a => [a] -> [a] -> [a] Source #