data ConfirmMsg = ... type PickListRequest a = TextRequest a data Click = ... buttonF :: (Graphic a) => a -> F Click Click confirmPopupF :: F [String] ([String], ConfirmMsg) displayF :: F String a intDispF :: F Int a intInputF :: F Int Int labAboveF :: String -> F a b -> F a b labBelowF :: String -> F a b -> F a b labLeftOfF :: String -> F a b -> F a b labRightOfF :: String -> F a b -> F a b labelF :: String -> F a b menuF :: (Graphic a, Graphic c) => a -> [(b, c)] -> F b b messagePopupF :: F [String] ([String], Click) moreF :: F [String] (InputMsg (Int, String)) moreFileF :: F String (InputMsg (Int, String)) moreFileShellF :: F String (InputMsg (Int, String)) moreShellF :: String -> F [[Char]] (InputMsg (Int, String)) passwdInputF :: F String String passwdPopupF :: String -> F (Maybe String, Maybe String) ((Maybe String, Maybe String), String) pickListF :: (a -> String) -> F (PickListRequest a) (InputMsg (Int, a)) popupMenuF :: (Graphic b, Eq b) => [(a, b)] -> F c d -> F (Either [(a, b)] c) (Either a d) quitButtonF :: F Click a quitF :: F a b radioGroupF :: (Graphic b, Eq a) => [(a, b)] -> a -> F a a stringInputF :: F String String stringPopupF :: String -> F (Maybe String, Maybe String) ((Maybe String, Maybe String), String) toggleButtonF :: (Graphic a) => a -> F Bool Bool
data K a b data F a b absF :: SP a b -> F a b compF :: F a b -> F c d -> F (Either a c) (Either b d) concatMapF :: (a -> [b]) -> F a b idF :: F a a listF :: (Eq a) => [(a, F b c)] -> F (a, b) (a, c) loopF :: F a a -> F a a loopLeftF :: F (Either a b) (Either a c) -> F b c loopRightF :: F (Either a b) (Either c b) -> F a c loopThroughRightF :: F (Either a b) (Either c d) -> F c a -> F b d mapF :: (a -> b) -> F a b mapstateF :: (a -> b -> (a, [c])) -> a -> F b c serCompF :: F a b -> F c a -> F c b
infixl 5 >+< >+< :: F a b -> F c d -> F (Either a c) (Either b d) infixr 4 >==< >==< :: F a b -> F c a -> F c b
type Distance = Int type Placer = [LayoutRequest] -> Placer2 type Spacer = LayoutRequest -> Spacer2 centerS :: Spacer flipP :: Placer -> Placer horizontalP :: Placer marginS :: Distance -> Spacer matrixP :: Int -> Placer placerF :: Placer -> F a b -> F a b revP :: Placer -> Placer spacerF :: Spacer -> F a b -> F a b tableP :: Int -> Placer verticalP :: Placer
hScrollF :: F a b -> F a b scrollF :: F a b -> F a b shellF :: String -> F a b -> F a b vScrollF :: F a b -> F a b
data SP a b chopSP :: ((a -> SP b a) -> SP b a) -> SP b a concatMapAccumlSP :: (a -> b -> (a, [c])) -> a -> SP b c concatMapSP :: (a -> [b]) -> SP a b concatSP :: SP [a] a filterSP :: (a -> Bool) -> SP a a idSP :: SP a a mapAccumlSP :: (a -> b -> (a, c)) -> a -> SP b c mapSP :: (a -> b) -> SP a b splitAtElemSP :: (a -> Bool) -> Cont (SP a b) [a] zipSP :: [a] -> SP b (a, b)
data Tick = ... readFileF :: F String (String, Either D_IOError String) timerF :: F (Maybe (Int, Int)) Tick
fudlogue :: F a b -> IO ()
type TEvent = (Path, XEvent) type TCommand = (Path, XCommand) type Fa a b c d = SP (Message a c) (Message b d) type FEvent a = Message TEvent a type KEvent a = Message XEvent a type FCommand a = Message TCommand a type KCommand a = Message XCommand a type Fudget a b = F a b data F a b = ... data K a b = ... data SP a b
aboth :: (a -> b) -> (a, a) -> (b, b) anth :: Int -> (a -> a) -> [a] -> [a] gmap :: (a -> [b] -> [b]) -> (c -> a) -> [c] -> [b] issubset :: (Eq a) => [a] -> [a] -> Bool lhead :: [a] -> [b] -> [b] loop :: (a -> a) -> a lsplit :: [a] -> [b] -> ([b], [b]) ltail :: [a] -> [b] -> [b] mapPair :: (a -> b, c -> d) -> (a, c) -> (b, d) number :: Int -> [a] -> [(Int, a)] oo :: (a -> b) -> (c -> d -> a) -> c -> d -> b pair :: a -> b -> (a, b) pairwith :: (a -> b) -> a -> (a, b) part :: (a -> Bool) -> [a] -> ([a], [a]) remove :: (Eq a) => a -> [a] -> [a] replace :: (Eq a) => (a, b) -> [(a, b)] -> [(a, b)] swap :: (a, b) -> (b, a) unionmap :: (Eq b) => (a -> [b]) -> [a] -> [b]
spyF :: (Show b, Show a) => F a b -> F a b teeF :: (a -> [Char]) -> [Char] -> F a a