Blagda.Types

Documentation

data Post contents meta

Constructors

Post

Fields

• p_path :: FilePath
• p_contents :: contents
• p_meta :: meta

Instances

Bifunctor Post

Defined in Blagda.Types

Methods

bimap :: (a -> b) -> (c -> d) -> Post a c -> Post b d

first :: (a -> b) -> Post a c -> Post b c

second :: (b -> c) -> Post a b -> Post a c

Functor (Post contents)

Defined in Blagda.Types

Methods

fmap :: (a -> b) -> Post contents a -> Post contents b

(<$) :: a -> Post contents b -> Post contents a

Foldable (Post contents)

Defined in Blagda.Types

Methods

fold :: Monoid m => Post contents m -> m

foldMap :: Monoid m => (a -> m) -> Post contents a -> m

foldMap' :: Monoid m => (a -> m) -> Post contents a -> m

foldr :: (a -> b -> b) -> b -> Post contents a -> b

foldr' :: (a -> b -> b) -> b -> Post contents a -> b

foldl :: (b -> a -> b) -> b -> Post contents a -> b

foldl' :: (b -> a -> b) -> b -> Post contents a -> b

foldr1 :: (a -> a -> a) -> Post contents a -> a

foldl1 :: (a -> a -> a) -> Post contents a -> a

toList :: Post contents a -> [a]

null :: Post contents a -> Bool

length :: Post contents a -> Int

elem :: Eq a => a -> Post contents a -> Bool

maximum :: Ord a => Post contents a -> a

minimum :: Ord a => Post contents a -> a

sum :: Num a => Post contents a -> a

product :: Num a => Post contents a -> a

Traversable (Post contents)

Defined in Blagda.Types

Methods

traverse :: Applicative f => (a -> f b) -> Post contents a -> f (Post contents b)

sequenceA :: Applicative f => Post contents (f a) -> f (Post contents a)

mapM :: Monad m => (a -> m b) -> Post contents a -> m (Post contents b)

sequence :: Monad m => Post contents (m a) -> m (Post contents a)

(Eq contents, Eq meta) => Eq (Post contents meta)

Defined in Blagda.Types

Methods

(==) :: Post contents meta -> Post contents meta -> Bool

(/=) :: Post contents meta -> Post contents meta -> Bool

(Ord contents, Ord meta) => Ord (Post contents meta)

Defined in Blagda.Types

Methods

compare :: Post contents meta -> Post contents meta -> Ordering

(<) :: Post contents meta -> Post contents meta -> Bool

(<=) :: Post contents meta -> Post contents meta -> Bool

(>) :: Post contents meta -> Post contents meta -> Bool

(>=) :: Post contents meta -> Post contents meta -> Bool

max :: Post contents meta -> Post contents meta -> Post contents meta

min :: Post contents meta -> Post contents meta -> Post contents meta

(Show contents, Show meta) => Show (Post contents meta)

Defined in Blagda.Types

Methods

showsPrec :: Int -> Post contents meta -> ShowS

show :: Post contents meta -> String

showList :: [Post contents meta] -> ShowS

Generic (Post contents meta)

Defined in Blagda.Types

Associated Types

type Rep (Post contents meta) :: Type -> Type

Methods

from :: Post contents meta -> Rep (Post contents meta) x

to :: Rep (Post contents meta) x -> Post contents meta

(ToJSON contents, ToJSON meta) => ToJSON (Post contents meta)

Defined in Blagda.Types

Methods

toJSON :: Post contents meta -> Value

toEncoding :: Post contents meta -> Encoding

toJSONList :: [Post contents meta] -> Value

toEncodingList :: [Post contents meta] -> Encoding

type Rep (Post contents meta)

Defined in Blagda.Types

type Rep (Post contents meta) = D1 ('MetaData "Post" "Blagda.Types" "blagda-0.1.0.1-3XCcIauq772JHIXjEf1Orn" 'False) (C1 ('MetaCons "Post" 'PrefixI 'True) (S1 ('MetaSel ('Just "p_path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Just "p_contents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 contents) :*: S1 ('MetaSel ('Just "p_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 meta))))