Safe Haskell | None |
---|

# Documentation

data T a

Functor T | |

Applicative T | |

Foldable T | |

Traversable T | |

(C a, C a v) => C a (T v) | |

(C a, C a v) => C a (T v) | |

(Ord a, C a v) => C a (T v) | |

(Ord a, C a v) => C a (T v) | |

Sqr a v => Sqr a (T v) | |

Sqr a v => Sqr a (T v) | |

(C a, Sqr a v) => C a (T v) | |

(C a, Sqr a v) => C a (T v) | |

C a v => C a (T v) | |

C a v => C a (T v) | |

Eq a => Eq (T a) | |

Show a => Show (T a) | |

Arbitrary a => Arbitrary (T a) | |

Storable a => Storable (T a) | |

C a => C (T a) | |

C a => C (T a) | |

C a => C (T a) |

interleave :: (T a, T b) -> T (a, b)

liftApplicative :: Applicative f => (f a -> f b) -> f (T a) -> f (T b)