MAAM.Time

Documentation

class Time τ where

Methods

tzero :: τ ψ

tick :: ψ -> τ ψ -> τ ψ

Instances

Time Cτ

Time (Zτ *)

KnownNat k => Time (Kτ k)

newtype Cτ ψ

Constructors

Cτ [ψ]

Instances

Time Cτ

Functorial * Eq Cτ

Functorial * Ord Cτ

Functorial * Pretty Cτ

ListLike ψ (Cτ ψ)

Buildable ψ (Cτ ψ)

Iterable ψ (Cτ ψ)

Eq ψ => Eq (Cτ ψ)

Ord ψ => Ord (Cτ ψ)

Pretty ψ => Pretty (Cτ ψ)

Initial (Cτ ψ)

newtype Kτ k ψ

Constructors

Kτ [ψ]

Instances

Functorial * Eq (Kτ k)

Functorial * Ord (Kτ k)

Functorial * Pretty (Kτ k)

ListLike ψ (Kτ k ψ)

Buildable ψ (Kτ k ψ)

Iterable ψ (Kτ k ψ)

KnownNat k => Time (Kτ k)

Eq ψ => Eq (Kτ k ψ)

Ord ψ => Ord (Kτ k ψ)

Pretty ψ => Pretty (Kτ k ψ)

Initial (Kτ k ψ)

data Zτ ψ

Constructors

Zτ

Instances

Functorial * Eq (Zτ *)

Functorial * Ord (Zτ *)

Functorial * Pretty (Zτ *)

Time (Zτ *)

Eq (Zτ k ψ)

Ord (Zτ k ψ)

Pretty (Zτ k a)

Initial (Zτ k ψ)