Copyright	(c) Roman Gonzalez 20172018
License	MIT
Maintainer	open-source@roman-gonzalez.info
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Control.Teardown

Contents

Typeclasses for extending teardown functionality
Cleanup main type and function
Functions to create a Teardown record
Functions to deal with results from teardown call

Description

Provides functions that help on the creation of Application teardown sub-routines

Synopsis

class HasTeardown teardown where
class IResource resource
data Teardown
data TeardownResult
- = BranchResult {
  - resultDescription :: !Description
  - resultElapsedTime :: !NominalDiffTime
  - resultDidFail :: !Bool
  - resultListing :: ![TeardownResult]
  }
- | LeafResult {
  - resultDescription :: !Description
  - resultElapsedTime :: !NominalDiffTime
  - resultError :: !(Maybe SomeException)
  }
- | EmptyResult {
  - resultDescription :: !Description
  }
runTeardown :: HasTeardown t => t -> IO TeardownResult
runTeardown_ :: HasTeardown t => t -> IO ()
emptyTeardown :: Description -> Teardown
newTeardown :: IResource resource => Text -> resource -> IO Teardown
didTeardownFail :: TeardownResult -> Bool
failedToredownCount :: TeardownResult -> Int
toredownCount :: TeardownResult -> Int
prettyTeardownResult :: TeardownResult -> Doc ann

Typeclasses for extending teardown functionality

class HasTeardown teardown where #

A record that is or contains a Teardown sub-routine should instantiate this typeclass

Minimal complete definition

getTeardown

Methods

getTeardown :: teardown -> Teardown #

Executes teardown sub-routine returning a TeardownResult

Instances

HasTeardown Teardown #
Instance details Defined in Control.Teardown.Internal.Core Methods getTeardown :: Teardown -> Teardown #

class IResource resource #

A resource or sub-routine that can be transformed into a Teardown operation

Minimal complete definition

newTeardown

Instances

IResource Teardown #	Wraps an existing Teardown record; the wrapper Teardown record represents a "parent resource" on the TeardownResult
Instance details Defined in Control.Teardown.Internal.Core Methods newTeardown :: Text -> Teardown -> IO Teardown #
(TypeError (Text "DEPRECATED: Execute a 'newTeardown' call per allocated resource") :: Constraint) => IResource [(Text, IO ())] #	Deprecated instance that creates a Teardown record from a list of cleanup sub-routines (creating a Teardown record for each). WARNING: This function assumes you are creating many sub-resources at once; this approach has a major risk of leaking resources, and that is why is deprecated; execute newTeardown for every resource you allocate. NOTE: The `IO ()` sub-routines given are going to be executed in reverse order at teardown time. Since 0.4.1.0
Instance details Defined in Control.Teardown.Internal.Core Methods newTeardown :: Text -> [(Text, IO ())] -> IO Teardown #
IResource [Teardown] #	Wraps a list of Teardown record; the new record will have one extra level of description. Same behaviour as the `[(Text, IO ())]` instance, but works for APIs that already return a Teardown as their cleanup.
Instance details Defined in Control.Teardown.Internal.Core Methods newTeardown :: Text -> [Teardown] -> IO Teardown #
IResource (IO [Teardown]) #	Wraps an IO action that returns a list of Teardown record; the new record will have one extra level of description. Same behaviour as the `[(Text, IO ())]` instance, but works for APIs that already return a Teardown as their cleanup.
Instance details Defined in Control.Teardown.Internal.Core Methods newTeardown :: Text -> IO [Teardown] -> IO Teardown #
IResource (IO [TeardownResult]) #	Creates a Teardown record from executing a sub-routine that releases short-lived Teardown records. This is useful when short-lived Teardown are accumulated on a collection inside a mutable variable (e.g. `IORef`, `TVar`, etc) and we want to release them
Instance details Defined in Control.Teardown.Internal.Core Methods newTeardown :: Text -> IO [TeardownResult] -> IO Teardown #
IResource (IO ()) #	Creates a new Teardown record from a cleanup "IO ()" sub-routine; the Teardown API guarantees: The execution of given "IO ()" sub-routine happens exactly once The execution is thread-safe when multiple threads try to call "runTeardown" IMPORTANT: The `IO ()` sub-routine _must not_ block or take a long time; this sub-routine cannot be stopped by an async exception
Instance details Defined in Control.Teardown.Internal.Core Methods newTeardown :: Text -> IO () -> IO Teardown #

Cleanup main type and function

data Teardown #

Sub-routine that performs a resource cleanup operation

Instances

Generic Teardown #
Instance details Defined in Control.Teardown.Internal.Types Associated Types type Rep Teardown :: * -> * # Methods from :: Teardown -> Rep Teardown x # to :: Rep Teardown x -> Teardown #
NFData Teardown #
Instance details Defined in Control.Teardown.Internal.Types Methods rnf :: Teardown -> () #
IResource Teardown #	Wraps an existing Teardown record; the wrapper Teardown record represents a "parent resource" on the TeardownResult
Instance details Defined in Control.Teardown.Internal.Core Methods newTeardown :: Text -> Teardown -> IO Teardown #
HasTeardown Teardown #
Instance details Defined in Control.Teardown.Internal.Core Methods getTeardown :: Teardown -> Teardown #
IResource [Teardown] #	Wraps a list of Teardown record; the new record will have one extra level of description. Same behaviour as the `[(Text, IO ())]` instance, but works for APIs that already return a Teardown as their cleanup.
Instance details Defined in Control.Teardown.Internal.Core Methods newTeardown :: Text -> [Teardown] -> IO Teardown #
IResource (IO [Teardown]) #	Wraps an IO action that returns a list of Teardown record; the new record will have one extra level of description. Same behaviour as the `[(Text, IO ())]` instance, but works for APIs that already return a Teardown as their cleanup.
Instance details Defined in Control.Teardown.Internal.Core Methods newTeardown :: Text -> IO [Teardown] -> IO Teardown #
type Rep Teardown #
Instance details Defined in Control.Teardown.Internal.Types type Rep Teardown = D1 (MetaData "Teardown" "Control.Teardown.Internal.Types" "teardown-0.5.0.0-BQUradBa2TfIWcyButdekP" True) (C1 (MetaCons "Teardown" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (IO TeardownResult))))

data TeardownResult #

Result from a Teardown sub-routine

Constructors

BranchResult	Result is composed by multiple teardown sub-routines
Fields resultDescription :: !Description Text description of parent teardown spec resultElapsedTime :: !NominalDiffTime Sum of elapsed time on sub-routines execution resultDidFail :: !Bool Tells if any sub-routines failed resultListing :: ![TeardownResult] Results of inner sub-routines
LeafResult	Result represents a single teardown sub-routine
Fields resultDescription :: !Description Text description of parent teardown spec resultElapsedTime :: !NominalDiffTime Sum of elapsed time on sub-routines execution resultError :: !(Maybe SomeException) Exception from sub-routine
EmptyResult	Represents a stub cleanup operation (for lifting pure values)
Fields resultDescription :: !Description Text description of parent teardown spec

Instances

Show TeardownResult #
Instance details Defined in Control.Teardown.Internal.Types Methods showsPrec :: Int -> TeardownResult -> ShowS # show :: TeardownResult -> String # showList :: [TeardownResult] -> ShowS #
Generic TeardownResult #
Instance details Defined in Control.Teardown.Internal.Types Associated Types type Rep TeardownResult :: * -> * # Methods from :: TeardownResult -> Rep TeardownResult x # to :: Rep TeardownResult x -> TeardownResult #
NFData TeardownResult #
Instance details Defined in Control.Teardown.Internal.Types Methods rnf :: TeardownResult -> () #
Pretty TeardownResult #
Instance details Defined in Control.Teardown.Internal.Types Methods pretty :: TeardownResult -> Doc ann # prettyList :: [TeardownResult] -> Doc ann #
Display TeardownResult #
Instance details Defined in Control.Teardown.Internal.Types Methods display :: TeardownResult -> Utf8Builder # textDisplay :: TeardownResult -> Text #
IResource (IO [TeardownResult]) #	Creates a Teardown record from executing a sub-routine that releases short-lived Teardown records. This is useful when short-lived Teardown are accumulated on a collection inside a mutable variable (e.g. `IORef`, `TVar`, etc) and we want to release them
Instance details Defined in Control.Teardown.Internal.Core Methods newTeardown :: Text -> IO [TeardownResult] -> IO Teardown #
type Rep TeardownResult #
Instance details Defined in Control.Teardown.Internal.Types type Rep TeardownResult

runTeardown :: HasTeardown t => t -> IO TeardownResult #

Executes all composed Teardown sub-routines safely. This version returns a Tree data structure wich can be used to gather facts from the resource cleanup

runTeardown_ :: HasTeardown t => t -> IO () #

Executes all composed Teardown sub-routines safely