MAAM.Time

Documentation

class Time ψ τ | τ -> ψ where

Methods

tzero :: τ

tick :: ψ -> τ -> τ

Instances

Time ψ (Cτ ψ)

Time ψ (Zτ * ψ)

KnownNat k => Time ψ (Kτ k ψ)

newtype Cτ ψ

Constructors

Cτ [ψ]

Instances

Functorial * Eq Cτ

Functorial * Ord Cτ

Functorial * Pretty Cτ

Buildable ψ (Cτ ψ)

Iterable ψ (Cτ ψ)

Eq ψ => Container ψ (Cτ ψ)

Time ψ (Cτ ψ)

Eq ψ => Eq (Cτ ψ)

Ord ψ => Ord (Cτ ψ)

Bot (Cτ ψ)

Pretty ψ => Pretty (Cτ ψ)

newtype Kτ k ψ

Constructors

Kτ [ψ]

Instances

Functorial * Eq (Kτ k)

Functorial * Ord (Kτ k)

Functorial * Pretty (Kτ k)

Buildable ψ (Kτ k ψ)

Iterable ψ (Kτ k ψ)

Eq ψ => Container ψ (Kτ k ψ)

KnownNat k => Time ψ (Kτ k ψ)

Eq ψ => Eq (Kτ k ψ)

Ord ψ => Ord (Kτ k ψ)

Bot (Kτ k ψ)

Pretty ψ => Pretty (Kτ k ψ)

data Zτ ψ

Constructors

Zτ

Instances

Functorial * Eq (Zτ *)

Functorial * Ord (Zτ *)

Functorial * Pretty (Zτ *)

Time ψ (Zτ * ψ)

Eq (Zτ k ψ)

Ord (Zτ k ψ)

Bot (Zτ k ψ)

Pretty (Zτ k a)