-- Copyright (c) 2016-present, Facebook, Inc. -- All rights reserved. -- -- This source code is licensed under the BSD-style license found in the -- LICENSE file in the root directory of this source tree. {-# LANGUAGE OverloadedStrings #-} module Duckling.Time.EN.GB.Corpus ( allExamples ) where import Data.String import Prelude import Duckling.Testing.Types hiding (examples) import Duckling.Time.Corpus import Duckling.Time.Types hiding (Month) import Duckling.TimeGrain.Types hiding (add) allExamples :: [Example] allExamples = concat [ examples (datetime (2013, 2, 15, 0, 0, 0) Day) [ "15/2" , "on 15/2" , "15 / 2" , "15-2" , "15 - 2" ] , examples (datetime (1974, 10, 31, 0, 0, 0) Day) [ "31/10/1974" , "31/10/74" , "31-10-74" , "31.10.1974" , "31 10 1974" ] , examples (datetime (2013, 10, 10, 0, 0, 0) Day) [ "10/10" , "10/10/2013" ] , examples (datetime (2013, 4, 25, 16, 0, 0) Minute) [ "25/4 at 4:00pm" ] , examples (datetimeHoliday (2013, 11, 28, 0, 0, 0) Day "Thanksgiving Day") [ "thanksgiving day" , "thanksgiving" , "thanksgiving 2013" , "this thanksgiving" , "next thanksgiving day" ] , examples (datetimeHoliday (2014, 11, 27, 0, 0, 0) Day "Thanksgiving Day") [ "thanksgiving of next year" , "thanksgiving 2014" ] , examples (datetimeHoliday (2012, 11, 22, 0, 0, 0) Day "Thanksgiving Day") [ "last thanksgiving" , "thanksgiving day 2012" ] , examples (datetimeHoliday (2016, 11, 24, 0, 0, 0) Day "Thanksgiving Day") [ "thanksgiving 2016" ] , examples (datetimeHoliday (2017, 11, 23, 0, 0, 0) Day "Thanksgiving Day") [ "thanksgiving 2017" ] , examples (datetimeHoliday (2013, 11, 5, 0, 0, 0) Day "Guy Fawkes Day") [ "guy fawkes day" ] , examples (datetimeHoliday (2018, 8, 27, 0, 0, 0) Day "August Bank Holiday") [ "august bank holiday 2018" , "summer bank holiday 2018" , "late summer bank holiday 2018" ] , examples (datetimeHoliday (2013, 6, 16, 0, 0, 0) Day "Father's Day") [ "Father's Day" ] , examples (datetimeHoliday (2012, 6, 17, 0, 0, 0) Day "Father's Day") [ "last fathers day" ] , examples (datetimeHoliday (1996, 6, 16, 0, 0, 0) Day "Father's Day") [ "fathers day 1996" ] , examples (datetimeHoliday (2013, 3, 10, 0, 0, 0) Day "Mothering Sunday") [ "Mother's Day" , "next mothers day" , "mothering sunday" ] , examples (datetimeHoliday (2012, 3, 18, 0, 0, 0) Day "Mothering Sunday") [ "mothers day 2012" , "last mothers day" ] , examples (datetimeHoliday (2014, 3, 30, 0, 0, 0) Day "Mothering Sunday") [ "mothers day 2014" ] , examples (datetimeHoliday (2013, 5, 19, 0, 0, 0) Day "Pentecost") [ "whitsunday" ] ]