Safe Haskell | None |
---|

# Documentation

SignalInt a => Enum (Signal a) | |

Eq (Signal a) | |

(Num (Signal a), SignalInt a) => Fractional (Signal a) | |

SignalInt a => Num (Signal a) | |

(Eq (Signal a), SignalInt a) => Ord (Signal a) | |

Show (Signal a) | |

Choice (Signal a) | |

(Constructive (Signal a), FiniteSig a) => Finite (Signal a) | |

(Generic (Signal a), ConstructiveSig a) => Constructive (Signal a) | |

Generic (Signal a) | |

ShowModel (Signal a) | |

Checkable a => Checkable (Signal a) | |

ChoiceWithSig a => CoFresh (Signal a) | |

ConstructiveSig a => Fresh (Signal a) |