| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Proarrow.Tools.Diagrams.Dot
Contents
Documentation
newtype Vec (as :: k) x Source Comments #
Instances
| Functor (Vec as) Source Comments # | |
| Foldable (Vec as) Source Comments # | |
Defined in Proarrow.Tools.Diagrams.Dot Methods fold :: Monoid m => Vec as m -> m Comments # foldMap :: Monoid m => (a -> m) -> Vec as a -> m Comments # foldMap' :: Monoid m => (a -> m) -> Vec as a -> m Comments # foldr :: (a -> b -> b) -> b -> Vec as a -> b Comments # foldr' :: (a -> b -> b) -> b -> Vec as a -> b Comments # foldl :: (b -> a -> b) -> b -> Vec as a -> b Comments # foldl' :: (b -> a -> b) -> b -> Vec as a -> b Comments # foldr1 :: (a -> a -> a) -> Vec as a -> a Comments # foldl1 :: (a -> a -> a) -> Vec as a -> a Comments # toList :: Vec as a -> [a] Comments # null :: Vec as a -> Bool Comments # length :: Vec as a -> Int Comments # elem :: Eq a => a -> Vec as a -> Bool Comments # maximum :: Ord a => Vec as a -> a Comments # minimum :: Ord a => Vec as a -> a Comments # | |
| Traversable (Vec as) Source Comments # | |
Defined in Proarrow.Tools.Diagrams.Dot | |
| Show x => Show (Vec as x) Source Comments # | |
| Eq x => Eq (Vec as x) Source Comments # | |
(+++) :: forall {k} (as :: [k]) x (bs :: [k]). Vec as x -> Vec bs x -> Vec (as ++ bs) x Source Comments #
split :: forall {k} (as :: [k]) (bs :: [k]) x. IsList as => Vec (as ++ bs) x -> (Vec as x, Vec bs x) Source Comments #
zipV3 :: forall {k} (as :: k) x y z. Vec as x -> Vec as y -> Vec as z -> Vec as (x, y, z) Source Comments #
shift :: forall {k} (as :: [k]) (bs :: [k]). IsList as => Fin bs -> Fin (as ++ bs) Source Comments #
eitherF :: forall {k} (as :: [k]) (bs :: [k]) r. IsList as => (Fin as -> r) -> (Fin bs -> r) -> Fin (as ++ bs) -> r Source Comments #
data SymRefl (a :: Symbol) (b :: Symbol) where Source Comments #
Constructors
| SymRefl :: forall (a :: Symbol). KnownSymbol a => SymRefl a a |
Instances
data DotData (as :: k) (bs :: k1) Source Comments #
Constructors
| DotData | |
data Dot (a :: DOT) (b :: DOT) where Source Comments #
Constructors
| Dot :: forall (as :: [Symbol]) (bs :: [Symbol]). (IsList as, IsList bs) => (Int -> (Int, DotData as bs)) -> Dot ('D as) ('D bs) |
swap2 :: forall (a :: Symbol) (b :: Symbol). (Ob a, Ob b) => Dot ('D '[a, b]) ('D '[b, a]) Source Comments #
swapNode :: forall (a :: Symbol) (b :: Symbol). (Ob a, Ob b) => Dot ('D '[a, b]) ('D '[b, a]) Source Comments #
node' :: forall (as :: [Symbol]) (bs :: [Symbol]). (IsList as, IsList bs) => Vec as String -> Vec bs String -> String -> Dot ('D as) ('D bs) Source Comments #
node :: forall (as :: [Symbol]) (bs :: [Symbol]). (IsList as, IsList bs) => String -> Dot ('D as) ('D bs) Source Comments #
getData :: forall (as :: [Symbol]) (bs :: [Symbol]). Dot ('D as) ('D bs) -> DotData as bs Source Comments #
normalize :: forall {k1} {k2} (as :: k1) (bs :: k2). DotData as bs -> DotData as bs Source Comments #
unitAdj :: forall (l :: Symbol) (r :: Symbol). (Ob l, Ob r) => Dot ('D ('[] :: [Symbol])) ('D '[l, r]) Source Comments #
counitAdj :: forall (l :: Symbol) (r :: Symbol). (Ob l, Ob r) => Dot ('D '[r, l]) ('D ('[] :: [Symbol])) Source Comments #
Orphan instances
| CategoryOf Symbol Source Comments # | |||||||||
Associated Types
| |||||||||