Lang.Hask.Time

Documentation

class Time ψ τ | τ -> ψ where

Methods

tzero :: τ

tick :: ψ -> τ -> τ

Instances

Time ψ (Cτ ψ)

Time ψ (Zτ * ψ)

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

newtype Cτ ψ

Constructors

Cτ [ψ]

Instances

Buildable ψ (Cτ ψ)

Iterable ψ (Cτ ψ)

Eq ψ => Container ψ (Cτ ψ)

Time ψ (Cτ ψ)

Eq ψ => Eq (Cτ ψ)

Ord ψ => Ord (Cτ ψ)

Bot (Cτ ψ)

Pretty ψ => Pretty (Cτ ψ)

cτ :: P Cτ

newtype Kτ k ψ

Constructors

Kτ [ψ]

Instances

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 ψ)

kτ :: P (Kτ 1)

data Zτ ψ

Constructors

Zτ

Instances

Time ψ (Zτ * ψ)

Eq (Zτ k ψ)

Ord (Zτ k ψ)

Bot (Zτ k ψ)

Pretty (Zτ k a)

zτ :: P Zτ