-- The trifecta for the K functor.

module HsKindMaps where

import HsKindStruct
import MUtils

mapK f Kstar      = Kstar
mapK f (Kfun x y) = Kfun (f x) (f y)
mapK f Kpred      = Kpred
mapK f Kprop      = Kprop

accK acc ans Kstar          = ans
accK acc ans (Kfun x y)     = acc y (acc x ans)
accK acc ans Kpred          = ans
accK acc ans Kprop          = ans

seqK Kstar      = return Kstar
seqK (Kfun x y) = Kfun # x <# y
seqK Kpred      = return Kpred
seqK Kprop      = return Kprop