module Ty.Const ( tyStream, tyOpt, tyV
                , tyStr, tyR, tyI, tyF, tyB
                ) where

import           A

tyB, tyI, tyF, tyStr, tyR :: T
tyB :: T
tyB=TB -> T
TyB TB
TyBool; tyI :: T
tyI=TB -> T
TyB TB
TyI; tyF :: T
tyF=TB -> T
TyB TB
TyFloat; tyStr :: T
tyStr=TB -> T
TyB TB
TyStr; tyR :: T
tyR=TB -> T
TyB TB
TyR

-- | argument assumed to have kind 'Star'
tyOpt, tyV, tyStream :: T -> T
tyOpt :: T -> T
tyOpt = (TB -> T
TyB TB
TyOptionT -> T -> T
:$); tyStream :: T -> T
tyStream = (TB -> T
TyB TB
TyStreamT -> T -> T
:$); tyV :: T -> T
tyV = (TB -> T
TyB TB
TyVecT -> T -> T
:$)