Data.Vinyl.Idiom.Identity

Documentation

newtype Identity a

Constructors

Identity

Fields

runIdentity :: a

Instances

Monad Identity

Functor Identity

Applicative Identity

Foldable Identity

Traversable Identity

Show a => Show (Identity a)

(Storable (($) * k el r), Storable (Rec k el Identity rs)) => Storable (Rec k el Identity ((:) k r rs))

Storable (Rec k el Identity ([] k))