Commit d1320755 authored by locallycompact's avatar locallycompact
Browse files

Fix styling

parent f9341cbf
Pipeline #533 passed with stages
in 23 seconds
{-|
Module : Data.Vinyl.Loeb
License : MIT
Maintainer : dan.firth@homotopic.tech
Stability : experimental
Loeb's theorem for vinyl extensible records.
-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeOperators #-}
module Data.Vinyl.Loeb (
rloeb
) where
-- |
-- Module : Data.Vinyl.Loeb
-- License : MIT
-- Maintainer : dan.firth@homotopic.tech
-- Stability : experimental
--
-- Loeb's theorem for vinyl extensible records.
module Data.Vinyl.Loeb
( rloeb,
)
where
import Data.Vinyl
import Data.Vinyl.Functor
......@@ -18,5 +19,5 @@ import Data.Vinyl.Functor
-- | Version of loeb's theorem for extensible records. Can be
-- used to fill an extensible record lazily using data from
-- the result of the record itself.
rloeb :: RMap xs => Rec ((->) (Rec f xs) :. f) xs -> Rec f xs
rloeb :: RMap xs => Rec ((->) (Rec f xs) :. f) xs -> Rec f xs
rloeb x = go where go = rmap (($ go) . getCompose) x
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment