Safe Haskell	None
Language	GHC2021

PathSize.Data.PathSizeResult

Description

Provides PathSizeResult type.

Since: 0.1

Synopsis

data PathSizeResult a
- = PathSizeSuccess !a
- | PathSizePartial !(NESeq PathE) !a
- | PathSizeFailure !(NESeq PathE)
mkPathE :: Exception e => OsPath -> e -> PathSizeResult a
mkPathEString :: OsPath -> String -> PathSizeResult a
_PathSizeSuccess :: Prism' (PathSizeResult a) a
_PathSizePartial :: Prism' (PathSizeResult a) (NESeq PathE, a)
_PathSizeFailure :: Prism' (PathSizeResult a) (NESeq PathE)

Documentation

data PathSizeResult a Source #

Result of running a path-size computation with multiple notions of failure.

Since: 0.1

Constructors

PathSizeSuccess !a

Successfully computed a.

Since: 0.1

PathSizePartial !(NESeq PathE) !a

Computed a with some errors.

Since: 0.1

PathSizeFailure !(NESeq PathE)

Failed computing a.

Since: 0.1

Instances

Instances details

Functor PathSizeResult Source #

Since: 0.1

Instance details

Defined in PathSize.Data.PathSizeResult

Methods

fmap :: (a -> b) -> PathSizeResult a -> PathSizeResult b #

(<$) :: a -> PathSizeResult b -> PathSizeResult a #

Generic (PathSizeResult a) Source #

Instance details

Defined in PathSize.Data.PathSizeResult

Associated Types

type Rep (PathSizeResult a)

Since: path-size-0.1

Instance details

Defined in PathSize.Data.PathSizeResult

type Rep (PathSizeResult a) = D1 ('MetaData "PathSizeResult" "PathSize.Data.PathSizeResult" "path-size-0.1-inplace" 'False) (C1 ('MetaCons "PathSizeSuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "PathSizePartial" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NESeq PathE)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "PathSizeFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NESeq PathE)))))

Methods

from :: PathSizeResult a -> Rep (PathSizeResult a) x #

to :: Rep (PathSizeResult a) x -> PathSizeResult a #

Show a => Show (PathSizeResult a) Source #

Since: 0.1

Instance details

Defined in PathSize.Data.PathSizeResult

Methods

showsPrec :: Int -> PathSizeResult a -> ShowS #

show :: PathSizeResult a -> String #

showList :: [PathSizeResult a] -> ShowS #

NFData a => NFData (PathSizeResult a) Source #

Since: 0.1

Instance details

Defined in PathSize.Data.PathSizeResult

Methods

rnf :: PathSizeResult a -> () #

Eq a => Eq (PathSizeResult a) Source #

Since: 0.1

Instance details

Defined in PathSize.Data.PathSizeResult

Methods

(==) :: PathSizeResult a -> PathSizeResult a -> Bool #

(/=) :: PathSizeResult a -> PathSizeResult a -> Bool #

type Rep (PathSizeResult a) Source #

Since: 0.1

Instance details

Defined in PathSize.Data.PathSizeResult

type Rep (PathSizeResult a) = D1 ('MetaData "PathSizeResult" "PathSize.Data.PathSizeResult" "path-size-0.1-inplace" 'False) (C1 ('MetaCons "PathSizeSuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: (C1 ('MetaCons "PathSizePartial" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NESeq PathE)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "PathSizeFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NESeq PathE)))))

mkPathE :: Exception e => OsPath -> e -> PathSizeResult a Source #

Since: 0.1

mkPathEString :: OsPath -> String -> PathSizeResult a Source #

_PathSizeSuccess :: Prism' (PathSizeResult a) a Source #

Since: 0.1

_PathSizePartial :: Prism' (PathSizeResult a) (NESeq PathE, a) Source #

Since: 0.1

_PathSizeFailure :: Prism' (PathSizeResult a) (NESeq PathE) Source #

Since: 0.1