# Documentation

SignalInt a => Enum (Signal a) | |

Eq (Signal a) | |

SignalInt a => Fractional (Signal a) | |

SignalInt a => Num (Signal a) | |

SignalInt a => Ord (Signal a) | |

Show (Signal a) | |

Choice (Signal a) | |

FiniteSig a => Finite (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) |