Module

Impur.Types

Package
purescript-impur
Repository
RuneBlaze/purescript-impur

#PostMeta Source

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

#PostRaw Source

type PostRaw = forall e. Markup e

#PostContents Source

#Post Source

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

#GMeta Source

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

#GPost Source

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

#mkDate Source

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

#categoryCount Source

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