Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Orphan instances
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Impliable (Tape t a :: Type) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('All ('Right :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal (-->) (:*:) (:*:) t) => Substructure ('All ('Left :: a -> Horizontal a) :: Occurrence (a -> Horizontal a)) (Tape t <::> Tape t) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) structure, Stack structure, Bindable ((->) :: Type -> Type -> Type) (Topping structure), Monoidal (-->) (-->) (:*:) (:*:) (Topping structure)) => Slidable ('Right :: a -> Horizontal a) (Tape structure) Source # | |
(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) structure, Bindable ((->) :: Type -> Type -> Type) (Topping structure), Monoidal (-->) (-->) (:*:) (:*:) (Topping structure), Stack structure) => Slidable ('Left :: a -> Horizontal a) (Tape structure) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Down :: a -> Vertical a) (Tape t <::> Tape t) Source # | |
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t => Substructure ('Up :: a -> Vertical a) (Tape t <::> Tape t) Source # | |