Safe Haskell	None
Language	Haskell2010

Cursor.Types

Documentation

isSafeChar :: Char -> Bool Source #

data DeleteOrUpdate a Source #

Constructors

Deleted
Updated a

Instances

Instances details

Monad DeleteOrUpdate Source #
Instance details Defined in Cursor.Types Methods (>>=) :: DeleteOrUpdate a -> (a -> DeleteOrUpdate b) -> DeleteOrUpdate b # (>>) :: DeleteOrUpdate a -> DeleteOrUpdate b -> DeleteOrUpdate b # return :: a -> DeleteOrUpdate a #
Functor DeleteOrUpdate Source #
Instance details Defined in Cursor.Types Methods fmap :: (a -> b) -> DeleteOrUpdate a -> DeleteOrUpdate b # (<$) :: a -> DeleteOrUpdate b -> DeleteOrUpdate a #
Applicative DeleteOrUpdate Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details Defined in Cursor.Types Methods (==) :: DeleteOrUpdate a -> DeleteOrUpdate a -> Bool # (/=) :: DeleteOrUpdate a -> DeleteOrUpdate a -> Bool #
Show a => Show (DeleteOrUpdate a) Source #
Instance details Defined in Cursor.Types Methods showsPrec :: Int -> DeleteOrUpdate a -> ShowS # show :: DeleteOrUpdate a -> String # showList :: [DeleteOrUpdate a] -> ShowS #
Generic (DeleteOrUpdate a) Source #
Instance details 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) Source #
Instance details Defined in Cursor.Types Methods validate :: DeleteOrUpdate a -> Validation #
type Rep (DeleteOrUpdate a) Source #
Instance details Defined in Cursor.Types type Rep (DeleteOrUpdate a) = D1 ('MetaData "DeleteOrUpdate" "Cursor.Types" "cursor-0.3.2.0-Ch3lJwc3yY89mrJgbt03T" '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 Source #

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

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

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

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

dullDelete :: DeleteOrUpdate a -> Maybe a Source #