noether-0.0.1: Math in Haskell.
Noether.Lemmata.TypeFu.Map
type family Nub t where ... Source #
Equations
type family Sort (xs :: [k]) :: [k] where ... Source #
type (<+>) m n = TMap (m ++ n) Source #
type TMap m = Nub (Sort m) Source #
type TMap' m = Sort m Source #
data k := v infixr 4 Source #
Instances
type family (m :: [k]) \\ (c :: Symbol) :: [k] where ... Source #
type family Lookup (m :: [k']) (c :: k) :: Maybe v where ... Source #
type family Lookup' (m :: [k']) (c :: k) :: v where ... Source #
type family Combine (a :: v) (b :: v) :: v Source #
type family Member (c :: k) (m :: [Type]) :: Bool where ... Source #