UVMHS.Core.Classes.DSL
class Arrow a where Source #
Methods
(⇨) :: a -> a -> a infixr 1 Source #
Defined in UVMHS.Core.TH
(⇨) :: Type -> Type -> Type Source #
class Apply a where Source #
(⊙) :: a -> a -> a infixl 7 Source #
(⊙) :: Exp -> Exp -> Exp Source #
(⊙) :: Type -> Type -> Type Source #
class Tup a where Source #
tup :: ToIter a t => t -> a Source #
tup :: ToIter Exp t => t -> Exp Source #
tup :: ToIter Pat t => t -> Pat Source #
tup :: ToIter Type t => t -> Type Source #
(⊙$) :: Apply e => e -> e -> e infixr 0 Source #
(⊙⋆) :: (Apply e, ToIter e t) => e -> t -> e infixl 7 Source #