| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Instances
Documentation
Constructors
| Xyzzy (b -> (a, a)) |
Minimal complete definition
Nothing
class Foo f => Bar f a where #
Minimal complete definition
Nothing
Instances
| Bar Maybe Bool # | |
| Bar Maybe [a] # | |
| Bar [] (a, a) # | |
| Foo f => Bar (Either a) (f a) # | |
| Bar (Quux a c) (Quux a b c) # | |
Defined in Instances Methods 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) # | |
| Foo ((,,) a b) => Bar ((,,) a b) (a, b, a) # | |
Minimal complete definition
Nothing
Methods
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
| Baz [c] # | |
| Baz (a -> b) # | |
| Baz (Quux a b c) # | |
Defined in Instances | |
| Baz (a, b, c) # | |
Defined in Instances | |
| Baz (a, [b], b, a) # | |
Defined in Instances Methods baz :: (a, [b], b, a) -> (forall a1. a1 -> a1) -> (b0, forall c1. c1 -> (a, [b], b, a)) -> (b0, c) # baz' :: b0 -> (forall b1. b1 -> (a, [b], b, a)) -> (forall b1. b1 -> (a, [b], b, a)) -> [(b0, (a, [b], b, a))] # baz'' :: b0 -> (forall b1. (forall b2. b2 -> (a, [b], b, a)) -> c) -> forall c1. c1 -> b0 # | |
Instances
| Foo (Quux a b) # | |
| Bar (Quux a c) (Quux a b c) # | |
Defined in Instances Methods 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) # | |