Safe Haskell | Safe-Inferred |
---|

# Documentation

Xyzzy (b -> (a, a)) |

Nothing

class Foo f => Bar f a where #

Nothing

#### Instances

Bar Maybe Bool # | |

Bar Maybe [a] # | |

Bar [] (a, a) # | |

Foo f => Bar (Either a) (f a) # | |

Foo ((,,) a b) => Bar ((,,) a b) (a, b, a) # | |

Bar (Quux a c) (Quux a b c) # | |

Defined in Instances bar :: Quux a c (Quux a b c) -> Quux a c Bool -> Quux a b c # bar' :: Quux a c (Quux a c (Quux a b c)) -> Quux a c (Quux a c (Quux a c b0)) # bar0 :: (Quux a c (Quux a b c), Quux a c (Quux a b c)) -> (Quux a c b0, Quux a c c0) # bar1 :: (Quux a c (Quux a b c), Quux a c (Quux a b c)) -> (Quux a c b0, Quux a c c0) # |

Nothing

baz :: a -> (forall a. a -> a) -> (b, forall c. c -> a) -> (b, c) #

baz' :: b -> (forall b. b -> a) -> (forall b. b -> a) -> [(b, a)] #

baz'' :: b -> (forall b. (forall b. b -> a) -> c) -> forall c. c -> b #

#### Instances

Foo (Quux a b) # | |

Bar (Quux a c) (Quux a b c) # | |

Defined in Instances bar :: Quux a c (Quux a b c) -> Quux a c Bool -> Quux a b c # bar' :: Quux a c (Quux a c (Quux a b c)) -> Quux a c (Quux a c (Quux a c b0)) # bar0 :: (Quux a c (Quux a b c), Quux a c (Quux a b c)) -> (Quux a c b0, Quux a c c0) # bar1 :: (Quux a c (Quux a b c), Quux a c (Quux a b c)) -> (Quux a c b0, Quux a c c0) # | |

Baz (Quux a b c) # | |

Defined in Instances | |

data Thud Int (Quux a [a] c) # | |

Nothing