maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.

Safe HaskellNone
LanguageHaskell2010

MAAM.Time

Documentation

class Time ψ τ | τ -> ψ where Source

Methods

tzero :: τ Source

tick :: ψ -> τ -> τ Source

Instances

Time ψ (Cτ ψ) 
Time ψ (Zτ * ψ) 
KnownNat k => Time ψ (Kτ k ψ) 

newtype Cτ ψ Source

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

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τ ψ Source

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)