Impur.Types

type PostMeta = forall a. TagLike a => { category :: Maybe a, published :: Maybe Date, title :: String }

type PostRaw = forall e. Markup e

type PostContents = PostMeta -> PostRaw

type Post = forall a. PostMeta /\ (PostMeta -> Markup a)

type GMeta e = forall e. TagLike e => { category :: Maybe e, published :: Maybe Date, title :: String }

type GPost t m = forall m t. TagLike t => (GMeta t) /\ ((GMeta t) -> Markup m)

mkDate :: Int -> Int -> Int -> Maybe Date

categoryCount :: forall t2 a r t. TagLike t => TagLike t2 => t -> Array ({ category :: Maybe t2 | r } /\ a) -> Int