Util.Named

Additional functionality for named package.

Documentation

(.!) :: Name name -> a -> NamedF Identity a name

(.?) :: Name name -> Maybe a -> NamedF Maybe a name

(<.!>) :: Functor m => Name name -> m a -> m (NamedF Identity a name)

(<.?>) :: Functor m => Name name -> m (Maybe a) -> m (NamedF Maybe a name)

type family NamedInner n where ...

Equations

NamedInner (NamedF Identity a _) = a

NamedInner (NamedF Maybe a _) = Maybe a

Orphan instances

Eq a => Eq (NamedF Identity a name)

Methods

(==) :: NamedF Identity a name -> NamedF Identity a name -> Bool

(/=) :: NamedF Identity a name -> NamedF Identity a name -> Bool

(Show a, KnownSymbol name) => Show (NamedF Identity a name)

Methods

showsPrec :: Int -> NamedF Identity a name -> ShowS

show :: NamedF Identity a name -> String

showList :: [NamedF Identity a name] -> ShowS

Wrapped (NamedF Maybe a name)

Associated Types

type Unwrapped (NamedF Maybe a name) :: Type

Methods

_Wrapped' :: Iso' (NamedF Maybe a name) (Unwrapped (NamedF Maybe a name))

Wrapped (NamedF Identity a name)

Associated Types

type Unwrapped (NamedF Identity a name) :: Type

Methods

_Wrapped' :: Iso' (NamedF Identity a name) (Unwrapped (NamedF Identity a name))