Cursor.Types

Documentation

data DeleteOrUpdate a

Constructors

Deleted

Updated a

Instances

Functor DeleteOrUpdate

Defined in Cursor.Types

Methods

fmap :: (a -> b) -> DeleteOrUpdate a -> DeleteOrUpdate b

(<$) :: a -> DeleteOrUpdate b -> DeleteOrUpdate a

Applicative DeleteOrUpdate

Defined in Cursor.Types

Methods

pure :: a -> DeleteOrUpdate a

(<*>) :: DeleteOrUpdate (a -> b) -> DeleteOrUpdate a -> DeleteOrUpdate b

liftA2 :: (a -> b -> c) -> DeleteOrUpdate a -> DeleteOrUpdate b -> DeleteOrUpdate c

(*>) :: DeleteOrUpdate a -> DeleteOrUpdate b -> DeleteOrUpdate b

(<*) :: DeleteOrUpdate a -> DeleteOrUpdate b -> DeleteOrUpdate a

Alternative DeleteOrUpdate

Defined in Cursor.Types

Methods

empty :: DeleteOrUpdate a

(<|>) :: DeleteOrUpdate a -> DeleteOrUpdate a -> DeleteOrUpdate a

some :: DeleteOrUpdate a -> DeleteOrUpdate [a]

many :: DeleteOrUpdate a -> DeleteOrUpdate [a]

Eq a => Eq (DeleteOrUpdate a)

Defined in Cursor.Types

Methods

(==) :: DeleteOrUpdate a -> DeleteOrUpdate a -> Bool

(/=) :: DeleteOrUpdate a -> DeleteOrUpdate a -> Bool

Show a => Show (DeleteOrUpdate a)

Defined in Cursor.Types

Methods

showsPrec :: Int -> DeleteOrUpdate a -> ShowS

show :: DeleteOrUpdate a -> String

showList :: [DeleteOrUpdate a] -> ShowS

Generic (DeleteOrUpdate a)

Defined in Cursor.Types

Associated Types

type Rep (DeleteOrUpdate a) :: Type -> Type

Methods

from :: DeleteOrUpdate a -> Rep (DeleteOrUpdate a) x

to :: Rep (DeleteOrUpdate a) x -> DeleteOrUpdate a

Validity a => Validity (DeleteOrUpdate a)

Defined in Cursor.Types

Methods

validate :: DeleteOrUpdate a -> Validation

type Rep (DeleteOrUpdate a)

Defined in Cursor.Types

type Rep (DeleteOrUpdate a) = D1 (MetaData "DeleteOrUpdate" "Cursor.Types" "cursor-0.1.0.0-Iybup7BIS90EqxmhE2JMA0" False) (C1 (MetaCons "Deleted" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Updated" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

joinDeletes :: Maybe (DeleteOrUpdate a) -> Maybe (DeleteOrUpdate a) -> DeleteOrUpdate a

joinDeletes3 :: Maybe (DeleteOrUpdate a) -> Maybe (DeleteOrUpdate a) -> Maybe (DeleteOrUpdate a) -> DeleteOrUpdate a

joinPossibleDeletes :: Maybe (DeleteOrUpdate a) -> Maybe (DeleteOrUpdate a) -> Maybe (DeleteOrUpdate a)

focusPossibleDeleteOrUpdate :: Lens' b a -> (a -> Maybe (DeleteOrUpdate a)) -> b -> Maybe (DeleteOrUpdate b)

dullMDelete :: Maybe (DeleteOrUpdate a) -> Maybe a

dullDelete :: DeleteOrUpdate a -> Maybe a