ascii-progress-0.3.3.0: A simple progress bar for the console.
Safe HaskellNone
LanguageHaskell2010

System.Console.AsciiProgress

Synopsis

Documentation

data Options Source #

The progress bar's options.

Constructors

Options 

Fields

  • pgFormat :: String

    A format string for the progress bar. Currently the following format strings are supported: - ":eta" (ETA displayed in seconds) - ":current" (current tick) - ":total" (total number of ticks) - ":percent" (percentage completed) - ":elapsed" (elapsed time in seconds) - ":bar" (the actual progress bar)

  • pgCompletedChar :: Char

    Character to be used on the completed part of the bar

  • pgPendingChar :: Char

    Character to be used on the pending part of the bar

  • pgTotal :: Integer

    Total amount of ticks expected

  • pgWidth :: Int

    The progress bar's width

  • pgOnCompletion :: Maybe String

    What to output when the progress bar is done. The same format placeholders used in pgFormat may be used.

  • pgGetProgressStr :: Options -> Stats -> String
     

Instances

Instances details
Default Options Source # 
Instance details

Defined in System.Console.AsciiProgress.Internal

Methods

def :: Options #

data Stats Source #

Represents a point in time for the progress bar.

isComplete :: ProgressBar -> IO Bool Source #

Returns if the progress bar rendering thread has exited (it has done enough ticks)

newProgressBar :: Options -> IO ProgressBar Source #

Creates a new progress bar with the given Options. Multiple progress bars may be created. This package depends on `concurrent-output`, so it's -- necessary that progress-bar usage is wrapped with a call to displayConsoleRegions.

import           Control.Concurrent           (threadDelay)
import           Control.Monad                (unless)
import           System.Console.AsciiProgress

main :: IO ()
main = displayConsoleRegions $ do
   pg <- newProgressBar def { pgWidth = 100
                            , pgOnCompletion = Just "Done :percent after :elapsed seconds"
                            }
   loop pg
 where
   loop pg = do
       b <- isComplete pg
       unless b $ do
           threadDelay $ 200 * 1000
           tick pg
           loop pg

complete :: ProgressBar -> IO () Source #

Forces a ProgressBar to finish

tick :: ProgressBar -> IO () Source #

Tick the progress bar

tickN :: ProgressBar -> Int -> IO () Source #

Tick the progress bar N times

tickNI :: ProgressBar -> Integer -> IO () Source #

Tick the progress bar N times

getProgressStrIO :: ProgressBar -> IO String Source #

Like getProgressStr but works on the ProgressBar object and uses the IO monad.

getProgressStats :: ProgressBar -> IO Stats Source #

Gets the progress bar current Stats object

getProgressStr :: Options -> Stats -> String Source #

Gets the string to be printed given the options object and a certain stats object representing the rendering moment.

class Default a where #

A class for types with a default value.

Minimal complete definition

Nothing

Methods

def :: a #

The default value for this type.

default def :: (Generic a, GDefault (Rep a)) => a #

Instances

Instances details
Default Options Source # 
Instance details

Defined in System.Console.AsciiProgress.Internal

Methods

def :: Options #

Default IntSet 
Instance details

Defined in Data.Default.Internal

Methods

def :: IntSet #

Default All 
Instance details

Defined in Data.Default.Internal

Methods

def :: All #

Default Any 
Instance details

Defined in Data.Default.Internal

Methods

def :: Any #

Default CBool 
Instance details

Defined in Data.Default.Internal

Methods

def :: CBool #

Default CClock 
Instance details

Defined in Data.Default.Internal

Methods

def :: CClock #

Default CDouble 
Instance details

Defined in Data.Default.Internal

Methods

def :: CDouble #

Default CFloat 
Instance details

Defined in Data.Default.Internal

Methods

def :: CFloat #

Default CInt 
Instance details

Defined in Data.Default.Internal

Methods

def :: CInt #

Default CIntMax 
Instance details

Defined in Data.Default.Internal

Methods

def :: CIntMax #

Default CIntPtr 
Instance details

Defined in Data.Default.Internal

Methods

def :: CIntPtr #

Default CLLong 
Instance details

Defined in Data.Default.Internal

Methods

def :: CLLong #

Default CLong 
Instance details

Defined in Data.Default.Internal

Methods

def :: CLong #

Default CPtrdiff 
Instance details

Defined in Data.Default.Internal

Methods

def :: CPtrdiff #

Default CSUSeconds 
Instance details

Defined in Data.Default.Internal

Methods

def :: CSUSeconds #

Default CShort 
Instance details

Defined in Data.Default.Internal

Methods

def :: CShort #

Default CSigAtomic 
Instance details

Defined in Data.Default.Internal

Methods

def :: CSigAtomic #

Default CSize 
Instance details

Defined in Data.Default.Internal

Methods

def :: CSize #

Default CTime 
Instance details

Defined in Data.Default.Internal

Methods

def :: CTime #

Default CUInt 
Instance details

Defined in Data.Default.Internal

Methods

def :: CUInt #

Default CUIntMax 
Instance details

Defined in Data.Default.Internal

Methods

def :: CUIntMax #

Default CUIntPtr 
Instance details

Defined in Data.Default.Internal

Methods

def :: CUIntPtr #

Default CULLong 
Instance details

Defined in Data.Default.Internal

Methods

def :: CULLong #

Default CULong 
Instance details

Defined in Data.Default.Internal

Methods

def :: CULong #

Default CUSeconds 
Instance details

Defined in Data.Default.Internal

Methods

def :: CUSeconds #

Default CUShort 
Instance details

Defined in Data.Default.Internal

Methods

def :: CUShort #

Default IntPtr 
Instance details

Defined in Data.Default.Internal

Methods

def :: IntPtr #

Default WordPtr 
Instance details

Defined in Data.Default.Internal

Methods

def :: WordPtr #

Default Int16 
Instance details

Defined in Data.Default.Internal

Methods

def :: Int16 #

Default Int32 
Instance details

Defined in Data.Default.Internal

Methods

def :: Int32 #

Default Int64 
Instance details

Defined in Data.Default.Internal

Methods

def :: Int64 #

Default Int8 
Instance details

Defined in Data.Default.Internal

Methods

def :: Int8 #

Default Word16 
Instance details

Defined in Data.Default.Internal

Methods

def :: Word16 #

Default Word32 
Instance details

Defined in Data.Default.Internal

Methods

def :: Word32 #

Default Word64 
Instance details

Defined in Data.Default.Internal

Methods

def :: Word64 #

Default Word8 
Instance details

Defined in Data.Default.Internal

Methods

def :: Word8 #

Default Ordering 
Instance details

Defined in Data.Default.Internal

Methods

def :: Ordering #

Default Integer 
Instance details

Defined in Data.Default.Internal

Methods

def :: Integer #

Default () 
Instance details

Defined in Data.Default.Internal

Methods

def :: () #

Default Bool 
Instance details

Defined in Data.Default.Internal

Methods

def :: Bool #

Default Double 
Instance details

Defined in Data.Default.Internal

Methods

def :: Double #

Default Float 
Instance details

Defined in Data.Default.Internal

Methods

def :: Float #

Default Int 
Instance details

Defined in Data.Default.Internal

Methods

def :: Int #

Default Word 
Instance details

Defined in Data.Default.Internal

Methods

def :: Word #

(Default a, RealFloat a) => Default (Complex a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Complex a #

Default (IntMap v) 
Instance details

Defined in Data.Default.Internal

Methods

def :: IntMap v #

Default (Seq a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Seq a #

Default (Set v) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Set v #

Default a => Default (Tree a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Tree a #

Default a => Default (Identity a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Identity a #

Default (First a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: First a #

Default (Last a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Last a #

Default a => Default (Dual a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Dual a #

Default (Endo a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Endo a #

Num a => Default (Product a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Product a #

Num a => Default (Sum a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Sum a #

Default (ConstPtr a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: ConstPtr a #

Default (FunPtr a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: FunPtr a #

Default (Ptr a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Ptr a #

Integral a => Default (Ratio a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Ratio a #

Default (Maybe a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Maybe a #

Default a => Default (Solo a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Solo a #

Default [a] 
Instance details

Defined in Data.Default.Internal

Methods

def :: [a] #

HasResolution a => Default (Fixed a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Fixed a #

Default (Map k v) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Map k v #

Default (Proxy a) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Proxy a #

(Default a1, Default a2) => Default (a1, a2) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2) #

Default a => Default (Const a b) 
Instance details

Defined in Data.Default.Internal

Methods

def :: Const a b #

(Default a1, Default a2, Default a3) => Default (a1, a2, a3) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3) #

(Default a1, Default a2, Default a3, Default a4) => Default (a1, a2, a3, a4) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4) #

(Default a1, Default a2, Default a3, Default a4, Default a5) => Default (a1, a2, a3, a4, a5) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6) => Default (a1, a2, a3, a4, a5, a6) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7) => Default (a1, a2, a3, a4, a5, a6, a7) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8) => Default (a1, a2, a3, a4, a5, a6, a7, a8) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19, Default a20) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19, Default a20, Default a21) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19, Default a20, Default a21, Default a22) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19, Default a20, Default a21, Default a22, Default a23) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19, Default a20, Default a21, Default a22, Default a23, Default a24) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19, Default a20, Default a21, Default a22, Default a23, Default a24, Default a25) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19, Default a20, Default a21, Default a22, Default a23, Default a24, Default a25, Default a26) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19, Default a20, Default a21, Default a22, Default a23, Default a24, Default a25, Default a26, Default a27) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19, Default a20, Default a21, Default a22, Default a23, Default a24, Default a25, Default a26, Default a27, Default a28) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19, Default a20, Default a21, Default a22, Default a23, Default a24, Default a25, Default a26, Default a27, Default a28, Default a29) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19, Default a20, Default a21, Default a22, Default a23, Default a24, Default a25, Default a26, Default a27, Default a28, Default a29, Default a30) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30) #

(Default a1, Default a2, Default a3, Default a4, Default a5, Default a6, Default a7, Default a8, Default a9, Default a10, Default a11, Default a12, Default a13, Default a14, Default a15, Default a16, Default a17, Default a18, Default a19, Default a20, Default a21, Default a22, Default a23, Default a24, Default a25, Default a26, Default a27, Default a28, Default a29, Default a30, Default a31) => Default (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31) 
Instance details

Defined in Data.Default.Internal

Methods

def :: (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20, a21, a22, a23, a24, a25, a26, a27, a28, a29, a30, a31) #