dixi-0.6.9.2: A wiki implemented with a firm theoretical foundation.

Dixi.Page

data Page b Source #

Constructors

Fields

Instances

Methods

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

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

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 #

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) #

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) #

showsPrec :: Int -> Page b -> ShowS #

show :: Page b -> String #

showList :: [Page b] -> ShowS #

mempty :: Page b #

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

mconcat :: [Page b] -> Page b #

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) Source #

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

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