Dixi.Page

Documentation

data Page b

Constructors

Page

Fields

• _body :: b
• _comment :: Last Text
• _time :: Last UTCTime

Instances

Functor Page

Methods

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

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

Foldable Page

Methods

fold :: Monoid m => Page m -> m

foldMap :: Monoid m => (a -> m) -> Page a -> m

foldr :: (a -> b -> b) -> b -> Page a -> b

foldr' :: (a -> b -> b) -> b -> Page a -> b

foldl :: (b -> a -> b) -> b -> Page a -> b

foldl' :: (b -> a -> b) -> b -> Page a -> b

foldr1 :: (a -> a -> a) -> Page a -> a

foldl1 :: (a -> a -> a) -> Page a -> a

toList :: Page a -> [a]

null :: Page a -> Bool

length :: Page a -> Int

elem :: Eq a => a -> Page a -> Bool

maximum :: Ord a => Page a -> a

minimum :: Ord a => Page a -> a

sum :: Num a => Page a -> a

product :: Num a => Page a -> a

Traversable Page

Methods

traverse :: Applicative f => (a -> f b) -> Page a -> f (Page b)

sequenceA :: Applicative f => Page (f a) -> f (Page a)

mapM :: Monad m => (a -> m b) -> Page a -> m (Page b)

sequence :: Monad m => Page (m a) -> m (Page a)

Data b => Data (Page b)

Methods

gfoldl :: (forall d a. Data d => c (d -> a) -> d -> c a) -> (forall g. g -> c g) -> Page b -> c (Page b)

gunfold :: (forall a r. Data a => c (a -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Page b)

toConstr :: Page b -> Constr

dataTypeOf :: Page b -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Page b))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Page b))

gmapT :: (forall a. Data a => a -> a) -> Page b -> Page b

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Page b -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Page b -> r

gmapQ :: (forall d. Data d => d -> u) -> Page b -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Page b -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Page b -> m (Page b)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Page b -> m (Page b)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Page b -> m (Page b)

Show b => Show (Page b)

Methods

showsPrec :: Int -> Page b -> ShowS

show :: Page b -> String

showList :: [Page b] -> ShowS

Monoid b => Monoid (Page b)

Methods

mempty :: Page b

mappend :: Page b -> Page b -> Page b

mconcat :: [Page b] -> Page b

SafeCopy b0 => SafeCopy (Page b0)

Methods

version :: Version (Page b0)

kind :: Kind (Page b0)

getCopy :: Contained (Get (Page b0))

putCopy :: Page b0 -> Contained Put

internalConsistency :: Consistency (Page b0)

objectProfile :: Profile (Page b0)

errorTypeName :: Proxy (Page b0) -> String

time :: forall b. Lens' (Page b) (Last UTCTime)

comment :: forall b. Lens' (Page b) (Last Text)

body :: forall b b. Lens (Page b) (Page b) b b