-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Prelude based on protolude for GHC 8 and beyond.
--   
--   A Prelude relpacement for GHC 8 with a focus on building applications
--   with Lenses, Machines, and Applicatives.
@package liblawless
@version 0.13.3

module Lawless

module Tree

module Textual.SepList
type SepList a = SepList' (NonEmpty a)
sepList :: forall a. (Ord a, Eq a, Binary a, Printable a) => a -> SepList a
slItems :: Lens' (SepList' (NonEmpty a)) (NonEmpty a)
instance Data.Foldable.Foldable Textual.SepList.SepList'
instance GHC.Classes.Eq (Textual.SepList.SepList' (Data.List.NonEmpty.NonEmpty a))
instance GHC.Classes.Ord (Textual.SepList.SepList' (Data.List.NonEmpty.NonEmpty a))
instance GHC.Classes.Ord a => Data.Semigroup.Semigroup (Textual.SepList.SepList' (Data.List.NonEmpty.NonEmpty a))
instance (GHC.Classes.Ord a, Data.Binary.Class.Binary a, Data.Textual.Printable a) => Data.Binary.Class.Binary (Textual.SepList.SepList' (Data.List.NonEmpty.NonEmpty a))
instance Data.Textual.Printable a => Data.Textual.Printable (Textual.SepList.SepList' (Data.List.NonEmpty.NonEmpty a))
instance Data.Textual.Printable a => GHC.Show.Show (Textual.SepList.SepList a)

module Textual

module Text

module Set

-- | A set of values <tt>a</tt>.
data Set a :: * -> *

-- | <i>O(1)</i>. Create a singleton set.
singleton :: a -> Set a

module Paths
type AbsDir = Path Abs Dir
type AbsFile = Path Abs File
type RelDir = Path Rel Dir
type RelFile = Path Rel File
filePath :: Getter (Path b t) FilePath


module Temporary

-- | Run a function with a temporary file handle named after the passed
--   name. Ensures the handle is unbuffered and in binary mode.
withTempHandle :: (MonadIO m, MonadMask m) => RelFile -> (Handle -> m a) -> m a

module Parser

module Machine

module Generics

module Time
data Time

-- | The class of types which can be parsed given a UNIX-style time format
--   string.
class ParseTime t

-- | Builds a time value from a parsed input string. If the input does not
--   include all the information needed to construct a complete value, any
--   missing parts should be taken from 1970-01-01 00:00:00 +0000 (which
--   was a Thursday). In the absence of <tt>%C</tt> or <tt>%Y</tt>, century
--   is 1969 - 2068.
buildTime :: TimeLocale -> [(Char, String)] -> Maybe t
class FormatTime t
formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> t -> String)
_Time :: Iso' Time UTCTime
day :: Lens' Time Day
time :: Lens' Time DiffTime
now :: IO Time
instance Data.Binary.Class.Binary Time.Time
instance Data.Textual.Printable Time.Time
instance GHC.Generics.Generic Time.Time
instance Data.Time.Format.FormatTime Time.Time
instance Data.Time.Format.Parse.ParseTime Time.Time
instance GHC.Classes.Ord Time.Time
instance GHC.Classes.Eq Time.Time
instance GHC.Show.Show Time.Time

module Exception

module Aeson
moludeJSONOptions :: Options
moludeToJSONEncoding :: forall a. (GToEncoding (Rep a), Generic a) => a -> Encoding
moludeParseJSON :: forall a. (GFromJSON (Rep a), Generic a) => Value -> Parser a


-- | Yaml exports
module Yaml