Module

Data.Smash.Cofree

Package
purescript-smash
Repository
paf31/purescript-smash

#lift Source

lift :: forall a rl r f. RowToList r rl => Functor f => ComonadSmash rl r => Co f a -> Co (Smash (cofree :: Proxy2 (Cofree f) | r)) a

#liftWith Source

liftWith :: forall a rest rl r f l. IsSymbol l => Functor f => Cons l (Proxy2 (Cofree f)) rest r => RowToList rest rl => ComonadSmash rl rest => SProxy l -> Co f a -> Co (Smash r) a